DB
Забавно, либа не обновлялась ~10 лет
Size: a a a
2020 August 02
JS
ладно, верю, что 10 лет назад это могло собираться
DB
А может быть есть какой-то другой способ (без этой либы) написать функцию
Num a, Floating b => a -> b?AR
австралийцы ДПХстрадальцы сделали дата фемели, а дальше покатилось по наклонной пока из переемеля недопруфассистент (без пруфов) не получился
Да они не австралийцы уже просто ;) Мануэль и Габриэла сейчас в Нидерландах, а Бен ушёл из академии и занимается самоездящими машинами сейчас. Не осталось никого просто :)
JS
А может быть есть какой-то другой способ (без этой либы) написать функцию
Num a, Floating b => a -> b?realToFrac?
DB
realToFrac :: (Real a, Fractional b) => a -> b
DB
Так это не Floating
AA
Интересно было бы посмотреть список того важного, что они сделали
непосредственно от этой программы происходят тайп/дата семейства и новая корка с коэрсами и все пенсильванские последствия этого типа промоушена и тайп ин тайп. вектор, репа и те либы со стрим фьюженом и репа-лайк типа стримли и массива на которые они повлияли, инстант дженерики и производные типа гхц-ных изкоробочных и соп
AA
грубо говоря весь модерн хаскель вырос из того что массивы плохие
AA
самые неожиданные вещи типа того что вывод больше не ДМ и лет не генерализуется
AA
Да они не австралийцы уже просто ;) Мануэль и Габриэла сейчас в Нидерландах, а Бен ушёл из академии и занимается самоездящими машинами сейчас. Не осталось никого просто :)
у них нашлись пенсильванские продолжатели которым на массивы наплевать уже правда (и которые уже не все пенсильванцы тоже)
AR
у них нашлись пенсильванские продолжатели которым на массивы наплевать уже правда (и которые уже не все пенсильванцы тоже)
Это про Айзенберга и Вайрих?
AA
да про брента ерги еще
JS
А может быть есть какой-то другой способ (без этой либы) написать функцию
Num a, Floating b => a -> b?нет никакого. не любое число можно превратить в плавающую точку. контрпример: попробуй-ка превратить Complex в Double
AP
непосредственно от этой программы происходят тайп/дата семейства и новая корка с коэрсами и все пенсильванские последствия этого типа промоушена и тайп ин тайп. вектор, репа и те либы со стрим фьюженом и репа-лайк типа стримли и массива на которые они повлияли, инстант дженерики и производные типа гхц-ных изкоробочных и соп
Я понял, спасибо. Я не совсем согласен, но спорить не буду
DB
нет никакого. не любое число можно превратить в плавающую точку. контрпример: попробуй-ка превратить Complex в Double
Хорошо, а если Real a, Floating b => a -> b?
JS
Хорошо, а если Real a, Floating b => a -> b?
realToFrac
DB
realToFrac
Так это же Fractional, а не Floating((
DB
Я чего-то не понимаю
JS
Так это же Fractional, а не Floating((
λ> :t realToFrac :: (Real a, Floating b) => a -> b
realToFrac :: (Real a, Floating b) => a -> b
:: forall {a} {b}. (Real a, Floating b) => a -> b