* слов -> знаков

Alexander: ошибка преобразования в число: String: слов

Тогда маловато, конечно

session types же

- Штурман, приборы!
- 254!
- Что 254?
- А что - приборы?

Alexander: ошибка преобразования в число: String: Штурман,

- 254!

Yuu-chan: ошибка преобразования в число: String: 254!

Не понимает факториал

Я все пытаюсь донести до хаскеллистов мысль, что недостаточно просто иметь технологию и ее советовать. Сессионные типы, mtl или какие-нибудь завтипы в будущем. И на вопрос "как писать реальные приложения" нельзя отвечать "просто берите mtl" (а в будущем - "как сделать приложение корректным?" - "берите завтипы"). Это не так работает. Нужны практики использования. Потому что берешь технологию, про которую хаскеллисты хайпят, начинаешь ее крутить, а там столько граблей под капотом. Выясняется, что после тысяч усилий по впихиванию в проект она едва шевелится, привносит кучу проблем, где-то не работает, документации нет, внутри куча багов и уязвимостей. И вот так со всем в хаскеле

Реальные приложения - это не какой-то конечный перечень задач, который можно перечислить в одной книге. Поэтому нужны абстракции, которые, в общем то, помогут решать любые задачи

compile-time гарантия на уровне всей сессии сетевого или IO взаимодействия между двумя и более участниками же

mtl - такая абстракция

+ 1 код для клиента и сервера

Как ты прикрутишь её к задаче - твой выбор

этакий servant для протоколов

можно будет запилить с ними

mtl - это не такая абстракция. Это болты и гайки для построения абстракций, и построить оные можно сотней способов

И ты сидишь в проекте и изобретаешь эти способы

вполне такая