Wyniki wyszukiwania dla "data-kinds"
Czy mogę dostarczyć kontrolerowi sprawdzenia dotyczące indukcyjnych naturaliów w GHC 7.6?
GHC 7.6.1 zawiera nowe funkcje programowania na poziomie typu, w tympromocja typu danych. Biorąc przykład z naturaliów poziomu i wektorów, chciałbym móc pisa...
Mapa poziomu typu z DataKinds
Mam wspólny wzór, w którym mam listę rodzaju na poziomie typu