# Difference between revisions of "Category:Theoretical foundations"

Things (related to Haskell) that give us the feeling of surprise instead of design, the way natural sciences and mathematics do.

In $\lambda$-calculus and combinatory logic, the existence of Church numerals was a surprise, too. They were not anticipated, so not a mere design. Other things can be astonishing too -- like the mere existence of self-replicating programs (quines), a consequence of the fixed point theorem.

Haskell is based on and related to powerful ideas, and learning Haskell can yield a feeling of exploring something out there, instead of watching a huge cathedral.

## Pages in category "Theoretical foundations"

The following 25 pages are in this category, out of 25 total.