Differences between version 12 and predecessor to the previous major change of ML.
Other diffs: Previous Revision, Previous Author, or view the Annotated Edit History
| Newer page: | version 12 | Last edited on Sunday, February 16, 2003 1:03:24 am | by PerryLorier | Revert |
| Older page: | version 10 | Last edited on Saturday, February 15, 2003 11:58:12 pm | by GianPerrone | Revert |
@@ -1,10 +1,11 @@
''(I'm still working on this, so some parts will still be gibberish. --GlynWebster)'' %%%
-''(And I may be wandering off into little tutorials where I don't need to. What do you think? --GlynWebster)''
+''(And I may be wandering off into little tutorials where I don't need to. What do you think? --GlynWebster)''%%%
+''(Tutorial's are good, this is supposed to be an interesting place to go and learn stuff from, however, not all these concepts are exclusively ML, for instance StaticallyTyped, HigherOrder, PolyMorphic, Functional, Standardi__s__edLanguage, are all attributes of other programming languages too, breaking these out into their own pages would be educational no? -- PerryLorier
)''
!!!ML in one paragraph, with buzzwords:
-ML is a family of statically typed
[1], higher-order[2], polymorphic[3], strict[4] functional programming languages with a higher-order module system[5]. ML is very good general purpose programming language[6] with a strength in pattern matching[7]. ML can
+ML is a family of StaticallyTyped
[1], higher-order[2], polymorphic[3], strict[4] functional programming languages with a higher-order module system[5]. ML is very good general purpose programming language[6] with a strength in pattern matching[7]. 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 standardized language[8] with several implementations[9]. Ocaml has a single open source implementation[10],
it extends ML with an OOP system[11]. Both major dialects have compilers that produce native code that rivals the speed of C++, and extensive standard[12] and third-party[13] libraries.
''(Click a footnote for more info.)''
@@ -38,14 +39,9 @@
(This is in SML. The following examples will be in Ocaml.)
----
-[1]
-!!!Static Typing
-
-ML does all its type checking at compile time.
ML can determine a variable's type by analyzing how it is used: you only need to declare types in places where you think it improves your code's clarity.
-
-''The other approach to type checking is "dynamic typing". Types are associated with values, and programs are left to do their own type checking at run time. [Perl], [Python], and [Scheme] (a language that semantically similar to ML in other respects) are dynamically typed.''
+[1] ML can determine a variable's type by analyzing how it is used: you only need to declare types in places where you think it improves your code's clarity.
[2]
!!!Polymorphism
