то может, и хаскельная тотальность/частичность – это не (совсем) математическая тотальность/частичность?
что тогда "хаскельная частичность"?
Предлагали "возвращает не-боттом, если даны не-боттом аргументы"
и про какую хаскельную функцию можно такое сказать?
id safeHead :: [a] -> Maybe a
ну, эти функции могут вычислится в боттом принеботтом аргументах
Осторожно, ваше зануд-фу недостаточно прокачано
ну вот сейф хед аллоцирует Just и отдает управление. тут обнаруживается что в тред в котором сейф хед работает прилетело асинхронное исключение конец
safeHead именно вернёт это исключение?
ты это не отличишь
ну она "вернет" "боттом", исключение это не возвращаемое значение в хаскеле
Я имею в виду, разве это не какой-то отдельный рантайм-механизм, не связанный с вычислением санков?
Обсуждают сегодня