Я слежу за этой записью в блоге: http://semantic-domain.blogspot.com/2012/12/total-functional-programming-in-partial.html На нем показан небольшой компилятор OCaml для System T (простой полностью функциональный язык) . Весь конвейер...

Мне было поручено показать, что S(KK)I = K Теперь, поскольку S принимает три аргумента, я просто застрял в начале, не зная, как с этим справиться. Я вижу два аргумента, а именно (KK) и I , но третьего я не могу "уловить". Что...

Что касается монады функций, я обнаружил, что (<*>) и _2 _ / _ 3_ имеют два поразительно похожих типа. В частности, (=<<) делает сходство более очевидным: (<*>) :: (r -> a -> b) -> (r -> a) -> (r -> b)...