YS
"..., а OOM killer им и говорит..."
Size: a a a
2020 November 09
Y
*флешбекает по-занудски*
Пост-занудное стрессовое расстройство
AA
ну если бы все просто помирало при этом (помять закончилась и т.д.), то функцию можно было бы тотальной считать, потому что нетотальность была бы ненаблюдаема в самой программе.
но эксепшоны то наблюдаемы в ней, это такой контрол флоу.
но эксепшоны то наблюдаемы в ней, это такой контрол флоу.
AV
тотальнее
AA
т.е. язык без асинхронных исключений может иметь тотальные функции не смотря на то что память заканчивается
AV
в подходе сноймана, кстати асинхронные исключения не ловятся
AV
И всё умирать должно
KV
Короче я бы сказал, что когда тред исполняющий safeHead ловит эксепшен — это не то же, что safeHead что-то возвращает или кидает, она вообще не возвращает ничего, потому что вычисление прервалось. А процесс вычисления не должен влиять на свойство тотальности наверное
KV
В определении тотальности (даже общепринятом) ничего про наблюдаемость нет, кажется
Может хватит занудствовать уже?
AA
В определении тотальности (даже общепринятом) ничего про наблюдаемость нет, кажется
ну это подразумевается всегда
YS
Какой-то нетотальный диалог получился
YS
Прилетел асинхронный бан
YS
Все вычисления прекратились
YS
Скорее даже синхронный это когда просишь забанить)