Oℕ
Вот для чего деды старались
Size: a a a
2020 December 30
Oℕ
Кусочек главной сути тайпкласса в том, что можно метод вызвать, не имея ни одного инстанса, по которому диспатч делать
Oℕ
Другой кусочек в том, что можно сортированный сет сделать, не сохраняя компаратор в самом сете и не думая, какой выбрать при юнионе
VD
Погуглял немног, таки проверка на конфликтующие инстансы есть и по ногам в компайл-тайме постреливает
Oℕ
Третий кусочек в том, что можно получать разные инстансы для одного конструктора типов с разными аргументами, и получать автоматически
VD
Кусочек главной сути тайпкласса в том, что можно метод вызвать, не имея ни одного инстанса, по которому диспатч делать
Пардон, это как?
Oℕ
До прозрения осталось 10, 9...
Oℕ
Пардон, это как?
FromJson, Monoid.mempty
VD
Oℕ
или как там этот фром жсон пишется, все четыре заглавные
VD
Я ща пытаюсь сообразить "без инстанса" это "нигде нет instance K T" или в смысле "в функцию не передается значение типа Т, для которого есть instance K T, а-ля minBound :: Int".
Oℕ
Я ща пытаюсь сообразить "без инстанса" это "нигде нет instance K T" или в смысле "в функцию не передается значение типа Т, для которого есть instance K T, а-ля minBound :: Int".
в функцию не передаётся значение
VD
И чот в обоих случаях с протоколами можно сделать то же самое.
Oℕ
И чот в обоих случаях с протоколами можно сделать то же самое.
Как с протоколами сделать
VD
Приблизительно на вскидку так:
[[MyType class] someProtocolMethod]]Oℕ
Приблизительно на вскидку так:
[[MyType class] someProtocolMethod]]Надо, чтобы полиморфная функция юыла
VD
Но в протоколе метод должен быть помечен как static, вроде.
Oℕ
Например, функция, которая тело запроса неизвестного типа заранее парсит
VD
Ща, подумаю.
Oℕ
Ну или просто функция аналог foldMap