Question

我最近注意到在函数声明中的函数名之前允许使用类型变量。但我看不出它是如何使用的。以下是使用它的一些示例：

Poly/ML 5.5.2 Release
> fun 'a print a = PolyML.print (a);
val print = fn: 'a -> 'a
> print "foo";
?
val it = "foo": string
> pint string "foo";
Error-Value or constructor (string) has not been declared
Found near print string "foo"
Static Errors
> string print "foo";
Error-Value or constructor (string) has not been declared
Found near string print "foo"
Static Errors
> val f : string -> string = print;
val f = fn: string -> string
> f "foo";
?
val it = "foo": string

所以基于此我有几个问题。首先，在函数名之前的类型变量的用例的一个很好的例子是什么（与参数或返回类型签名中更常见的类型变量相对）。另外，有没有办法表明我想专门研究类型的类型？：

> type 'a t = 'a list;
eqtype 'a t
> type f = string t;
type f = string t

我确实通过创建一个带有显式类型签名的新变量val f来声明专门化，但我不认为这是同一件事。例如，来自上面的类型示例我希望能够做到这一点：

> val s = string print;
Error-Value or constructor (string) has not been declared Found near string print
Static Errors

但那失败了。

最后，为什么类型变量隐藏了函数内部参数的类型？我只是猜测这种情况发生了，因为PolyML.print函数会打印一个问号（表示它不知道类型）而不是实际值。即使我声明新函数f明确约束了类型，它仍然不知道传递的变量的类型。（虽然我非常确定这个特定部分与函数上的初始类型变量无关，而是与参数a上的（隐式）类型变量无关。）

Answer 1

在fun之后立即使用类型变量的想法是它后续使用类型变量。考虑

之间的差异

> fun f x =
# let
#     fun I (y:'a): 'a = y
# in
#     I I
# end;
val f = fn: 'a -> 'b -> 'b

和

> fun 'a f x =
# let
#     fun I (y:'a): 'a = y
# in
#     I I
# end;
Type error in function application.
   Function: I : 'a -> 'a
   Argument: I : 'a -> 'a
   Reason:
      Can't unify 'a to 'a -> 'a (Cannot unify with explicit type variable)

第一次类型检查，因为I的一般用法可以专门用于不同类型。第二个问题并不是因为通过确定类型变量的范围你所说的I在这个级别上不应该是通用的。您已经说过，您希望'a内所有f出现的内容都相同。

ML具有单独的值和类型的名称空间，以及不同类型的模块。 string被定义为一种类型，但如果您在预期值的上下文中使用此标识符，则它将是未定义的。您需要添加类型约束，例如: string -> string

最后，请注意使用PolyML.print作为示例。它不是普通的ML多态函数，而是一个无限重载函数，它根据编译时的类型信息打印其参数。它是Poly / ML扩展，这就是为什么它在PolyML结构中，尽管print出现在标准ML的早期草案中。

在函数名称和结果范围限制之前键入变量

1 个答案: