On Vox: Есть что показать внукам

Оказался в одном списке с Виталием Гинзбургом. Теперь могу с оттенком лёгкого презрения небрежно кидать: "мы с Гинзбургом подписали..."

Originally posted on migmit.vox.com

On Vox: Нашёл-таки эти грабли

data I = I Int deriving Show
I n +++ I m = I 0
test = I 0 +++ test
main = print test

И висим.
Если заменить "I m" на "~(I m)" - не висим.
(бьётся головой об стенку)

Originally posted on migmit.vox.com