Talk:Standard ML

From Wikipedia, the free encyclopedia

You have new messages (last change).
 This article is part of a WikiProject to improve Wikipedia's articles related to Computer science. For guidelines see WikiProject Computer science and Wikipedia:Contributing FAQ.

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)

Very nice plan! And be bold! :-) --Menchi 02:37 11 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)

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)

Retrieved from "http://en.wikipedia.org../../../s/t/a/Talk%7EStandard_ML_40d9.html"