Ребят, меня сегодня поставили в тупик. Тезис:
В ОО дизайн программы (сущности, связи, интерфейсы и пр.) можно выражать с помощью UML диаграмм, и это как бы очень удобный инструмент абстрагирования от кода (который еще даже может быть не написан).
И тут я хотел бы сказать что мол в ФП тоже нет никаких проблем рисовать диаграммы а затем выражать их кодом, но быстро понял что я это ни разу не делал и даже не знаю как.
Вопрос: как визуализировать фп код в диаграммах?
Ну так у вас тоже есть какие-то сущности - данные, выраженные типами (хотя не везде, хех)
От типов зависят собственно функции, функции можно объединять в модули.
Хочется абстракций - интерфейсы заменяются на тайпклассы и/или контракты