更高阶的多态性+值类型

Question

我读过一个地方，更高阶多态性不能在值类型为（如.NET）的类型系统中使用/实现。这是对的吗？为什么？

Answer 1

问题与价值表示。

传统的高阶多态语言已经做出了简化的选择，即所有的值都以统一的方式表示，通常是一个单词，用一些巧妙的标记来表示它是直接整数还是指向具有公共结构的指针用于所有其他值（如数据结构或函数）的表示（某些标记等）。

如果您有这个假设，您可以编译每个多态函数一次，并将其用于所有类型的所有参数：它们具有编译函数假定的表示形式。

现在说你抛出类型与其他表示，例如。在堆栈上连续几个字。你不能再使用你的单一编译函数，因为它会期望一个单词，所以调用约定是不正确的。东西坏了。

这个问题可以通过各种方式，如：

• 通的价值观对他们表示了一些信息一起（你可以考虑这些信息是一种运行时的“类型”的信息，但实际上你不需要完整的类型信息，只需要一些关于表示的信息）;这是什么TILT编译器探索例如

• 尝试编译你的多态函数的几个专门版本的每一个可能的代表性，再决定（也可根据各种各样的标签，或者一些静态资料）的版本打电话。对于像MLton这样的整个程序优化方案来说这可能是合理的。这或多或少是第一个想法的呼叫者选择（而不是被动选择）版本。

• 使用类系统限制多态性来区分“单词类型”，“元组类型”。除了“全部类型”的通常多态性外，您将拥有一个相对版本“适用于所有类型的此类...”。这允许程序员静态地推断哪个函数可以接受哪种类型的参数（“ow，这个函数是多态的，所以我必须在这里填入我的值类型”），而不是希望编译器能够正确地获得强制，但是这也是使系统更重：你不能保持一致性的幻觉。

简而言之，组合（某种形式）的多态与丰富的数据表示选择是可能的，但比统一表示形式更困难。

Answer 2

不，这是不正确的。您可以通过将参数类型定义为泛型或类型object（值类型将自动“装箱”到对象中）来实现“高阶多态性”（函数在所有类型上表现均匀）