Difference between revisions of "Category:Theoretical foundations"

From HaskellWiki
Jump to: navigation, search
(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)
m
 
Line 1: Line 1:
 
Things (related to Haskell) that give us the feeling of surprise instead of design, the way natural sciences and mathematics do.
 
Things (related to Haskell) that give us the feeling of surprise instead of design, the way natural sciences and mathematics do.
   
In <math>\lambda</math>-calculus and combinatory logic, the existence of [https://en.wikipedia.org/wiki/Church_encoding Church numerals] was a surprise, too. They were not anticipated, so not a mere design.
+
In λ-calculus and combinatory logic, the existence of [https://en.wikipedia.org/wiki/Church_encoding 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 [http://www.madore.org/~david/computers/quine.html self-replicating programs (quines)], a consequence of the fixed point theorem.
 
Other things can be astonishing too -- like the mere existence of [http://www.madore.org/~david/computers/quine.html self-replicating programs (quines)], a consequence of the fixed point theorem.
   

Latest revision as of 00:41, 22 October 2021

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.