Programación del tipo de datos

Question

Sé de la programación "imperativa" y "funcional", pero había poco que pude encontrar en la programación del "tipo de datos". ¿Existe tal cosa y cómo se relaciona con los otros paradigmas?

Answer 1

Nunca he oído hablar de ese término. Google tampoco lo ha hecho. (El único éxito es esta misma pregunta).

Lo más cercano que puedo pensar es Programación tipo, que es un paradigma de programación introducido por Luca Cardelli en un 1989 papel por el mismo título.

La idea de la programación tiposa es que utiliza tipos de manera amplia y principalmente para modelar su dominio, impulsar su diseño, estructurar su programa y, en general, resolver su problema, de la misma manera que usa objetos en programación orientada a objetos, procedimientos en programación de procedimientos, funciones En la programación funcional, las cláusulas en la programación lógica, los procesos en Erlang, etc. Este es un estilo típico en Haskell.

Editar: no había visto sus comentarios sobre la pregunta, cuando escribí esta respuesta. Supongo que este segundo es lo que estás buscando.

Otro término que me topé mientras realizaba la búsqueda de Google mencionada anteriormente, es el término programación de datos de datos genéricos. Esto es un proyecto de investigación Eso se extendió de 2003 a 2006 que tiene como objetivo crear un nuevo mecanismo para escribir programas que parametrizan sobre los tipos mucho más lejos, lo que sea posible hoy con, por ejemplo, el polimorfismo paramétrico en Haskell o plantillas en C ++.