foo :: MegaErrorType foo = A handlerfoo A = () handlerfoo B = () ... handlerfoo$foo
В нашем юнионе все кейсы описаны, компайлер все проверит.
тольно foohandler тут ошибочный
Нет, handler должен принимать MegaErrorType
data MegaErrorType = A|B|C|D|...
не скомпилируется этот код тк я не ловлю C и все остальное, которое и так не прилетит
в хаскеле кста скомпилируется
Я позже проверю, сомнительно
Обсуждают сегодня