15Ciepło
3Odpowiedz
Używanie systemu typu Haskella do wymuszania modularności
14Ciepło
2Odpowiedz
Fundeps i GADTs: Kiedy sprawdzanie typu jest rozstrzygalne?
10Ciepło
3Odpowiedz
5Ciepło
2Odpowiedz
28Ciepło
6Odpowiedz
Co to znaczy, że typ jest "pudełkowy"?
62Ciepło
3Odpowiedz
56Ciepło
4Odpowiedz
Typ Haskella kontra nowy w odniesieniu do bezpieczeństwa typu