6
您不了解Hindley-Milner的哪一部分？
我发誓曾经有一件不朽的字样出售的T恤： 哪一部分 你不明白吗 就我而言，答案将是……全部！ 特别是，我经常在Haskell论文中看到这样的符号，但是我不知道它的含义。我不知道它应该是数学的哪个分支。 我当然知道希腊字母的字母和诸如“∉”之类的符号（通常表示某些东西不是集合的元素）。 另一方面，我以前从未见过“⊢”（维基百科声称这可能意味着“分区”）。我也不熟悉这里使用的vinculum。（通常情况下，它表示一个级分，但是这并不出现在这里是这种情况。） 如果有人至少可以告诉我从哪里开始寻找理解符号海的含义的方法，那将是有帮助的。