YS
И тебя тут же банят
Size: a a a
2020 November 09
JS
какое слово непонятно?
AA
Короче я бы сказал, что когда тред исполняющий safeHead ловит эксепшен — это не то же, что safeHead что-то возвращает или кидает, она вообще не возвращает ничего, потому что вычисление прервалось. А процесс вычисления не должен влиять на свойство тотальности наверное
ну для пользователя функции то это одинаково будет выглядеть, что сейфХед вычислился в ботом, что ансейфХед вычислился в боттом
JS
Функции тотальны или нетотальны относительно какого-то домена, понятно что для любой функции есть домен, на котором она тотальна
функция не может быть нетотальной. может быть формула, не задающая функцию. может быть алгоритм, не задающий функцию
KV
функция не может быть нетотальной. может быть формула, не задающая функцию. может быть алгоритм, не задающий функцию
Это Вы сами придумали?
AA
функция не может быть нетотальной. может быть формула, не задающая функцию. может быть алгоритм, не задающий функцию
вполне может быть. частичные функции это функции
JS
Это Вы сами придумали?
нет, это из теории множеств
AA
че в теории множеств частичных функций нету теперь?
AA
ЗОПРЕТИЛИ
AA
СНОЙМАН ЗАПРЕТИЛ
JS
и не было
JS
есть область определения только
JS
в математике 1/x — функция с областью определения R\{0}, а не "частичная функция"
AA
она частичная на R
JS
в программировании формула 1/x — частичная на IEEE FP64
AA
на R частичная
JS
хотя на IEEE FP64 как раз тотальная обычно
AA
на R без 0 - тотальная
JS
на R частичная
нет, она вообще не может быть определена на R