7calore
1risposta
Come funzionano esattamente i sinonimi di tipo?
23calore
1risposta
Che tipo possono impedire la sospensione obiettivo in linguaggi logici?
5calore
1risposta
Come utilizzare UndecidableInstances localmente?
9calore
2risposta
6calore
2risposta
Un tipo può essere un tipo di riferimento e un tipo di valore allo stesso tempo?
18calore
3risposta
Questa funzionalità può essere implementata con il sistema di tipi Haskell?
50calore
2risposta
Il sistema di tipi in Scala è completato da Turing. Prova? Esempio? Benefici?
53calore
6risposta
Svantaggi del sistema di tipo Scala rispetto a Haskell?
24calore
1risposta
Quale proprietà del sistema di tipi Scala lo rende Turing-completo?
35calore
5risposta
Che cosa rende il sistema di tipi Haskell più "potente" rispetto ai sistemi di tipi di altre lingue?