Friday, May 10, 2013

lambda calculus and category theory in JavaScript


Here are some references for programming components of lambda calculus and category theory in JavaScript:

    Lambda calculus in JavaScript syntax


    The Lambda Calculus and The JavaScript [Leisure (related code)]

    Category Theory in JavaScript [videos by Mike Stay]

    Faster JavaScript Through Category Theory [video presentation]

    Fay: A proper subset of Haskell that compiles to JavaScript

These references below are not about JavaScript programming, but they connect lambda calculus to category theory (the first more directly than the second):

    Cartesian closed category

    To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus
        with Animated Reduction