DiQt
団体様向け
ログイン
ホーム
辞書
英語 - 英語
Hindley-Milner.
検索結果- 英語 - 英語
検索内容:
Hindley-Milner.
Hindley-Milner type systems
noun
plural
of
Hindley-Milner
type
system
意味を覚える
単語を覚える
Hindley-Milner
type
systems
are
widely
used
in
programming
languages.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
Hindley-Milner type system
noun
(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.
意味を覚える
単語を覚える
The
Hindley-Milner
type
system
is
a
type
inference
algorithm
used
in
programming
languages.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
Webで検索する
英語 - 英語
項目
項目(1182732)
項目を追加する
項目の編集履歴(12)
項目の審査中の編集(1)
例文
例文 (1692487)
例文を追加する
例文の編集履歴(19)
その他
編集者 (21)
編集ガイドライン
クレジット
ログイン / 新規登録
ログイン
ログイン
メールアドレス
パスワード
ログイン情報を記憶する
パスワードを忘れましたか?
────
or
────
Googleで続ける
Appleで続ける
アカウントを持っていませんか?
新規登録
新規登録
新規登録
名前
メールアドレス
パスワード
────
or
────
Googleで続ける
Appleで続ける
アカウントを持っていますか?
ログイン
アプリをダウンロード!
DiQt(ディクト)
無料
★★★★★
★★★★★