翻訳と辞書 Words near each other ・ mit scheme ・ miti ・ mitilac ・ mitre corporation ・ mits ・ mix ・ mix communications ・ mixal ・ mjs ・ mk ・ ml ・ ml kit ・ ml threads ・ ml-2000 ・ ml-lex ・ ml-linda ・ ml-twig ・ ml/i ・ mlab ・ mlisp Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ML ： FOLDOC ML 1. Manipulator Language. IBM language for handling robots. 2. Meta Language. R. Milner et al, 1973. A strict {higher-order} functional language. It was the first language to include polymorphic typing which was statically-checked. It also had garbage collection and a formal semantics. It began as the metalanguage for the Edinburgh LCF proof assistant. (LCF="Logic for Computable Functions") People soon noticed that ML could be a useful general programming language and stand-alone versions were implemented. Standard ML (SML) is a descendant of these (and related languages such as Hope). The "metalanguage" aspect has long since disappeared from the language itself (although there are some systems that still use it that way). The historical name is now so inappropriate that asking what ML stands for is like asking what C or Unix stands for. It doesn't stand for anything; it just is. LCF ML was imple スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.