Hindley-Milner type system
(computing theory) A classical type system for the lambda calculus with parametric polymorphism, notable for its completeness and its ability to infer the most general type of a given program without programmer-supplied type annotations or other hints.
計算理論におけるラムダ計算のための伝統的な型システムで、パラメトリック多相性を備えています。プログラマが型注釈などを明示的に与えなくても、プログラムの最も一般的な型（最も広い型）を自動的に推論できることが特徴です。
（ 複数形 ）
復習用の問題
(computing theory) A classical type system for the lambda calculus with parametric polymorphism, notable for its completeness and its ability to infer the most general type of a given program without programmer-supplied type annotations or other hints.
Hindley-Milner type system
Students learning functional programming often encounter the Hindley-Milner type system when studying type inference.
Students learning functional programming often encounter the Hindley-Milner type system when studying type inference.
英語 - 多言語
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
