Really fascinating. There are purely functional languages built on these ideas, like Haskell (clearly named after Haskell Curry), and Lisp is rooted in lambda calculus too. If I remember right, Pandoc is written entirely in Haskell, and Hacker News runs on Arc, a Lisp dialect Paul Graham wrote himself.
Really fascinating. There are purely functional languages built on these ideas, like Haskell (clearly named after Haskell Curry), and Lisp is rooted in lambda calculus too. If I remember right, Pandoc is written entirely in Haskell, and Hacker News runs on Arc, a Lisp dialect Paul Graham wrote himself.