Tag: lambda-calculus

  • Lambda on Lisp - The identity function Constant and Identity: “These are not the symbol-values you're looking for.”

    Possibly the simplest type of function in Lisp is one taking no arguments and returning a constant value. The returned value could be “nothing” as in (lambda () nil), or any other constant value, (lambda () 42)  …

    read more
  • Exploring the lambda calculus using Common Lisp A Lisper's commentary on the “Fundamentals of Lambda Calculus & Functional Programming in Javascript”.

    In this series we’ll explore the lambda calculus and implement a lambda calculus syntax on Common Lisp. Our emphasis will be on the lambda calculus, with just enough Lisp to give us an environment to play in.  …

    read more