14Ciepło
2Odpowiedz
Fundeps i GADTs: Kiedy sprawdzanie typu jest rozstrzygalne?
5Ciepło
2Odpowiedz
7Ciepło
2Odpowiedz
C#: używając typu "self" jako parametru ogólnego?
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
53Ciepło
6Odpowiedz
Wady systemu typu Scala kontra Haskell?
15Ciepło
3Odpowiedz
Używanie systemu typu Haskella do wymuszania modularności
10Ciepło
3Odpowiedz