最終更新日：2025/12/07
例文
関数型プログラミングを学ぶ学生は、型推論を学ぶ際に、ラムダ計算のための古典的な型システムでパラメトリック多相性を備え、完全性で知られ、プログラマが型注釈を与えなくても与えられたプログラムの最も一般的な型を推論できるものによく出会います。
復習用の問題
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.
音声機能が動作しない場合はこちらをご確認ください
関連する単語
Hindley-Milner type system
名詞
日本語の意味
計算理論におけるラムダ計算のための伝統的な型システムで、パラメトリック多相性を備えています。プログラマが型注釈などを明示的に与えなくても、プログラムの最も一般的な型（最も広い型）を自動的に推論できることが特徴です。
関連語
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
