Ingegneria software type-systems

2

È possibile "inserire la dimensione in un tipo" in haskell?

Supponiamo che io voglia scrivere una biblioteca che si occupa di vettori e matrici. È possibile inserire le dimensioni nei tipi, in modo che le operazioni di dimensioni incompatibili generino un errore al momento della compilazione? Ad esempio, vorrei che la firma del prodotto dot fosse qualcosa di simile dotprod …

20 haskell type-systems type-safety

1

Motivazione e insidie (?) Della parola chiave auto in C ++ 11

Di recente mi chiedevo perché la parola chiave è autostata scelta in C ++ 11 per contrassegnare una variabile il cui tipo deve essere dedotto dal compilatore, come in auto x = 1; Da var sembra più comune in altri linguaggi di programmazione (ad es. C #, Scala, JavaScript) e …

20 c++ c++11 type-systems

24

Tipi interessanti o unici nei linguaggi di programmazione? [chiuso]

Allo stato attuale, questa domanda non è adatta al nostro formato di domande e risposte. Ci aspettiamo che le risposte siano supportate da fatti, riferimenti o competenze, ma questa domanda probabilmente solleciterà dibattiti, argomenti, sondaggi o discussioni estese. Se ritieni che questa domanda possa essere migliorata e possibilmente riaperta, visita …

20 programming-languages language-features type-systems data-types

1

Utilizzo di tipi di unicità per implementare un parallelismo sicuro

Sono stato interessato ai tipi di unicità come alternativa alle monadi in linguaggi puramente funzionali; sfortunatamente, questa è una specie di area esoterica della ricerca CS e le risorse online sulla programmazione con tipi di unicità sono poche e lontane tra loro. È ovvio come i tipi di unicità possano …

19 programming-languages functional-programming type-systems parallelism

10

Perché l'ereditarietà e il polimorfismo sono così ampiamente utilizzati?

Più imparo sui diversi paradigmi di programmazione, come la programmazione funzionale, più comincio a mettere in discussione la saggezza dei concetti di OOP come eredità e polimorfismo. Ho imparato a conoscere l'eredità e il polimorfismo a scuola, e all'epoca il polimorfismo sembrava un modo meraviglioso di scrivere un codice generico …

18 java c++ python object-oriented type-systems

5

Avrebbe senso usare oggetti (anziché tipi primitivi) per tutto in C ++?

Durante un recente progetto a cui ho lavorato, ho dovuto usare molte funzioni che assomigliano a questo: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double zoom, int image_width_pixels, int image_height_pixels, double & Target_Latitude, …

17 c++ type-systems data-types type-safety

9

Quali lingue tipicamente statiche supportano i tipi di intersezione per i valori restituiti dalla funzione?

Nota iniziale: Questa domanda è stata chiusa dopo varie modifiche perché mancava della terminologia corretta per affermare con precisione ciò che stavo cercando. Sam Tobin-Hochstadt ha quindi pubblicato un commento che mi ha fatto riconoscere esattamente quello che era: linguaggi di programmazione che supportano i tipi di intersezione per i …

17 language-agnostic type-systems return-type

2

Il polimorfismo parametrico di rango superiore è utile?

Sono abbastanza sicuro che tutti abbiano familiarità con i metodi generici del modulo: T DoSomething<T>(T item) Questa funzione è anche chiamata parametricamente polimorfica (PP), in particolare la PP di grado 1 . Diciamo che questo metodo può essere rappresentato usando un oggetto funzione del modulo: <T> : T -> T …

16 programming-languages functional-programming type-systems generics

9

Si dovrebbero testare i valori di un enum usando unit test?

Se si dispone di un enum con solo valori (nessun metodo come si potrebbe fare in Java) e questo enum fa parte della definizione aziendale del sistema, si dovrebbe scrivere un test unitario per esso? Stavo pensando che dovevano essere scritti, anche se potevano sembrare semplici e ridondanti, ritengo che …

15 unit-testing testing type-systems enum

3

Qual è il motivo dell'utilizzo di un'interfaccia rispetto a un tipo genericamente vincolato

Nei linguaggi orientati agli oggetti che supportano parametri di tipo generico (noti anche come modelli di classe e polimorfismo parametrico, sebbene ovviamente ogni nome abbia connotazioni diverse), è spesso possibile specificare un vincolo di tipo sul parametro di tipo, in modo tale che sia discendente da un altro tipo. Ad …

15 object-oriented type-systems generics

2

(Dis-) vantaggi della tipizzazione strutturale

Ho appena visto questo discorso di Daniel Spiewak in cui parla dei vantaggi della tipizzazione strutturale rispetto alla tipizzazione nominale di Scala e Java . Un esempio di questa differenza sarebbe il seguente codice Java public interface Foo { public int length(); } public interface Bar { public int length(); …

15 java scala type-systems static-typing

1

Perché Haskell non è in grado di evitare ripetute valutazioni 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 dal Wiki di Haskell . Penso di capire come l'MR può impedire valutazioni ripetute, ma non riesco a capire perché tali valutazioni ripetute non possano essere evitate con mezzi molto più …

14 optimization haskell type-systems

2

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

In una risposta a una domanda precedente , è iniziato un piccolo dibattito sulla terminologia corretta per alcuni costrutti. Dato che non ho trovato una domanda (diversa da questa o quella , che non è proprio la cosa giusta) per rispondere in modo chiaro, sto realizzando questa nuova. I termini …

14 type-systems data-types type-theory

1

Perché hai bisogno di tipi superiori?

Alcuni linguaggi consentono classi e funzioni con parametri di tipo (come List<T>dove Tpuò essere un tipo arbitrario). Ad esempio, puoi avere una funzione come: List<S> Function<S, T>(List<T> list) Alcune lingue consentono tuttavia di estendere questo concetto di un livello superiore, consentendoti di avere una funzione con la firma: K<S> Function<K<_>, …

13 programming-languages type-systems generics

2

I tipi vengono cancellati in Haskell?

Haskell ha una nozione di "funzioni generiche" che ha qualche apparente somiglianza con lisp comune - non avendo né esperienza con Haskell né con lisp comune, potrei essere molto approssimativo qui. Ciò significa che è possibile definire una to_stringstruttura generica per definire una rappresentazione di stringa per tutti i tipi. …

13 haskell type-systems common-lisp

Domande taggate «type-systems»