Как работают исключения в Haskell?
В GHCi:
Prelude> error (error "")
*** Exception:
Prelude> (error . error) ""
*** Exception: *** Exception:
Почему первое не является вложенным исключением?
Ответы на вопрос(1)
Ответ в том, что это (несколько удивительно) семантикаimprecise exceptions
Когда чистый код может быть показан для оценкиset исключительных ценностей (то есть значениеerror или жеundefinedи явноnot вид исключенийгенерируется в IO), то язык разрешает возвращать любое значение этого набора. Исключительные значения в Haskell больше похожиNaN в коде с плавающей запятой, а не в исключениях на основе потока управления в императивных языках.
Случайные ошибки для даже продвинутых Хаскеллеров - это такие случаи, как:
case x of
1 -> error "One"
_ -> error "Not one"
Поскольку код оценивается как набор исключений, GHC может выбрать одно. При включенной оптимизации вполне может оказаться, что она всегда оценивается как «Не один».
Почему мы это делаем? Потому что в противном случае мы чрезмерно ограничиваем порядок оценки языка, например нам бы пришлось зафиксировать детерминированный результат для:
f (error "a") (error "b")
например, требуя, чтобы он оценивался слева направо, если присутствуют значения ошибок. Очень ненормативно!
Поскольку мы не хотим наносить ущерб оптимизации, которая может быть выполнена в нашем коде, просто для поддержкиerrorрешение состоит в том, чтобы указать, что результатом является недетерминированный выбор из набора исключительных значений: неточные исключения! В каком-то смысле все исключения возвращаются, и одно выбирается.
Обычно вы не заботитесь - исключение является исключением - если вы не заботитесь о строке внутри исключения, в этом случае используйтеerror отлаживать очень запутанно.
Рекомендации:Семантика для неточных исключенийСаймон Пейтон Джонс, Аластер Рейд, Тони Хоар, Саймон Марлоу, Фергус Хендерсон. Разработка и реализация языков программирования Proc (PLDI '99), Атланта. (PDF)
case error "banana" of (x:xs) -> error "bonobo" могу дать вам* Exception: bonobo.throw) и что вы можете детерминистически бросить исключение сthrowIO.
iterate error "" !! nи удивительныйfix error.(\f g x -> f (g x)) error error ""ведет себя иначе, чем(.) error error ""даже если эта функция эквивалентна(.), Возможно, это связано с флагами оптимизации, с которыми был скомпилирован Prelude.error = errorи запрограммируйте соответственно.errorэто особый и не совсем механизм исключения. Для реальных, ловимых исключений смотритеErrorмонада.