forall表記：ピリオド/ドットはどういう意味ですか？

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

単なるセパレータですか？

2017-09-09 M. Walker

"単なるセパレータですか？"はい。 –

これは低い優先順位です。それ以降のすべてのものをカッコで括る必要はありません.... –

はい、それは単なる構文的なセパレータです。ラムダ式の->のように、変数宣言と変数の使用を区別します。それは「ここでバインダーを終わらせる」という意味です。私は、言語設計者が.に行ったのは22文字短いためだと思います。

2017-09-09 23:45:04

数学の他の通常の記法は、プログラミングのためにかなり厄介です。 'forall a（Num a => a - > a）'と 'forall a：Num a => a - > a - > a 'となる。これは私たちに '.'を残します。 – rightfold

@rightfold '：'はそれほど悪くはないと思います。 –

無知な意見ですが、私は '' ... ''が好きです... –

答えて