Out of the Tar Pit, FRP

[svv]

(про программирование)
Недавно в рассылке clojure один человек задал вопрос, как лучше моделировать data associations. Мол, так пробовал, эдак пробовал - всё неудобно, научите меня, гуру, как это по-правильному, по-функциональному. На что функциональные гуру ему ответили: о-о, брат, это ты ему столкнулся с так называемой real world problem ;-)

Comments

[svv]

В двух словах идеи можно подытожить так:
1. Делим сложность на essential и accidental.
2. Essential логику выражаем чисто функционально и/или логически.
3. Essential state храним в таком виде, который естественно/удобно/просто подходит для п.2, т.е. реляционно (в коде изменения state будут запросы а-ля select/insert).
4. Accidental сложность (логику/state) реализуем как умеем, но максимально скрываем её под капотом, оставляя наверху декларативные ручки.

Пример с чем-то типа кода есть начиная со стр. 53, но вообще маловато, да.

[ikm]

А это решает какую-нибудь real world problem? :)

[svv]

;-)

Конечно. Уменьшение сложности.

[ikm]

Да. И мне кажется, в данном случае эффект уменьшения сложности достигается сначала её повышением, а потом возвратом в очень простую rl ;)

[svv]

Ты чего сказать-то хочешь? :-) Что нет такой проблемы как сложность программ, что тебе некоторые конкретные предлагаемые пути решения этой проблемы не нравятся (типа использования FP или реляционности), или что не нужно усложнять жизнь путём чтения статей?