Size: a a a

2021 January 17

JS

Jerzy Syrowiecki in Haskell
Жук Короед
С питоном, например. Какую-то незамудреную математику там делать проще, так как числа не делятся на классы и не нуждаются в постоянных преобразованиях между классами.
не классы, а типы, но да, согласен. с другой стороны, в Питоне сложнее, чем в Маткаде.

а типы нужны в задачах более сложных, чем числа складывать
источник

ЖК

Жук Короед in Haskell
Ну, я имел в виду тайпклассы.
Тут кричит, что не Integral, там - что не Floating.
Это ж все-таки хаскель, не хочется сразу к конкретным типам привязываться, хочется общо писать 👀.
источник

IK

Ilya Kos in Haskell
Жук Короед
Ну, я имел в виду тайпклассы.
Тут кричит, что не Integral, там - что не Floating.
Это ж все-таки хаскель, не хочется сразу к конкретным типам привязываться, хочется общо писать 👀.
Для кого-то это не баг а фича
источник

IK

Ilya Kos in Haskell
Потому что неожиданностей потом не будет с переполнениями всякими
источник

AA

A64m AL256m qn<co... in Haskell
Жук Короед
Ну, я имел в виду тайпклассы.
Тут кричит, что не Integral, там - что не Floating.
Это ж все-таки хаскель, не хочется сразу к конкретным типам привязываться, хочется общо писать 👀.
так он и пишет так, потому что к конкретным типам не привязан
источник

JS

Jerzy Syrowiecki in Haskell
Жук Короед
Ну, я имел в виду тайпклассы.
Тут кричит, что не Integral, там - что не Floating.
Это ж все-таки хаскель, не хочется сразу к конкретным типам привязываться, хочется общо писать 👀.
ну тут надо выбирать — либо пользоваться магией динамической типизации, либо мощью типов (и классов)
источник

AA

A64m AL256m qn<co... in Haskell
ну так-то можно написать числовой тип, который будет вести себя как динамический, и иметь имплементации и интеграл и флоатинг
источник

IK

Ilya Kos in Haskell
A64m AL256m qn I0
ну так-то можно написать числовой тип, который будет вести себя как динамический, и иметь имплементации и интеграл и флоатинг
Scientific??
источник

AA

A64m AL256m qn<co... in Haskell
нет, этим лучше не считать
источник

ЗП

Зигохистоморфный Пре... in Haskell
а зачем тогда его создали?)
источник

AA

A64m AL256m qn<co... in Haskell
это тип в который парсить надо
источник

MK

Maxim Koltsov in Haskell
A64m AL256m qn I0
ну так-то можно написать числовой тип, который будет вести себя как динамический, и иметь имплементации и интеграл и флоатинг
Rational?
источник

AA

A64m AL256m qn<co... in Haskell
да нет, почему рэшонал
источник

к

кана in Haskell
да можно просто

data Number = Integral Integer | Real Double
источник

AA

A64m AL256m qn<co... in Haskell
яж говорю, как в скриптах
источник

AA

A64m AL256m qn<co... in Haskell
кана
да можно просто

data Number = Integral Integer | Real Double
да вроде такого скорее
источник

к

кана in Haskell
наверное тут есть смысл как раз сделать strict unboxed
источник

IR

IC Rainbow in Haskell
есть какая-нибудь дерайвилка инстансов для Applicative на манер ZipList?
источник

ЗП

Зигохистоморфный Пре... in Haskell
IC Rainbow
есть какая-нибудь дерайвилка инстансов для Applicative на манер ZipList?
deriving via?
источник

AA

A64m AL256m qn<co... in Haskell
ну а где соотвествующий ньютайп-то, вроде того, что для моноеда в семигрупс
источник