Forall notation：期間/點是什麼意思？

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

是它只是一個分隔符？

2017-09-09 M. Walker

「它只是一個分隔符？」是的。 –

並在那個低優先級。比在所有東西之後用括號括起來更好...... –

是的，它只是一個句法分隔符。它將變量聲明與變量用法分開，就像在lambda表達式中的->一樣。它的意思是「這裏粘結劑」。我想語言設計師去了.，因爲它縮短了22個字符。

2017-09-09 23:45:04

數學中的其他常用符號對編程來說相當麻煩：''' a => a - > a - > a'。這給我們留下了'.'。 – rightfold

@rightfold'：'不會那麼糟糕，我想 –

一個無知的意見，但我喜歡''：''更好... –

回答