Один аппликативный функтор как вычислительный базис

[thedeemon]

Сперва пример. Вот такая программа на хаскеле вычисляет и выводит ответ на жизнь, вселенную и вообще:

import Control.Applicative
main = print $ answer succ 0 where
one = pure <*> (pure :: a -> b -> a)
inc = (<*>) ((<*>) <$> pure)
mul = (<*>) <$> pure
h = mul <*> inc
answer = h . h . h $ one
Аппликативный функтор характеризуется наличием

Comments

[diam_2003]

Не, две функции - это уже скучно.
Одноточечный универсальный базис слабо =) ?

[thedeemon]

Легко, но не так весело. Просто тут приколько совпал базис с известным стандартным интерфейсом.

[akuklev]

Это нифига не случайное совпадение, а собствено базовая мотивация интерфейса аппликативных функторов.

[thedeemon]

Оно ж не для каждого ап.функтора справедливо. Одно дело засунуть в функтор и применить какую-то свою функцию, другое - как здесь - реализовать функцию на самом интерфейсе ап.функтора.

[lomeo]

Клёво, спасибо!

[thedeemon]

Просто в таком богатом языке-хосте это хм... Почти столь же удобно и нужно, как вычисления на шаблонах в С++. :)

[thedeemon]

ну так скучно в деревне :)

[thedeemon]

Этим занимаются специалисты, я в ананасах ничего не понимаю. :)

[nealar]

Вот только я дочитал про ATS! И сразу новую мозгодробилку подкинули.