Talk:ML (programming language)

	This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing
???	This article has not yet received a rating on the project's importance scale.

Template:Findsourcesnotice

ML vs. SML vs. ML family

The article mixes ML the language and ML the language family. Standard ML already has its own article. What are references to the original ML language (definition, syntax, semantics, usage, ..)? —Preceding unsigned comment added by Joswig (talk • contribs) 20:22, 15 February 2009 (UTC)[reply]

Example

Can someone conversant in ML fix the example? It is a cut a paste from the Haskell article and contains some obvious errors. For example, there is reference made to the "third line" but the example is only two lines. Osmodiar 18:55, 13 January 2006 (UTC)[reply]

What's wrong with Basic?

It's simplistic and inexpressive. But Talk:BASIC is the correct place to discuss that. — Haeleth Talk 21:50, 7 June 2006 (UTC)[reply]

Why is SML/NJ categorised under imperative programming languages?

Because it's possible to write a 100% imperative program in it. :)

It is also categorised under functional programming languages: "ML language family" is a subcategory of "Functional languages", so everything in it is automatically considered functional. — Haeleth Talk 08:29, 25 July 2006 (UTC)[reply]

Overview

The first line has a grammatical error. Since I don't know enough about the subject matter I'm unable to fix it. But the "and therefore..." clause is an incomplete sentence. 68.36.46.101 01:55, 19 October 2007 (UTC)[reply]

Stuff removed from Boolean data type article

The following section was removed from the article Boolean data type:
begin removed text

Like Ocaml, ML has a bool type that has true and false values. For example:

- fun isittrue x = if x then "YES" else "NO" ;
> val isittrue = fn : bool -> string
- isittrue true;
> val it = "YES" : string
- isittrue false;
> val it = "NO" : string
- isittrue (8=8);
> val it = "YES" : string
- isittrue (7=5);
> val it = "NO" : string

end removed text
Is there a place for this text in the ML-related articles? Perhaps in the Wikibook? Thanks, and all the best, --Jorge Stolfi (talk) 23:47, 30 December 2009 (UTC)[reply]

ML possibly incorrectly marked as imperative

ML is a declarative language (source: ^[1] Page 13) as opposed to imperative as per the information on the wiki page.

References

^ al.], Alfred V. Aho ... [et (2006). Compilers : principles, techniques, & tools (2nd ed. ed.). Boston, Mass.: Pearson Addison-Wesley. ISBN 0321486811. {{cite book}}: |edition= has extra text (help)

Fun fac...

Are they seriously demonstrating the factorial function and *not* calling it "fun fact"? We need to change that on the double. Can I get an amen? — Preceding unsigned comment added by 206.21.122.76 (talk) 07:39, 4 December 2013 (UTC)[reply]

ML isn't Standard ML

The original ML was quite a different language. Type inference has always been a part of ML but there was no pattern matching, records, modules, or datatype declarations. I wouldn't expect to read BCPL and find examples written in C++11 either. Cooksbard90 (talk) 20:42, 7 March 2015 (UTC)[reply]

[1] .], Alfred V. Aho ... [et (2006). Compilers : principles, techniques, & tools (2nd ed. ed.). Boston, Mass.: Pearson Addison-Wesley. ISBN 0321486811. {{cite book}}: |edition= has extra text (help)

[1]