Size: a a a

2021 January 06

AA

A64m AL256m qn<co... in Haskell
Maxim Koltsov
Который в компайл тайме делается
он делает в компайл тайме код, который позволяет делать вещи в рантайме
источник

MK

Maxim Koltsov in Haskell
А женерик не так делает что ли
источник

к

кана in Haskell
Maxim Koltsov
Который в компайл тайме делается
тут смотри, дата и генерик генерируются в рантайме
источник

к

кана in Haskell
ой
источник

к

кана in Haskell
в компайтайме
источник

MK

Maxim Koltsov in Haskell
Ну хотя бы женерик-соп
источник

к

кана in Haskell
но сереализатор на генериках тоже генерируется в компайтайме, из-за инстансов
источник

к

кана in Haskell
а generics-sop уже в рантайме, да
источник

AA

A64m AL256m qn<co... in Haskell
Maxim Koltsov
Ну хотя бы женерик-соп
то же самое, что и гхц-дженерики
источник

MK

Maxim Koltsov in Haskell
кана
но сереализатор на генериках тоже генерируется в компайтайме, из-за инстансов
Это спорное утверждение, но давай смотреть на соп тогда
источник

AA

A64m AL256m qn<co... in Haskell
Maxim Koltsov
Это спорное утверждение, но давай смотреть на соп тогда
че спорное-то?
источник

MK

Maxim Koltsov in Haskell
Тебе никто не запрещает в своём коде вызвать genericParseJSON
источник

MK

Maxim Koltsov in Haskell
Который уже написан
источник

MK

Maxim Koltsov in Haskell
И ничего "генерироваться" не будет
источник

к

кана in Haskell
Maxim Koltsov
Тебе никто не запрещает в своём коде вызвать genericParseJSON
и код для него тоже построится в компайлтайме
источник

MK

Maxim Koltsov in Haskell
Нет
источник

AA

A64m AL256m qn<co... in Haskell
да
источник

MK

Maxim Koltsov in Haskell
Нет
источник

к

кана in Haskell
в компайлтайме построится дерево инстансов из типа
источник

MK

Maxim Koltsov in Haskell
Чё вы несёте
источник