Friday, May 10, 2013

lambda calculus and category theory in JavaScript





JS



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

    Lambda calculus in JavaScript syntax

    LambdaJS

    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
        [video]


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