Differences between current version and previous revision of ML.
Other diffs: Previous Major Revision, Previous Author, or view the Annotated Edit History
| Newer page: | version 25 | Last edited on Tuesday, November 9, 2004 1:13:56 am | by AristotlePagaltzis | |
| Older page: | version 24 | Last edited on Tuesday, November 9, 2004 1:13:32 am | by AristotlePagaltzis | Revert |
@@ -1,5 +1,5 @@
-__ML__ is a family of StaticallyTyped functional programming languages
with StrictEvaluation, PolymorphicTypes, HigherOrderFunctions, a higher-order module system. [ML] can be used interactively for learning, experimentation and testing, or it can be compiled. The two major dialects of [ML] are [OCaml] and [SML]. [SML] is a standardised language with several implementations. [OCaml] has a single OpenSource implementation, it extends [ML] with an [OOP] system. Both major dialects have compilers that produce native code that rival the speed of [C++], and extensive standard and third-party libraries.
+__ML__ is a family of StaticallyTyped functional ProgrammingLanguage~s
with StrictEvaluation, PolymorphicTypes, HigherOrderFunctions, a higher-order module system. [ML] can be used interactively for learning, experimentation and testing, or it can be compiled. The two major dialects of [ML] are [OCaml] and [SML]. [SML] is a standardised language with several implementations. [OCaml] has a single OpenSource implementation, it extends [ML] with an [OOP] system. Both major dialects have compilers that produce native code that rival the speed of [C++], and extensive standard and third-party libraries.
[Why YOU want to program in ML | http://www.schizomaniac.net/ml.html] gives you a tour of the features of [ML] that make it a good general-purpose programming language. It talks about [SML], but what it says applies to [OCaml] as well.
!!!An example of [ML] code:
