Aq
Size: a a a
2018 February 21
DR
из этого всего списка тайпклассы для тайп-левел трюкачества это самое non-controversial применение
DR
точнее их не было в списке, но вообще они есть
A🚀
и это еще модули в хаскеле только появились, они еще поспорят с тайпклассами в некоторых областях применения
Модули в Haskell — backpack?
A🚀
Сорри, выше увидел.
2018 February 23
к
в пурсе же никак нельзя указать конкретный инстанс при оверлапе?
к
типа чтобы в a и b были разные значения?
к
f по сути имеет тип
то есть если как-то явно передать неявный аргумент C t, то это может работать, но в пурсе это возможно?
какой-нибудь TypeApplication типа
f :: forall t a. C t => t a -> aто есть если как-то явно передать неявный аргумент C t, то это может работать, но в пурсе это возможно?
какой-нибудь TypeApplication типа
t = MkT "1" "2"
f @_ @_ @tC1 t == "1"
f @_ @_ @tC2 t == "2"
VY
по-моему нет, нужно оборачивать в newtype
VY
хотя мб я не так понял
ЗП
тут
@ как бы не для тогоЗП
типа у тебя и целое есть и можешь еще и PM заюзать чтобы глянуть что внутри и потом не собирать опять first
VY
я не знал про TypeApplication расширение гхц вообще поэтому не понял аналогию
(но в пурсе ничего подобного нет, насколько я знаю)
(но в пурсе ничего подобного нет, насколько я знаю)
AP
Кароч, хотите явно указывать инстанс - передавайте словарик с методами :)
S
Всем привет! Подскажите библиотечку для рисования графиков?
S
Кажется, то что нужно. Она в вычисления на конечных полях умеет?