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?
7calore
1risposta
Come funzionano esattamente i sinonimi di tipo?