Last Updated：2025/12/07
Students learning functional programming often encounter the Hindley-Milner type system when studying type inference.
See correct answer
Students learning functional programming often encounter the Hindley-Milner type system when studying type inference.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
関数型プログラミングを学ぶ学生は、型推論を学ぶ際に、ラムダ計算のための古典的な型システムでパラメトリック多相性を備え、完全性で知られ、プログラマが型注釈を与えなくても与えられたプログラムの最も一般的な型を推論できるものによく出会います。
