Talk:Standard ML
From Wikipedia, the free encyclopedia
 |
This article is within the scope of WikiProject Computer science. | |
| ??? | This article has not yet received a rating on the assessment scale. | |
| ??? | This article has not yet received an importance rating on the assessment scale. | |
This page currently reads like a list of press releases for various implementations of SML. I'd like to add a bit more history and general background on SML to the top of the page (should get this posted at some point). I'm also thinking of trimming down the current content to a list of implementations, perhaps with no associated text at all (just the links), or maybe with a quick summary of the differences between them. But in its current form it seems no good. -- Vrable 22:39 8 Jul 2003 (UTC)
- Fine by me too. I've been meaning to do so at some point, but haven't gotten around to it yet. The last time I planned to I got distracted by Type polymorphism, and wrote an article about that instead that might be useful to link to from a future article on this page.
- The infopage on SML at the SML/NJ site may be of use as a factual source: http://www.smlnj.org/sml.html --Delirium 02:40 11 Jul 2003 (UTC)
Contents |
[edit] other SMLs?
Moved from the article:
Comment: shouldn't this page also mention SML - simple markup language? (http://xmlhack.com/read.php?item=116)
I don't have any comment (other than to note that the link appears broken). Neilc 04:09, 19 Nov 2004 (UTC)
[edit] Requested move
At the moment, Standard ML is a redirect to SML programming language. Given that SML is just an abbreviation for the official name Standard ML shouldn't that be the other way around? (And shouldn't it be SML (programming language) anyway?) -- Tobias Bergemann 06:09, 6 September 2005 (UTC)
- support. Well, this name seems to be fairly standard on WP for the naming of programming language articles: See Java programming language, C programming language, Scheme programming language, ML programming language, Python programming language, Haskell programming language. But there are some that violate this, like C_plus_plus, Perl, Objective-C, Ocaml. Since the name of the language is officially "Standard ML", and that is unlikely to be an ambiguous title, I think this move makes sense. Go for it! — brighterorange (talk) 13:51, 6 October 2005 (UTC)
Note: I cannot use the move function to rename/move SML programming language to Standard ML: Standard ML, while being a redirect page, has a change history, and so the move requires the assistance of a Wikipedia administrator. -- Tobias Bergemann 16:19, 6 October 2005 (UTC)
The use of the suffix programming language for pages like SML programming language may be a historical relict as this hack was needed on Ward's wiki which required CamelCase for page titles and therefore didn't support titles consisting of a single word. I am surprised to find that this use is apparently mandated by the Wikipedia naming conventions for languages which at the same time mandate the creation of a parenthesed redirect page SML (programming language) so that the pipe trick can still be used. -- Tobias Bergemann 16:04, 6 October 2005 (UTC)
- Based on the conventions page, it seems clear that "Standard ML" would be allowed, since that wouldn't conflict with anything else. The sooner we can get away from holdovers from old-school wiki hacks, the better. ;) — brighterorange (talk) 17:09, 6 October 2005 (UTC)
[edit] Discision
Page moved, have a great day :)! Ryan Norton T | @ | C 12:07, 15 October 2005 (UTC)
[edit] reversal in Haar wavelet example
The Haar wavelet example is nice, but doesn't it get some of the signs wrong? Because it reverses the order with each decomposition level, the differences for every odd decomposition level are wrong. The order reversal itself is also not what one might expect in the result. I think it should be:
- fun haar l =
let fun aux [s] [] d = d @ [s]
| aux [] s d = aux s [] d
| aux (h1::h2::t) s d =
aux t (s @ [h1 + h2]) (d @ [h1 - h2])
| aux _ _ _ = raise Empty
in aux l [] []
end;
val haar = fn : int list -> int list
For example:
- haar [1, 2, 3, 4, ~4, ~3, ~2, ~1]; val it = [~1,~1,~1,~1,~4,~4,20,0] : int list
Joriki 03:43, 20 July 2006 (UTC)
[edit] Other languages with formal specification(?)
It is unique among widely used languages in that it has a formal specification
Is this completely correct? I understand that the R5RS specification for Scheme is highly formal ("The current language standard is only 50 pages, including a denotational semantics for the language core"). Standard Prolog also seems to have a formal semantics, though only in an "informative" annexe of the standard, apparently due to standards politics (see p. VIII of the Front Matter to Prolog: The Standard: Reference Manual, ISBN 978-3540593041). Both of these languages seem to be fairly widely used, at least by the standard of ML if not Java or C. There are also things like XQuery and RDF which have formal specifications but aren't general-purpose programming languages. (And in the future, ECMAScript 4 will apparently use an extended ML as a definitional interpreter.)
It's probably worth underlining that it's the formally specified semantics that make ML exceptional, as of course many programming languages at least have formal (or mostly-formal) grammars.
Finally, simply speaking of a "formal specification" could be misleading here. While of course it means (roughly) "mathematically rigorous specification" here, a reader could plausibly read it as "specification formally ratified by some organisation" - think of ISO standards and the like. --138.251.254.113 02:52, 3 March 2007 (UTC)
