VD
будет на два параметра больше просто
Параметры с типами?
Size: a a a
2020 November 09
AA
ну да
к
Получается в математике просто не существует функции а-ля
a -> b. Потому что а) в математике нет полиморфизма или б) если принять что функции мы не придумываем, а просто называем, а они всегда были и есть - то такой функции просто нет.полиморфизм есть, а вот функции такой просто не существует
JS
в математике тоже
это разные вещи. в математике будет обычная функция на необычной области определения, а в Хаскеле — на обычной области определения кровь-кишки
AA
полиморфизм есть, а вот функции такой просто не существует
частичная существует
AT
в математике тоже
в математике ограниченная область допустимых значений подразумевается (инферрится), а в хаскеле нужно явно типизировать такой вариант.
DS
в математике ограниченная область допустимых значений подразумевается (инферрится), а в хаскеле нужно явно типизировать такой вариант.
Нет, явно указывается.
AT
Нет, явно указывается.
f 0 = 0
чего тут явно указывать-то
чего тут явно указывать-то
DS
f(x) = y, x in D
AV
Я уже писал тут спасибо, что предложили мне таки использовать reflection, всё замечательно зашло
YS
Для чего?