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

Entry tags:

Тут подумал, что

thesz в рамках

data Nat = Z | S Nat

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

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

Лучше так:

{-# 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, конечно)

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

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

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

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

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

цэ-эс-ка читается. Хотя базис он себе полный подобрал.

Вывод - никогда не говори "никогда"!

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

Супер!

Не так страшен Чёрч... ;-)

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

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

Про це-эс-ку я ему передам, пусть порадуется. ;)

О! в этом смысле бесполезного. Я вот могу смело сказать, что пил с

thesz, он же не сможет похвастаться, что пил с

lomeo ;-) Разве что чай.

:-) Точно!

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

:-)