Хаскель и separation of concerns

[metaclass]

fp, cмерть мерзкая от монад, хаскель, штанга, гроб, гроб, кладбище
http://juick.com/2165512

Можно ли на всем этом сделать так: https://gist.github.com/4292029
И чтобы goodProcessingFunction можно было нормально комбинировать из отдельных кусков, вплоть до того, что явно определить точки, где данные юзера становятся данными для девайса и наоборот.
Или например, обощить это, прикрутив еще и какой-нибудь tcp сервер.

Т.е. у нас есть несколько независимых IO каналов, каждый со своими форматами данных, на каждый канал прикрутить сменный парсер-сериализатор, чтобы в ядро бизнес-логики этот канал приходил уже в виде значений нормальных типов.
А потом еще захочется хранить в бизнес-логике состояние, подключаться к БД и все это, по-моему, нахрен умрет под грузом типов и слоев монад.

Comments

[jakobz.livejournal.com]

Чувак, что yesod делает, носится с какими-то своими conduit-ами. Ну типа там делает чтобы оно было composable с одной стороны, было бы быстрым и нормально освобождало ресурсы с другой. Ты не про это?
http://www.yesodweb.com/blog/2012/06/conduit-0-5

[nivanych.livejournal.com]

Тема Pipe'ов не раскрыта.
И вообще, всё это частные случаи всякоразно построенных категорий автоматов.

[nicka-startcev.livejournal.com]

sysmac/syswin, dasylab, labview изобретаете?

[thesz.livejournal.com]

https://gist.github.com/4292029

Это можно сделать на каналах.

За исключением самого цикла - ибо он будет только читать из answerForUser и преобразовывать в EOF/Error i/Continue.

[migmit.livejournal.com]

Если честно, товарищ Микоян - ничего не понял.