English Dictionary

ML

固有名詞

略語 別表記 イニシャリズム マルクス主義

(computing) Initialism of Markup Language. / (computer languages) Initialism of MetaLanguage (the ML programming language) / (linguistics) Initialism of Medieval Latin.

日本語の意味

(コンピューティング) マークアップ言語 (Markup Language) の略。 / (プログラミング言語) MLプログラミング言語におけるメタ言語 (MetaLanguage) の略。 / (言語学) 中世ラテン語 (Medieval Latin) の略。

Our team chose ML as the standard for document formatting across the project.

私たちのチームはプロジェクト全体の文書フォーマットの標準としてマークアップ言語を選びました。

意味（1）

(computing) Initialism of Markup Language.

意味（2）

(computer languages) Initialism of MetaLanguage (the ML programming language)

The Curry and Church approaches to typed lambda calculus correspond to two paradigms in programming. In the first of these a program may be written without typing at all. Then a compiler should check whether a type can be assigned to the program. This will be the case if the program is correct. A well-known example of such a language is ML, see Milner (1984). The style of typing is called 'implicit typing'. The other paradigm in programming is called 'explicit typing' and corresponds to the Church version of typed lambda calculi. Here a program should be written together with its type. For these languages type-checking is usually easier, since no types have to be constructed. Examples of such languages are ALGOL 68 and PASCAL. Some authors designate the Curry systems as 'lambda calculi with type assignment' and the Church systems as 'systems of typed lambda calculus'.

意味（3）

(linguistics) Initialism of Medieval Latin.

意味（4）

(linguistics) Initialism of Middle Latin.

意味（5）

(Marxism) Initialism of Marxism-Leninism.