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
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
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment