JS
там не чатик, а соцсеть (асинхронный чатик в каком-то смысле)
Size: a a a
2020 November 09
JS
там роботы есть https://functional.cafe/@hackage
KV
Тут в CoC даже ничего интересного нет, вот недавно в одном тоже на мастодоне видел в перечне "classism against the working class"
VD
> classism against the working class
Верной дорогой идут.
Верной дорогой идут.
AA
так в итоге head нетотальная, невычислимая или оба?
не функция, а "формула"
VD
Я чот с вашим занудством запутался. Функция != формула?
AT
Я чот с вашим занудством запутался. Функция != формула?
конечно !=
VD
Функция это
String -> String, а формула к этой функции тогда может быть f _ = "Hello" или f = toUpper?VD
И не тотальны тогда формулы, а не функции?
JS
Я чот с вашим занудством запутался. Функция != формула?
формула может задавать функцию. или не задавать
JS
формула
let x = x in x не задаёт функцию, хотя это вполне валидная и корректная формулаJS
И не тотальны тогда формулы, а не функции?
да
JS
Я чот с вашим занудством запутался. Функция != формула?
/=
DS
/ : Double -> Double -> Double - частичная./ : Double -> DoubleWithoutZero -> Double - тотальная.С поправкой на исключения, боттомы и всякое такое в хаскеле.
JS
/ : Double -> Double -> Double - частичная./ : Double -> DoubleWithoutZero -> Double - тотальная.С поправкой на исключения, боттомы и всякое такое в хаскеле.
IEEE 754 говорит, что
NaN, Infinity :: DoubleDS
Ну тогда не double, а real.
JS
0/0 = NaN — корректное значение для типа Double
DS
Это костыль из стандарта. )
Уточнил тип выше.
Уточнил тип выше.
VD
Окей. А
f :: a -> b это тогда кто? Функция вроде есть, а формулы нет.JS
head задавала бы функцию на непустых списках, но она определена на любых, поэтому лишь частично задаёт функцию