# Category:Theoretical foundations

(Difference between revisions)
 Revision as of 09:22, 6 March 2006 (edit)m ← Previous diff Current revision (16:19, 3 October 2006) (edit) (undo) (The cited material is now online, so I linked it) 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 an Eskimo tale, the Raven, after having created the world, does not recognize his own creatures. He creates a marrow, and after a while, a man steps out of the split marrow. -- Who are you and how do you get here? -- asks Raven his own creature. In another tale, a creature is creating himself, astonishing the god. + [http://www.smithsonianeducation.org/educators/lesson_plans/eskimo/page05.html In an Eskimo tale], the Raven, after having created the world, does not recognize his own creatures. He creates a marrow, and after a while, a man steps out of the split marrow. -- Who are you and how do you get here? -- asks Raven his own creature. In another tale, a creature is creating himself, astonishing the god. In $\lambda$-calculus and combinatory logic, the existence of Church numerals was a surprise, too. They were not anticipated, so not a mere design. In $\lambda$-calculus and combinatory logic, the existence of Church numerals was a surprise, too. They were not anticipated, so not a mere design.

## Current revision

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

In an Eskimo tale, the Raven, after having created the world, does not recognize his own creatures. He creates a marrow, and after a while, a man steps out of the split marrow. -- Who are you and how do you get here? -- asks Raven his own creature. In another tale, a creature is creating himself, astonishing the god.

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"

There are 23 pages in this category.