Size: a a a

2020 December 30

Oℕ

Oleg ℕizhnik in haskell_blah
Вот для чего деды старались
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Кусочек главной сути тайпкласса в том, что можно метод вызвать, не имея ни одного инстанса, по которому диспатч делать
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Другой кусочек в том, что можно сортированный сет сделать, не сохраняя компаратор в самом сете и не думая, какой выбрать при юнионе
источник

VD

Velvet Darkness in haskell_blah
Погуглял немног, таки проверка на конфликтующие инстансы есть и по ногам в компайл-тайме постреливает
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Третий кусочек в том, что можно получать разные инстансы для одного конструктора типов с разными аргументами, и получать автоматически
источник

VD

Velvet Darkness in haskell_blah
Oleg ℕizhnik
Кусочек главной сути тайпкласса в том, что можно метод вызвать, не имея ни одного инстанса, по которому диспатч делать
Пардон, это как?
источник

Oℕ

Oleg ℕizhnik in haskell_blah
До прозрения осталось 10, 9...
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Velvet Darkness
Пардон, это как?
FromJson, Monoid.mempty
источник

VD

Velvet Darkness in haskell_blah
🤔
источник

Oℕ

Oleg ℕizhnik in haskell_blah
или как там этот фром жсон пишется, все четыре заглавные
источник

VD

Velvet Darkness in haskell_blah
Я ща пытаюсь сообразить "без инстанса" это "нигде нет instance K T" или в смысле "в функцию не передается значение типа Т, для которого есть instance K T, а-ля minBound :: Int".
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Velvet Darkness
Я ща пытаюсь сообразить "без инстанса" это "нигде нет instance K T" или в смысле "в функцию не передается значение типа Т, для которого есть instance K T, а-ля minBound :: Int".
в функцию не передаётся значение
источник

VD

Velvet Darkness in haskell_blah
И чот в обоих случаях с протоколами можно сделать то же самое.
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Velvet Darkness
И чот в обоих случаях с протоколами можно сделать то же самое.
Как с протоколами сделать
источник

VD

Velvet Darkness in haskell_blah
Приблизительно на вскидку так: [[MyType class] someProtocolMethod]]
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Velvet Darkness
Приблизительно на вскидку так: [[MyType class] someProtocolMethod]]
Надо, чтобы полиморфная функция юыла
источник

VD

Velvet Darkness in haskell_blah
Но в протоколе метод должен быть помечен как static, вроде.
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Например, функция, которая тело запроса неизвестного типа заранее парсит
источник

VD

Velvet Darkness in haskell_blah
Ща, подумаю.
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Ну или просто функция аналог foldMap
источник