Domande con tag 'type-systems'

domande con tag
3
risposte

Qual è il motivo dell'uso di un'interfaccia rispetto a un tipo genericamente limitato

Nei linguaggi orientati agli oggetti che supportano i parametri di tipo generico (noti anche come modelli di classe e polimorfismo parametrico, sebbene ogni nome abbia connotazioni diverse), è spesso possibile specificare un vincolo di tipo sul...
posta 16.03.2015 - 15:24
9
risposte

Quali lingue tipizzate staticamente supportano i tipi di intersezione per i valori di ritorno delle funzioni?

Initial note: This question got closed after several edits because I lacked the proper terminology to state accurately what I was looking for. Sam Tobin-Hochstadt then posted a comment which made me recognise exactly what that was: progra...
posta 24.02.2012 - 12:07
2
risposte

(Dis-) vantaggi della tipizzazione strutturale

Ho appena visto questo talk di Daniel Spiewak dove parla dei vantaggi di tipizzazione strutturale rispetto alla digitazione nominale di Scala ans Java. Un esempio di questa differenza sarebbe il seguente codice Java public interface Foo...
posta 07.11.2011 - 15:20
1
risposta

Perché Haskell non è in grado di evitare una valutazione ripetuta senza la limitazione del monomorfismo?

Ho appena finito learnyouahaskell l'altro giorno, e stavo cercando di dare un senso alla restrizione del monomorfismo, come descritto da Haskell Wiki . Penso di capire come il MR possa prevenire valutazioni ripetute, ma non riesco a capire per...
posta 06.05.2015 - 21:50
9
risposte

Si dovrebbe testare i valori di un enum usando i test unitari?

Se hai un enum con solo valori (nessun metodo come si può fare in Java), e questo enum fa parte della definizione di business del sistema, se uno scrisse unit test per questo? Stavo pensando che dovrebbero essere scritti, anche se potrebbero...
posta 27.09.2017 - 15:47
2
risposte

I tipi sono cancellati in Haskell?

Haskell ha una nozione di "funzioni generiche" che ha qualche apparente somiglianza con la comune lisc - non avendo né esperienza con Haskell né con la comune focalizzazione, potrei essere molto approssimativo qui. Ciò significa che è possibile...
posta 09.12.2013 - 11:29
1
risposta

Perché hai bisogno di generi più elevati?

Alcune lingue consentono classi e funzioni con parametri di tipo (come List<T> dove T può essere un tipo arbitrario). Ad esempio, puoi avere una funzione come: List<S> Function<S, T>(List<T> list) Alcune li...
posta 17.03.2015 - 18:05
2
risposte

Perché la sottotitolazione comportamentale è indecidibile?

Liskov's work in this area focused on behavioral subtyping, which besides the type system safety discussed in this article also requires that subtypes preserve all invariants guaranteed by the supertypes in some contract.[3] This definition of...
posta 05.12.2015 - 13:04
2
risposte

Terminologia corretta nella teoria dei tipi: tipi, costruttori di tipi, tipi / tipi e valori

In una risposta a una domanda precedente , è iniziato un piccolo dibattito sulla terminologia corretta per alcuni costrutti. Poiché non ho trovato una domanda (diversa da questo o che , che non è proprio la cosa giusta) per affrontare questo...
posta 10.09.2014 - 07:08
2
risposte

Esiste una differenza tra digitazione anatra e tipizzazione strutturale? [duplicare]

La tipizzazione di anatra sta decidendo il tipo di un oggetto, in base alle operazioni supportate e agli attributi che possiede. La tipizzazione strutturale è ... la stessa cosa? Qual è esattamente la differenza?     
posta 14.10.2014 - 11:18