На RSDN я очередной раз дискутировал с VladD2 и, кстати, для меня дискуссия получилась довольно полезной. Речь шла, в частности, и о Haskell. Один из необсуждённых (пока?) тезисов высказал VladD2:

Лично по мне так чем дальше инструмент от математического смысла, тем лучше.Смысл в том, как я понял, что чем ближе инструмент "к математическому смыслу ( Read more... )

К чему я так подробно расписывал получение свёртки для розы? Очевидно, что интуитивно получить её можно сразу. Так я обычно и делаю, воспользовавшись методом размерностей, пардон, программированием "от типов". Возможно, так делаете и вы. Я хочу показать главный недостаток этого подхода - он неформален.

( Read more... )

Когда я только разбирался с бананами, линзами и т.д. задача описания катаморфизма для розы:

data Rose a = Rose a [Rose a]

вызывала у меня большое затруднение.

( Read more... )