Differences between version 22 and revision by previous author of ML.
Other diffs: Previous Major Revision, Previous Revision, or view the Annotated Edit History
| Newer page: | version 22 | Last edited on Sunday, October 26, 2003 7:16:28 am | by AristotlePagaltzis | Revert |
| Older page: | version 21 | Last edited on Friday, September 12, 2003 7:06:47 pm | by GlynWebster | Revert |
@@ -1,9 +1,9 @@
-__ML__ is a family of StaticallyTyped [FunctionalLanguage]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 open source 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 FunctionalProgramming 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 open source 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.
+[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:
+!!!An example of [
ML]
code:
__fun__ interpret_functionally (program : opcode list) : unit =
(* Interprets a parsed [Brainf*ck] program using integers
on a strip of TuringMachine tape as the memory. *)
@@ -28,4 +28,7 @@
ignore (step_sequence(fresh_tape, program))
__end__
(This is in SML.)
+
+----
+CategoryProgrammingLanguages, CategoryFunctionalProgrammingLanguages
