Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
To restate our mission, we’re back to 1928 and we’ll try to implement the λ-calculus; that is, a general model of computation based on the notion of functions and substitutions; as if we were its original inventors, except we’re constrained to only use constant-time operations. We’ll completely