'попытка' может решить, когда программа останавливается

Question

У меня есть эта функция:

isUndefined ::() -> Bool  
isUndefined x = case unsafePerformIO $ (try (return $! x) :: IO (Either SomeException())) of 
        Left _ -> True 
        Right _ -> False 

затем:

isUndefined() = False 
isUndefined undefined = True 

Решение Остановки проблемы. Конечно, это можно распространить и на другие типы.

Мой вопрос: как это возможно? Is Control.Exception.try действительно разрушает вещи здесь?

Answer 1

Является ли Control.Exception.try действительно ломающимся здесь?

unsafePerformIO здесь что-то нарушает. В GHC undefined просто вызывает исключение, а не циклизацию навсегда (что было бы бесполезно). Исключения не предназначены для того, чтобы быть пойманным в чистом (не-IO) кодексе - действительно, система типов действительно мешает вам сделать так же.

Используя функции unsafe*, вы сообщаете GHC «игнорируйте все, я знаю, что я делаю», и все ремни безопасности теперь выключены. Сделай себе одолжение и притворись, что unsafe* вещей не существует.