История изменений

Попытки писать на нем в ФП стиле быстро превращаются в нечитабельную дрисню, кратно хуже аналогичного ООП кода с исключениями или, прости г-ди, кодами ошибок

Вот именно это мне и интересно: в какой момент уклон в ФП стиль превращает кресты в дристню. С учетом последних стандартов, естественно.

Но без паттерн матчинга и ду нотации ты далеко не уедешь

Да, вычислительные выражения и ду-нотации (например, на базе Maybe) по своему назначению частично пересекаются с исключениями — иначе придется явно городить кучу вложенных блоков обработчиков. Собственно, тех самых блоков из Си, где иногда подменяют структурированный код из этих блоков на goto или return, что получается визуально проще, но ни разу не проще для понимания и поддержки.

Попытки писать на нем в ФП стиле быстро превращаются в нечитабельную дрисню, кратно хуже аналогичного ООП кода с исключениями или, прости г-ди, кодами ошибок

Вот именно это мне и интересно: в какой момент уклон в ФП стиль превращает кресты в дристню. С учетом последних стандартов, естественно.

Но без паттерн матчинга и ду нотации ты далеко не уедешь

Да, вычислительные выражения и ду-нотации (например, на базе Maybe) по своему назначению частично пересекаются с исключениями — иначе придется явно городить кучу вложенных блоков обработчиков. Собственно, тех самых блоков из Си, где иногда подменяют структурированный код на goto или return, делая его визуально проще, но ни разу не проще для понимания и поддержки.