A
Size: a a a
2020 November 09
AA
DoubleWithoutHaskell -> DoubleWithHaskell
JS
Окей. А
f :: a -> b это тогда кто? Функция вроде есть, а формулы нет.это тип "хаскельных функций"
DS
Окей. А
f :: a -> b это тогда кто? Функция вроде есть, а формулы нет.Такая функция что делать может?
JS
Формулы = термы?
Функции = термы с типом a -> b?
Функции = термы с типом a -> b?
хаскельные функции /= математические функции
VD
Такая функция что делать может?
Только андефайнедами кидаться и подобное.
A
хаскельные функции /= математические функции
В каком смысле?
JS
Окей. А
f :: a -> b это тогда кто? Функция вроде есть, а формулы нет.undefined населяет этот тип
VD
До меня вроде начинает смутно доходить
JS
В каком смысле?
математическая функция: для каждого икса есть игрек. просто есть и никаких гвоздей.
хаскельная функция: для некоторых иксов есть формула для вычисления игрека, которая, возможно, через какое-то время закончит работать и даст результат
хаскельная функция: для некоторых иксов есть формула для вычисления игрека, которая, возможно, через какое-то время закончит работать и даст результат
DS
Окей. А
f :: a -> b это тогда кто? Функция вроде есть, а формулы нет.Ну вообще тип есть, а поселенцев нет. И функции нет. А что такое формула - хз.
A
математическая функция: для каждого икса есть игрек. просто есть и никаких гвоздей.
хаскельная функция: для некоторых иксов есть формула для вычисления игрека, которая, возможно, через какое-то время закончит работать и даст результат
хаскельная функция: для некоторых иксов есть формула для вычисления игрека, которая, возможно, через какое-то время закончит работать и даст результат
наверное, формула всё-таки одна для всех иксов
VD
Получается в математике просто не существует функции а-ля
a -> b. Потому что а) в математике нет полиморфизма или б) если принять что функции мы не придумываем, а просто называем, а они всегда были и есть - то такой функции просто нет.VD
Ну вообще тип есть, а поселенцев нет. И функции нет. А что такое формула - хз.
Вообще у меня пока сложилось, что функция это тип, а формула это определение с таким типом. Ну и в хаскеле можно сделать формулу под любой тип, потому что всякие ботомы, а в математике низзя потому что низзя.
JS
наверное, формула всё-таки одна для всех иксов
в Хаскеле можно написать
f 0 = 0
то есть определить не для всех входов
f 0 = 0
то есть определить не для всех входов
KV
> в математике нет полиморфизма
Пошто обижаете математику?
Пошто обижаете математику?
AA
в Хаскеле можно написать
f 0 = 0
то есть определить не для всех входов
f 0 = 0
то есть определить не для всех входов
в математике тоже
VD
> в математике нет полиморфизма
Пошто обижаете математику?
Пошто обижаете математику?
Это ход мыслей человека, который математику класса с 6 прогуливал, если шо. Так что это математика в основном обижает меня :D
A
в Хаскеле можно написать
f 0 = 0
то есть определить не для всех входов
f 0 = 0
то есть определить не для всех входов
Ну ясно
Можно для удобства считать паттерн-матчинг частью формулы (он же всё равно в case ... of транслируется)
Можно для удобства считать паттерн-матчинг частью формулы (он же всё равно в case ... of транслируется)
AA
Получается в математике просто не существует функции а-ля
a -> b. Потому что а) в математике нет полиморфизма или б) если принять что функции мы не придумываем, а просто называем, а они всегда были и есть - то такой функции просто нет.будет на два параметра больше просто