gadt

14Ciepło

2Odpowiedz

Fundeps i GADTs: Kiedy sprawdzanie typu jest rozstrzygalne?

Czytałem artykuł badawczy o Haskell i sposobie implementacji HList i zastanawiając się, kiedy opisane techniki są i nie są rozstrzygalne dla sprawdzania typu. Ponadto, ponieważ możesz robić podobne rz