types - 数据类型编程

Question

我知道“命令式”和“函数式”编程，但在“数据类型”编程方面我几乎找不到。有没有这样的事情，它与其他范式有什么关系？

Answer 1

我从来没有听说过这个词。谷歌也没有。（唯一的问题就是这个问题。）

我能想到的最接近的东西是Typeful Programming，它是 Luca Cardelli 在 1989 年同名论文中介绍的一种编程范式。

类型化编程的想法是，您广泛使用类型，主要用于建模您的领域、驱动您的设计、构建您的程序并通常解决您的问题，就像您在面向对象编程中使用对象、过程编程中的过程、函数一样在函数式编程中，在逻辑编程中的子句，在 Erlang 中的过程等等。这是 Haskell 的典型风格。

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

我在进行上述 Google 搜索时偶然发现的另一个术语是术语datatype-generic programming。这是一个从 2003 年到 2006 年运行的研究项目，旨在创建一种新的机制来编写程序，这些程序可以在今天尽可能地进一步参数化类型，例如 Haskell 中的参数多态性或 C++ 中的模板。