Domande taggate «type-systems»

4
Perché non scrivere in modo dipendente?
Ho visto diverse fonti ribadire l'opinione che "Haskell sta gradualmente diventando un linguaggio tipicamente dipendente". L'implicazione sembra essere che con sempre più estensioni del linguaggio, Haskell sta andando alla deriva in quella direzione generale, ma non c'è ancora. Ci sono fondamentalmente due cose che vorrei sapere. Il primo è, molto …
4
Che cosa significa l'operatore `#` in Scala?
Vedo questo codice in questo blog: Programmazione a livello di tipo in Scala : // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type …
4
Quali sono alcuni casi d'uso convincenti per i tipi di metodo dipendenti?
I tipi di metodi dipendenti, che prima erano una funzionalità sperimentale, ora sono stati abilitati per impostazione predefinita nel trunk e apparentemente questo sembra aver creato certo entusiasmo nella comunità Scala. A prima vista, non è immediatamente ovvio a cosa possa essere utile. Heiko Seeberger ha pubblicato un semplice esempio …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.