曾经有人在SML中向我展示了一个小技巧,他们在他们的REPL中写出了大约3或4个函数,最后一个值的结果类型非常长(就像许多页面滚动一样长).
有谁知道什么代码生成这么长的类型,或者是否有这种行为的名称？
functional-programming type-inference ml sml hindley-milner
functional-programming ×1
hindley-milner ×1
ml ×1
sml ×1
type-inference ×1