「ML (プログラミング言語)」の版間の差分
削除された内容 追加された内容
m →概要 |
Haruka Sato (会話 | 投稿記録) 編集の要約なし タグ: 2017年版ソースエディター |
||
7行目:
| dialects = [[Standard ML|SML]], [[OCaml]]
| typing = 型推論をもつ、<br />強い[[静的型付け]]
| influenced = [[F Sharp|F#]],[[Miranda]], [[Haskell]], [[Cyclone]], [[Nemerle]]
}}
'''ML'''（えむえる、Meta-Language）は、[[関数型言語]]のひとつである。現代風の関数型言語としては歴史が古いほうで、[[型推論]]機能などを持つが、デフォルトの[[評価戦略]]は[[遅延評価]]ではなく[[先行評価]]で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。
| |||