Programmation du type de données

Question

Je connais la programmation "impérative" et "fonctionnelle", mais je ne pouvais pas trouver peu sur la programmation "DataType". Y a-t-il une telle chose et comment est-elle liée aux autres paradigmes?

Answer 1

Je n'ai jamais entendu parler de ce terme. Google ne l'a pas non plus non plus. (Le seul coup est cette question même.)

La chose la plus proche à laquelle je peux penser, c'est Programmation de type, qui est un paradigme de programmation introduit par Luca Cardelli en 1989 papier par le même titre.

L'idée de la programmation de type est que vous utilisez les types largement et principalement pour modéliser votre domaine, conduire votre conception, structurer votre programme et résoudre général votre problème, de la même manière que vous utilisez des objets dans la programmation orientée objet, les procédures en programmation procédurale, fonctions Dans la programmation fonctionnelle, les clauses dans la programmation logique, les processus dans Erlang, etc. C'est un style typique à Haskell.

EDIT: Je n'avais pas vu vos commentaires sur la question, quand j'ai écrit cette réponse. Je suppose que ce deuxième est ce que vous recherchez.

Un autre terme sur lequel je suis tombé sur la recherche Google susmentionnée, est le terme Programmation générique des types de données. C'est un projet de recherche Cela a fonctionné de 2003 à 2006 qui vise à créer un nouveau mécanisme pour les programmes d'écriture qui paramétrisent les types beaucoup plus possibles comme cela est possible aujourd'hui avec, disons, le polymorphisme paramétrique dans Haskell ou des modèles en C ++.