к
в ghc уже можно как-то вручную указывать полностью невидимые типоаргументы?
forall {x}. то есть?
Size: a a a
2020 November 28
AA
есть
AA
какой это экстеншен?
не помню, это новая фича, с 9.0
эксплисит специфисити вроде называется
эксплисит специфисити вроде называется
AA
не уверен
AA
А когда такое может быть полезно?
чтоб не писать
foo @_ @_ @_ @BarIK
чтоб не писать
foo @_ @_ @_ @BarНу ненужные просто последними ставишь
AA
лет десять