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

Question

句点/点是什么意思？

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

它只是一个分隔符吗？

Answer 1

是的，它只是一个句法分隔符。它将变量声明与变量用法分开，就像lambda表达式中的->一样。这意味着“在这里努力粘合剂”。我想语言设计师去了.，因为它短了22个字符。