タグ付けされた質問 「hindley-milner」

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

851 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

私はこの用語Hindley-Milnerに出会いましたが、それが何を意味するのか把握できていません。 次の投稿を読みました。 Steve Yegge- 動的言語の反撃 Steve Yegge- ピノキオ問題 Daniel Spiewak- Hindley-Milnerとは何ですか？（そして、なぜそれがクールなのですか？） しかし、ウィキペディアにはこの用語の単一のエントリはなく、通常は私に簡潔な説明を提供します。 注-1つが追加されました それは何ですか？ それを実装または使用する言語とツールは何ですか？ 簡潔な答えを教えていただけませんか？

124 functional-programming  types  inference  hindley-milner