絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：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.

関数型プログラミングを学ぶ学生は、型推論を学ぶ際に、ラムダ計算のための古典的な型システムでパラメトリック多相性を備え、完全性で知られ、プログラマが型注釈を与えなくても与えられたプログラムの最も一般的な型を推論できるものによく出会います。