Programmazione tipo di dati

Question

Lo so di "imperativo" e "funzionale" di programmazione, ma c'era poco che ho trovato sulla programmazione "tipo di dati". C'è una cosa e come è collegato agli altri paradigmi?

Answer 1

Non ho mai sentito parlare di quel termine. Google non ha, neanche. (L'unico successo è proprio questa domanda.)

La cosa più vicina che posso pensare, è Programmazione Typeful , che è un paradigma di programmazione introdotto da Luca Cardelli in 1989 carta con lo stesso titolo.

L'idea di programmazione typeful è che si utilizzano tipi ampiamente e soprattutto per modellare il vostro dominio, guidare il vostro disegno, struttura del vostro programma e, in generale, risolvere il problema, lo stesso modo di usare gli oggetti in programmazione orientata agli oggetti, le procedure in procedurali programmazione, funzioni di programmazione funzionale, clausole in programmazione logica, processi in Erlang, e così via. Questo è un tipico stile in Haskell.

[EDIT: non avevo visto i tuoi commenti sulla questione, quando ho scritto questa risposta. Credo che questo secondo è quello che stai cercando.]

Un altro termine che mi sono imbattuto mentre si fa la suddetta ricerca di Google, è il termine di programmazione tipo di dati generico . Si tratta di un progetto di ricerca che correva 2003-2006 che mira a creare un nuovo meccanismo per la scrittura di programmi che parametrizzare su tipi molto più in là, come è possibile oggi con, diciamo, il polimorfismo parametrico a Haskell o modelli in C ++.