Types 数据类型编程

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

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

我能想到的最接近的事情是，这是Luca Cardelli在1989年以同样的标题引入的编程范式

typeful编程的思想是，您广泛使用类型，主要用于对域进行建模、驱动设计、构建程序以及解决问题，就像您在面向对象编程中使用对象、过程编程中使用过程、函数编程中使用函数、逻辑编程中使用子句一样，Erlang中的进程，等等。这是哈斯克尔的典型风格

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

---

我在进行上述谷歌搜索时偶然发现的另一个术语是数据类型泛型编程。这是一个从2003到2006的目标，它旨在创建一个新的机制来编写程序，这些程序可以在参数化的多态性上进一步扩展，比如Haskell中的参数多态性或C++中的模板。

你在哪里听到“数据类型编程”一词？你指的是“强类型”语言吗？为什么投反对票的人？我从来没有听说过“数据类型编程”，但我不会责怪这个家伙听过有人使用这个术语……不，我肯定我听过数据类型编程。我知道类型理论和类型语言，但这有点不同。至少我记得它的用法不同。它是在泛型编程环境中使用的。你确定你听到的是数据类型而不是数据流吗？另外-在“泛型”（如泛型/模板）或“泛型”（如非特定模板）的上下文中？好的，所以我不是在想象事情。我很好奇是否有真正的基于它的编程语言，但从你的回答来看，我想这更像是一种研究性的东西。