Y
Смотрите, зануды затравили новичков и теперь принялись за других зануд :D
Статусные разборки
Size: a a a
2020 November 09
JS
в Хаскеле ещё имеют смысл функции, которые завершаются, если их аргумент не полностью завершается.
например, важно, что fst может дать ответ для (3, undefined)
например, важно, что fst может дать ответ для (3, undefined)
YS
/me опять вспоминает «в расте нет функций, только процедуры»
*флешбекает по-занудски*
JS
в Хаскеле ещё имеют смысл функции, которые завершаются, если их аргумент не полностью завершается.
например, важно, что fst может дать ответ для (3, undefined)
например, важно, что fst может дать ответ для (3, undefined)
как это называется? контролируемая частичность?
KV
Токсичное коммьюнити, ни про частичные фунции нормально поговорить не может, ни либу для логирования посоветовать
YS
Токсичное коммьюнити, ни про частичные фунции нормально поговорить не может, ни либу для логирования посоветовать
со вторым всё ясно - путстрлн
JS
Токсичное коммьюнити, ни про частичные фунции нормально поговорить не может, ни либу для логирования посоветовать
fastlogger разве кто-то сместил с пьедестала?
AA
озвучь его
частичная функция это функция отображающая из D в C область определения которой D' - строгое подмножество D
Y
Токсичное коммьюнити, ни про частичные фунции нормально поговорить не может, ни либу для логирования посоветовать
Хоть в #haskell на Freenode уходить...
YS
fastlogger разве кто-то сместил с пьедестала?
тут звучала либа @qnikst и co-log ещё
Y
fastlogger разве кто-то сместил с пьедестала?
Там всё ещё нет уровней логирования! Уже сказали про monad-logger, которая их добавляет, только её в Stackage нет (что наверное не проблема, но подозрительно)
JS
функции по определению тотальны. частичным может быть алгоритм
AA
функции по определению тотальны. частичным может быть алгоритм
че?
Y
частичная функция это функция отображающая из D в C область определения которой D' - строгое подмножество D
Как это определение применимо к хаскельным функциям?
KV
функции по определению тотальны. частичным может быть алгоритм
Функции тотальны или нетотальны относительно какого-то домена, понятно что для любой функции есть домен, на котором она тотальна
AA
А если хаскельные функции – это не (совсем) математические функции, то может, и хаскельная тотальность/частичность – это не (совсем) математическая тотальность/частичность?
что тогда "хаскельная частичность"?
KV
что тогда "хаскельная частичность"?
Предлагали "возвращает не-боттом, если даны не-боттом аргументы"