Key facts
- Paradigm
- Multi-paradigm : functional , generic , imperative , interactive
- Designed by
- Robin Milner , others at the University of Edinburgh
- First appeared
- 1973 ; 53 years ago ( 1973 )
- Typing discipline
- Inferred , static , strong
via Wikipedia infobox
Wikidata facts
- Instance of
- functional programming language
- Developer
- Robin Milner
- Designed by
- Robin Milner
Show 5 more facts
- programming paradigm
- procedural programming
- influenced by
- ISWIM
- inception
- 1973-01-01
- topic's main category
- Category:ML programming language family
- typing discipline
- strong typing
Sources (3)
via Wikidata · CC0
Article · 日本語
ML（えむえる、Meta-Language）は、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。
Abstract from DBpedia / Wikipedia · CC BY-SA