Programação do Datatype

Question

Conheço a programação "imperativa" e "funcional", mas havia pouco que eu pudesse encontrar na programação "Datatype". Existe uma coisa dessas e como está relacionada aos outros paradigmas?

Answer 1

Eu nunca ouvi falar desse termo. O Google também não. (O único sucesso é essa questão.)

A coisa mais próxima que consigo pensar é Programação tipoful, que é um paradigma de programação introduzido por Luca Cardelli em 1989 papel pelo mesmo título.

A idéia de programação tipoful é que você usa tipos extensivamente e principalmente para modelar seu domínio, conduzir seu design, estruturar seu programa e, em geral Na programação funcional, cláusulas na programação lógica, processos em Erlang e assim por diante. Este é um estilo típico em Haskell.

Editar: Eu não tinha visto seus comentários sobre a pergunta, quando escrevi esta resposta. Eu acho que este segundo é o que você está procurando.

Outro termo que eu me deparei enquanto fazia a pesquisa no Google acima mencionado é o termo Programação genérica do Datatype. Isto é um projeto de pesquisa Isso ocorreu de 2003 a 2006, que visa criar um novo mecanismo para escrever programas que parametrem sobre os tipos muito mais, o que é hoje com, digamos, polimorfismo paramétrico em Haskell ou modelos em C ++.