6
Hindley-Milnerのどの部分を理解していないのですか？
私はかつて不滅の言葉をフィーチャーした販売用のTシャツがあったことを誓います： のどの部分 分かりませんか？ 私の場合、答えは...すべてです！ 特に、Haskellの論文ではこのような表記がよく見られますが、その意味がわかりません。それがどういう数学の分野になるのか私にはわからない。 もちろんギリシャ語のアルファベットの文字と「∉」などの記号を認識します（これは通常、何かがセットの要素ではないことを意味します）。 一方、「⊢」は今まで見たことがありません（Wikipediaは「パーティション」を意味する可能性があると主張しています）。ここでのビンキュラムの使用についてもよく知りません。（通常は、分数を表し、それはしません表示され、ここでケースのように。） このシンボルの海が何を意味するのかを理解するためにどこから始めればよいかを誰かが少なくとも教えてくれれば、それは役に立ちます。