к
Size: a a a
2020 December 15
AA
ну как ничего
AA
для начала раздельная компиляция мешает
DB
или что-то фатально мешает?
проблема останова, походу(
DB
для начала раздельная компиляция мешает
это основная причина? по твоим словам казалось, что компилятору нужно невозможно много думать
DB
в хаскеле всякие полиморфные рекурсии, хкт и экзистенциальные типы
вот это всё
AA
ну да
DB
не понял, куда это "ну да"
AA
> нужно невозможно много думать
DB
ага, понял
AA
может это когда-нибудь и решаемо будет, но пока никто не решил
KV
Мне казалось, беда реп-полиморфного кода в том, что непонятно вообще какие общие операции могут быть у типов с разными репами
AA
никакие но этого и не надо, ад-хок полиморфизм же есть
AA
есть же языки с реп-полиморфизмом, к примеру сишарп
DB
есть же языки с реп-полиморфизмом, к примеру сишарп
То есть шарп не боксит инты, чтобы их в массив запихать, как джава делает (делает же?)?
AA
DB
прикона
KV
Так стоп, в кайндах вроде TYPE 'IntRep вообще есть какие-то значения?
MK
конечно, всякие
42# :: Int#KV
А, вот так
42# :: Int# :: TYPE 'IntRep
42# :: Int# :: TYPE 'IntRep