VD
safeId :: Maybe (Maybe a -> Maybe a)
Size: a a a
2020 November 09
AA
Чёита?
ну, эти функции могут вычислится в боттом принеботтом аргументах
Y
Чёита?
Осторожно, ваше зануд-фу недостаточно прокачано
MK
ну, эти функции могут вычислится в боттом принеботтом аргументах
приведи пример
AV
id# :: (# a# #) -> (# a# #)Y
id# :: (# a# #) -> (# a# #)Забор из колючей проволоки
AV
ну вмето
a# какой-то адсткий констрейнтAA
приведи пример
ну вот сейф хед аллоцирует Just и отдает управление. тут обнаруживается что в тред в котором сейф хед работает прилетело асинхронное исключение
конец
конец
YS
это LogAction Text IO в терминах co-log
Я просто по другому смотрел на задачу - сделать что-то очень простое, и при необходимости наворачивать абстракции там где нужно, с учётом того, что под капотом будет выражаться через эти базовые элементы
KV
ну вот сейф хед аллоцирует Just и отдает управление. тут обнаруживается что в тред в котором сейф хед работает прилетело асинхронное исключение
конец
конец
safeHead именно вернёт это исключение?
MK
safeHead именно вернёт это исключение?
ты это не отличишь
AA
safeHead именно вернёт это исключение?
ну она "вернет" "боттом", исключение это не возвращаемое значение в хаскеле
KV
ты это не отличишь
Я имею в виду, разве это не какой-то отдельный рантайм-механизм, не связанный с вычислением санков?
AA
> ну вот сейф хед аллоцирует Just
и заканчивается память
и заканчивается память
это одно из асинхронных исключений
YS
> ну вот сейф хед аллоцирует Just
и заканчивается память
и заканчивается память
"Аллоцирует как-то бесконечное число Just'ов память..."
AV
- сначала они игнорировали bottom, но ты молчал,
потом онис стали игнорировать исключения, но ты молчал
потом они стали игнорировать тебя, ты хотел сказать, но было уже поздно
потом онис стали игнорировать исключения, но ты молчал
потом они стали игнорировать тебя, ты хотел сказать, но было уже поздно
Y
"Аллоцирует как-то бесконечное число Just'ов память..."
Каждая аллокация вдвое меньше предыдущей?
YS
Каждая аллокация вдвое меньше предыдущей?
Не