ML (プログラミング言語)ウィキペディア フリーな encyclopedia ML(えむえる、Meta-Language)は、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。 概要 パラダイム, 登場時期 ...MLパラダイム 手続き型プログラミング、関数型プログラミング、命令型プログラミング 登場時期 1973年 (51年前) (1973)設計者 ロビン・ミルナーおよびその他のエディンバラ大学の人物開発者 ロビン・ミルナー 型付け 型推論をもつ、強い静的型付け方言 SML, OCaml影響を受けた言語 ISWIM 影響を与えた言語 F#,Miranda, Haskell, Cyclone, Nemerleテンプレートを表示閉じる
ML(えむえる、Meta-Language)は、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。 概要 パラダイム, 登場時期 ...MLパラダイム 手続き型プログラミング、関数型プログラミング、命令型プログラミング 登場時期 1973年 (51年前) (1973)設計者 ロビン・ミルナーおよびその他のエディンバラ大学の人物開発者 ロビン・ミルナー 型付け 型推論をもつ、強い静的型付け方言 SML, OCaml影響を受けた言語 ISWIM 影響を与えた言語 F#,Miranda, Haskell, Cyclone, Nemerleテンプレートを表示閉じる