28calore
6risposta
Che cosa significa dire che un tipo è "inscatolato"?
56calore
4risposta
Haskell type vs. newtype rispetto alla sicurezza del tipo
20calore
2risposta
Quali sono i limiti di inferenza di tipo?
7calore
1risposta
esplicita tipo ricorsione in F #
29calore
5risposta
Differenza tra i tipi esistenziali di Scala e il jolly di Java con l'esempio?
14calore
2risposta
Fundeps e GADTs: quando si sceglie la verifica del tipo decidibile?
10calore
3risposta