Difference between revisions of "Category:Theoretical foundations"

From HaskellWiki
Jump to navigation Jump to search
(Subcategorizing the new category directly under the root category, and writing an introductory text: science vs technique)
 
m
 
(6 intermediate revisions by 4 users not shown)
Line 1: Line 1:
−
Things (related to Haskell) that give us the feeling of surprize 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 λ-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 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.
  
  ⚫
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.
−  
⚫
In <math>\lambda</math>-calculus and combinatory logic, the existence of Church numerals was a surprize, too. They were not anticipated, so not a mere design.
  
⚫
Other things can be astonishing too -- like the existence of self-replicating programs (quines), a mere 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.
  
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.

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.

Retrieved from "https://wiki.haskell.org/index.php?title=Category:Theoretical_foundations&oldid=64788"