Здравствуйте, Gaperton, Вы писали:

G>Мы сейчас другим озабочены. Как сделать описания на базе Haskell читаемыми для неспециалистов. Думаю, конкурс чтоли объявить на RSDN, с призом баксов в 500 . Как считаете?

А что, разве единожды поняв как обращаться с его системой типов там что-то остается сложное для восприятия?
В любом случае — думаю, консоль с ":t", djinn + какая-нибудь утилита для развертки особо ядреных комбинаторов в качестве подручных инструментов и справится любая домохозяйка.