forall 表示法：句点/点是什么意思？

Question

句点/点是什么意思？

forall a. Num a => a -> a -> a

它只是一个分隔符吗？

Answer 1

是的，它只是一个句法分隔符。它将变量声明与变量使用分开，就像 lambda 表达式中的 -> 一样。意思是"Here endeth the binders"。我想语言设计者选择 . 是因为它短了 22 个字符。