Здравствуйте, uzhas, Вы писали:

X>>мне часто хочется функциональных if и switch.
U>чуток не по теме
U>идет подмена понятий
U>функциональный if — это паттерн матчинг (он же декларативный получается)

Он не про pattern matching, а про if-expression. В некоторых языках if это expression (по типу condtition ? true-expression : false-expression в C++), а не statement, со всеми вытекающими. Причём не только if, но и например блоки кода, и другие условные конструкции.

Здравствуйте, uzhas, Вы писали:

X>>мне часто хочется функциональных if и switch.
U>чуток не по теме
U>идет подмена понятий
U>функциональный if — это паттерн матчинг (он же декларативный получается)

Он не про pattern matching, а про if-expression. В некоторых языках if это expression (по типу condtition ? true-expression : false-expression в C++), а не statement, со всеми вытекающими. Причём не только if, но и другие условные конструкции, и например блоки кода.