Category:Theoretical foundations

From HaskellWiki
Revision as of 01:22, 3 October 2020 by Eldritch-trans (talk | contribs) (removed the whole raven story bit bc 1. Esk*mo is a slur ,2. there are raven tales from some Indigenous Pacific NW cultures that are not intended to be used as just stories (https://en.wikipedia.org/wiki/Raven_Tales) , and 3. it was irrelevant anyway)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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.