F# 元组、System.Tuple 和集合 - 类型约束不匹配？

Question

以下代码中的最后两行出现编译器错误？

open System

let s = new System.Collections.Generic.Stack<Tuple<int, int>>()
s.Push( 1, 2) // The type ''a * 'b' is not compatible with the type 'Tuple<int,int>'
s.Push(Tuple.Create(1, 2))

s.Push(Tuple.Create(1, 2))的错误信息

类型约束不匹配。方式
''a * 'b'
与类型不兼容
'元组'
类型 ''a * 'b' 与类型 'Tuple' 不兼容
输入元组 =
静态成员创建: item1:'T1 -> Tuple + 7 重载
全名:System.Tuple

Answer 1

尽管 F# 元组用 System.Tuple 表示在编译形式中，从逻辑语言的角度来看，它们不被视为它的“别名”。
int * int与 System.Tuple<int, int> 不一样就 F# 编译器而言。

只需对 Stack 使用 F# 元组语法通用参数，它将起作用:

let s = new System.Collections.Generic.Stack<int * int>()
s.Push( 1, 2)