компонентная модель (категорию образует даже), которая нормально натягивается на любой язык с лямбда-исчислением, иногда более чем одним способом.
От свободных монад и прочего бойлерплейта у меня пригорает. Кто-нибудь нашёл их полезными в больших сложных проектах?
Да, нужна; да, нашел, используют
Да, кстати, в ФП в принципе нет ничего, чего бы не было уже в ООП до этого, оч. хорошая книжка на эту тему: часть примеров на Эйфеле, часть на Хаскеле, теория внизу одна и та же: https://www.researchgate.net/publication/243772510_A_Functional_Pattern_System_for_Object-Oriented_Design/link/54f5a9b00cf2f28c13664719/download
Да, нашёл. А что?
Обсуждают сегодня