ulidtko — ... — psto.net

ulidtko 28.05.2012 18:01

http://lionet.livejournal.com/96829.html
«[...] начал записывать мою интерпретацию в текстовый файл... который сразу оказался в Хаскелевой нотации почему-то. Чисто случайно, так сказать.
b3 n = b4
where
b4 f x = f (n f x)

b5 n m = b6
where
b6 f x = n f (m f x)

toint n = n b0 0

Написав такое, я понял, что его, наверное, можно просто скомпилировать, и не ошибся.»

Notation that runs?