Types 什么样的隐喻最能描述'；价值'；和'；键入'；？

我正试图画一幅漫画，准确地解释“价值”和“类型”，但我遇到了一个大问题：人们使用“类型”这个词与“价值”这个词的方式让我发疯。我一直在阅读各种隐喻的定义：

“类型”是属性的空壳，“值”是填充它的内容

“类型”是构建“值”的工厂

“类型”是创建“值”的工厂的蓝图

“类型”是告诉“值”可以做什么的规则手册

“类型”是已内置固有属性的“值”的标识标签

“类型”是指“价值观”在被召集到程序中之前就存在的组织机构

更糟糕的是，我一直听到“Type”用作形容词“Typed”，这让我更加困惑：Type不是名词吗？另外，每当有人使用这个术语时，感觉有多种定义和上下文。我觉得要解释什么是“类型”是不可能的，除非人们对细节变得非常挑剔

我不知道该在哪里问这个问题，但我已经连续读了好几天没有合理的答案。我应该如何形象化“类型”，以及它与“值”的关系？在我的6种解释中，人们最不挑剔的是哪一种？我的头现在真的很痛

---

我的漫画将用Python解释这些概念，但根据答案，我可以尝试以语言中立的方式解释编程概念。

类型就像一支运动队，值就像它的一名球员。纽约尼克斯队只是一个标志，一件球衣，一套颜色，一个名字。一个球员穿上那件球衣，代表那支球队，才能使尼克斯队成为有价值的球队（双关语）。如果尼克斯是一种类型，帕特里克·尤因就是它的价值之一。

换句话说，一种类型就是一种价值所属的品牌？类型是否赋予了价值其属性？或者该值是否已经具有属性，并且类型只是识别它们？如果你想从品牌的角度考虑，比如苹果、宝马、工匠，类型更像是特定的型号，比如iPhone 7、335i、无绳钻。OOP（面向对象编程）中的类型可以是单个属性，如整数或布尔值（true/false），也可以是属性集合，如您创建的名为

Dragon

的自定义类，其名称可能有字符串属性，年龄可能有整数属性，等等。这个比喻很有效，因为宝马M4比牙签复杂得多，但两者都是类型。至于值，你在路上看到的每一个物理宝马M4和盒子里的每一个牙签都是各自类型的值。亨利有一辆宝马M4型的车，那辆红色的车就是它的价值。值填充属性，但属性通过定义其类型来确定允许的值类型。如果只有一个属性，那么这就是类型——比如牙签或整数。如果有多个属性，那么这个集合就是这个类型——就像一辆汽车或一个具有多个属性的类。宝马M4是一个很好的方式来考虑类型，因为M4本身就是一个类型，宝马工厂生产的每个单元都是这个类型的值。但M4本身由许多其他类型组成，如轮胎、座椅、凸轮轴、催化转化器等。为什么催化转化器是一种类型？因为它在工厂里被冲压出来，并被用于许多其他类型的汽车。催化转化器本身也由许多类型组成，如金属外壳和微粒过滤器。如果转换器需要两个过滤器，就像M4可能需要的那样，你可以说转换器的过滤器类型的值为2。那么整数和浮点数呢？它们可能是类型，但其中的值看起来可能有很大差异。比如，1、67、34等属于整数类型，但在我看来，它们看起来像整数的不同模型，即使它们属于同一类型。这就是为什么我把你的帖子读成是品牌而不是模特。