# Category:Theoretical foundations

Jump to navigation
Jump to search

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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

In λ-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 26 pages are in this category, out of 26 total.