История изменений
Исправление hateyoufeel, (текущая версия) :
Просто для справки, имея значение типа боттом ты можешь делать любой
unsafeCoerce. unsafeCoerce излишен (просто писанины меньше).
Ну да, я в курсе.
Если для тебя значение bottom не чит, для меня больше обсуждать эту тему нет смысла, спасибо за дискуссию.
Разница тут в том, что unsafeCoerce иногда бывает полезен (в основном, для преобразования фантомных типов). А вот само по себе bottom – источник головной боли.
Впрочем, я бы тут сказал, что основная причина всего этого – недостаточная гибкость системы типов в хачкелле.
Исходная версия hateyoufeel, :
Просто для справки, имея значение типа боттом ты можешь делать любой
unsafeCoerce. unsafeCoerce излишен (просто писанины меньше).
Ну да, я в курсе.
Если для тебя значение bottom не чит, для меня больше обсуждать эту тему нет смысла, спасибо за дискуссию.
Разница тут в том, что unsafeCoerce иногда бывает полезен (в основном, для преобразования фантомных типов). А вот само по себе bottom – источник головной боли.