privateавторв том чтобы ошибки ловились не в процессе выполнения а задолго до него, а на жабоскрипте так нельзя.Про ошибки это пока отдельно - мы сейчас обсуждаем простоту кода - в функциональном стиле не получается сделать его проще и компактней. Я не думаю что алгебраические тыпы позволят упростить обьем кода.
Позволяют иногда. Не всегда, но всякие оптимизаторы и парсеры удобно делать, особенно когда нужно несколько раз внутрь залезать, то есть типа
1.
2.
3.
4.
5.
6.
7.
8.
9.
-- Выражение это сложение, возведение в квадрат, умножение или литерал
adt Expr = Plus Expr | Square Expr | Multiply Expr Expr | Literal Int
Optimize : Expr -> Expr
-- a^2 + (b^2 + 2ab) = (a+b)^2
Optimize (Plus (Square a)
(Plus (Square b)
(Multiply (Literal 2) (Mutliply a b)))) =
(Square (Plus a b))
Тут правда проблема в том, что далеко не во всех ФЯ паттерн матчинг достаточно мощный чтобы одно и то же значение матчить несколько раз (в примере a и b используются многократно), плюс аст надо упорядочивать определенным образом (пример как есть не сработает для a^2 + (2ab + b^2)), но всё равно на с++ это сложнее описать.
