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

[lomeo]

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

data Nat = Z | S Nat

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

Comments

[nealar.livejournal.com]

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

[lomeo.livejournal.com]

Уже! Как его обратно в бутылку теперь загнать?

[deni-ok.livejournal.com]

Реализовать PRED и применить к (S Z), чтобы свести это дело к Z (нулю) :)

[lomeo.livejournal.com]

:-) Точно!

[nealar.livejournal.com]

Отставить "загнать в бутылку" (http://thesz.livejournal.com/489508.html)!

[lomeo.livejournal.com]

О! в этом смысле бесполезного. Я вот могу смело сказать, что пил с thesz, он же не сможет похвастаться, что пил с lomeo ;-) Разве что чай.

[deni-ok.livejournal.com]

Вот какая у вас в Москве бурная культурная жизнь!

:-)