Натуральные числа и Нео

[lomeo]

Тут подумал, что thesz в рамках

data Nat = Z | S Nat

читается как The (S Z), т.е. The One.

Comments

[deni-ok.livejournal.com]

Нумерология по Чёрчу ;)

[palm-mute.livejournal.com]

Лучше так:

{-# OPTIONS -fglasgow-exts #-}
data Z = Z
data S a = S a

z = Z
s = S

the :: S Z -> ()
the _ = ()

Тогда the (s z) становится действительно избранным - другие применения функции the не компилятся (кроме the undefined, конечно)

[thesz.livejournal.com]

У меня нет слов. ;)

Серега Котов, мой бывший коллега, выбрал себе ником thesk. ;)

Тоже, по-моему, неплохо, хотя и не очень верно. ;)

[inv2004.livejournal.com]

прочитал - не понял. прочитал ещё раз - понял что не пойму никогда.
начал смотреть включив мозг - понял :)

[nealar.livejournal.com]

Весь пост надо расценивать как заклинание "Summon thesz"