O'Reilly logo

Clojure Applied by Alex Miller, Ben Vandgrift

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Reasonability

Clojure really begins to take a shape we would recognize in the American Journal of Mathematics. Alonzo Church published An Unsolvable Problem of Elementary Number Theory [Chu36],[74] establishing the principles of the untyped lambda calculus.

The lambda calculus or (λ-calculus) is a formal system for representing computational structures as functions with variables bound to inputs and substituted when the function is evaluated.

The lambda calculus provides a formal notation for functions, including recursive and anonymous functions. In the text, functions were considered first-order objects, and higher-order functions—functions that return functions as output—are described. These concepts are fundamental to Clojure and other ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required