数据类型编程

Question

我知道“势在必行”和“功能”编程，但在“数据类型”编程中几乎找不到。有这样的事情，它与其他范式有何关系？

Answer 1

我从未听说过这个词。 Google也没有。 （唯一的打击是这个问题。）

我能想到的最接近的是 类型的编程, ，这是卢卡·卡德利（Luca Cardelli）在1989年引入的编程范式 纸 以相同的标题。

类型编程的想法是，您可以广泛，主要使用类型来建模域，驱动设计，构建程序并一般解决问题，就像您在对象面向对象的编程中使用对象的方式相同的方式，在过程编程中，功能，功能在功能编程中，逻辑编程中的子句，Erlang的流程等。这是Haskell中的典型风格。

编辑：当我写这个答案时，我没有看过您对问题的评论。我想第二个就是您要寻找的。

我在上述Google搜索时偶然发现的另一个术语是 数据类型形式编程. 。这是一个 研究项目 从2003年到2006年，旨在创建一种新的机制，用于编写程序，该程序在当今的类型上进行进一步参数，例如，在Haskell中的参数多态性或C ++中的模板中的参数多态性。