Category:Standard ML: Difference between revisions

From Rosetta Code
Content added Content deleted
mNo edit summary
No edit summary
 
(30 intermediate revisions by 12 users not shown)
Line 1: Line 1:
{{language
[http://joperan.org/data/teseo-contro/ teseo contro il minotauro] [http://veggis.org.cn/resources/articles/sardegna-badesi.htm sardegna badesi] [http://veggis.org.cn/resources/articles/immagini-di.htm immagini di animali] [http://polex.com.cn/resources/articles/sigma-apo.htm sigma apo 70-200 f 2 8] [http://wedner.info/content/view/i-cinque.htm i cinque draghi doro] [http://manoke.cn/topic/non-piangere/ non piangere stasera] [http://polex.com.cn/resources/articles/ragazzo-novi.htm ragazzo novi ligure] [http://svike.info/view/new/lo-strano.htm lo strano percosso] [http://manoke.cn/topic/fetishbank/ fetishbank] [http://soler.net.cn/data/canon-wpdc.htm canon wp-dc40] [http://wedner.info/content/view/logisty-videosorveglianza.htm logisty videosorveglianza allarmi] [http://veggis.org.cn/resources/articles/what-u.htm what u get is what u c] [http://budget7i.info/lib/charrito-negro/ charrito negro] [http://svike.info/view/new/rider-tomtom.htm rider tomtom navigatori gps] [http://klohy.info/img/styles/sicily-parfume.htm sicily parfume] [http://xionny.cn/topic/la-donna/ la donna ideale] [http://veggis.org.cn/resources/articles/www-nazisti.htm www nazisti] [http://polex.com.cn/resources/articles/batteria-ioni.htm batteria ioni di litio] [http://joperan.org/data/azione-immediata/ azione immediata] [http://xionny.cn/topic/kingston-mmc/ kingston mmc rs] [http://funkall.us/images/small/caught-in/ caught in a middle] [http://veggis.org.cn/resources/articles/maglia-cofidis.htm maglia cofidis] [http://soler.net.cn/data/media-express.htm media express] [http://veggis.org.cn/resources/articles/range-rover.htm range rover] [http://joperan.org/data/psion-netbook/ psion netbook pro] [http://funkall.us/images/small/profumo-chopard/ profumo chopard] [http://primonona.info/content/view/montague-charles/ montague, charles edward] [http://xionny.cn/topic/immagini-ragazze/ immagini ragazze nude gratis] [http://wedner.info/content/view/enpacl.htm enpacl] [http://polex.com.cn/resources/articles/papa-winnie.htm papa winnie] [http://budget7i.info/lib/valery-gergiev/ valery gergiev] [http://funkall.us/images/small/piscina-di/ piscina di antegnate] [http://soler.net.cn/data/ram-memoria.htm ram memoria 168 pin] [http://veggis.org.cn/resources/articles/then-comes.htm then comes the sun] [http://svike.info/view/new/kiangsu.htm kiangsu] [http://polex.com.cn/resources/articles/spiller-groovejet.htm spiller groovejet] [http://svike.info/view/new/maren-ord.htm maren ord] [http://primonona.info/content/view/capannori/ capannori] [http://xionny.cn/topic/plasmon/ plasmon 2] [http://wedner.info/content/view/batteria-acer.htm batteria acer 200] [http://klohy.info/img/styles/mg-zr.htm mg zr 160] [http://sneck.info/data/we-re/ we re not gonna take it] [http://polex.com.cn/resources/articles/guerrieri-in.htm guerrieri in smoking] [http://primonona.info/content/view/x-men/ x men2] [http://joperan.org/data/philips-jukebox/ philips jukebox mp3 hdd-100] [http://svike.info/view/new/department-diamonds.htm department diamonds milano] [http://manoke.cn/topic/era-di/ era di maggio] [http://funkall.us/images/small/macchine-fotografiche/ macchine fotografiche digitale batteria] [http://xionny.cn/topic/gsmk-cryptophone/ gsmk cryptophone 200] [http://klohy.info/img/styles/trolley-.htm trolley 4 ruote] [http://soler.net.cn/data/le-son.htm le son qui tu] [http://xionny.cn/topic/batteria-cellulare/ batteria cellulare panasonic] [http://polex.com.cn/resources/articles/lex-steele.htm lex steele] [http://veggis.org.cn/resources/articles/sulla-neve.htm sulla neve] [http://veggis.org.cn/resources/articles/lamarck-jeanbaptistepierre.htm lamarck, jean-baptiste-pierre...] [http://joperan.org/data/immagini-video/ immagini video gena lee nolin] [http://polex.com.cn/resources/articles/pine-island.htm pine island bay] [http://primonona.info/content/view/templo/ templo] [http://svike.info/view/new/climatizzatore-fisso.htm climatizzatore fisso classe a] [http://joperan.org/data/phaser/ phaser 8500] [http://funkall.us/images/small/xpeople-org/ xpeople org] [http://soler.net.cn/data/je-ta.htm je ta promiss] [http://xionny.cn/topic/vacanze-italia/ vacanze italia club] [http://manoke.cn/topic/mini-inferno/ mini inferno] [http://wedner.info/content/view/williams-angel.htm williams angel] [http://klohy.info/img/styles/elton-jhon.htm elton jhon sacrifice] [http://polex.com.cn/resources/articles/dj-jean.htm dj jean] [http://soler.net.cn/data/sastre.htm sastre] [http://wedner.info/content/view/anthony-perkins.htm anthony perkins] [http://veggis.org.cn/resources/articles/risuscito.htm risuscito] [http://primonona.info/content/view/club-bologna/ club bologna] [http://funkall.us/images/small/macchina-delle/ macchina delle bolle] [http://polex.com.cn/resources/articles/mouse-laser.htm mouse laser logitech mx 1000] [http://primonona.info/content/view/ragazzo-ciampino/ ragazzo ciampino] [http://joperan.org/data/the-reason/ the reason] [http://polex.com.cn/resources/articles/grennday.htm grennday] [http://manoke.cn/topic/ferentino/ ferentino] [http://manoke.cn/topic/ian-brown/ ian brown] [http://manoke.cn/topic/brazil/ brazil] [http://klohy.info/img/styles/brother-dr.htm brother dr 2000] [http://manoke.cn/topic/online-personal/ online personal ads] [http://joperan.org/data/ospedali-salernitani/ ospedali salernitani] [http://soler.net.cn/data/cordless-easy.htm cordless easy telecom] [http://funkall.us/images/small/annuncio-affitto/ annuncio affitto biella] [http://svike.info/view/new/delta-airlines.htm delta airlines] [http://sneck.info/data/telefoni/ telefoni 3] [http://wedner.info/content/view/indirizzi-grandi.htm indirizzi grandi firme] [http://polex.com.cn/resources/articles/www-duncanjames.htm www duncanjames it] [http://soler.net.cn/data/per-niente.htm per niente al mondo] [http://funkall.us/images/small/jayden/ jayden] [http://manoke.cn/topic/pascuale/ pascuale] [http://funkall.us/images/small/samantha-de/ samantha de grene] [http://manoke.cn/topic/cellulare-e/ cellulare e palmare gps gprs] [http://wedner.info/content/view/mohamed-ray.htm mohamed ray] [http://budget7i.info/lib/ddddd/ ddddd] [http://joperan.org/data/dp/ dp 470] [http://sneck.info/data/los-suaves/ los suaves] [http://budget7i.info/lib/tabella-millesimale/ tabella millesimale] [http://primonona.info/content/view/not-easy/ not easy] [http://manoke.cn/topic/the-stone/ the stone roses. the dvd] [http://polex.com.cn/resources/articles/trebol-clan.htm trebol clan lyrics] [http://sneck.info/data/happy-cristhmas/ happy cristhmas] [http://soler.net.cn/data/gazebo-x.htm gazebo 3x4] [http://svike.info/view/new/www-luxemburg.htm www luxemburg ba it] [http://joperan.org/data/patente-c/ patente c] [http://primonona.info/content/view/gommisti-pordenone/ gommisti pordenone] [http://klohy.info/img/styles/moduli-ricorsi.htm moduli ricorsi autovelox] [http://joperan.org/data/toyota-mantova/ toyota mantova] [http://joperan.org/data/corso-cucina/ corso cucina parma provincia] [http://wedner.info/content/view/rodi-libri.htm rodi libri] [http://wedner.info/content/view/proteine-uova.htm proteine uova] [http://wedner.info/content/view/obiettivi-d.htm obiettivi d70] [http://manoke.cn/topic/altalena-per/ altalena per neonati] [http://polex.com.cn/resources/articles/arredamento-giardino.htm arredamento giardino legno] [http://klohy.info/img/styles/toner-oki.htm toner oki c5300] [http://polex.com.cn/resources/articles/offerta-vacanza.htm offerta vacanza egitto] [http://primonona.info/content/view/ordine-di/ ordine di esecuzione] [http://sneck.info/data/visiondtv-sat/ visiondtv sat] [http://xionny.cn/topic/intermezzo-sinfonico/ intermezzo sinfonico] [http://soler.net.cn/data/disagio-giovanile.htm disagio giovanile] [http://klohy.info/img/styles/montature-pisa.htm montature pisa] [http://joperan.org/data/fiat-panda/ fiat panda 1.2] [http://manoke.cn/topic/pentium-/ pentium 4 3 3 ghz] [http://funkall.us/images/small/modello/ modello 730] [http://budget7i.info/lib/tempesta-sul/ tempesta sul nilo] [http://klohy.info/img/styles/dom-perignon.htm dom perignon] [http://klohy.info/img/styles/energia-di.htm energia di combustione] [http://wedner.info/content/view/dix.htm dix] [http://wedner.info/content/view/software-per.htm software per il morphing] [http://veggis.org.cn/resources/articles/norberto-bobbio.htm norberto bobbio] [http://xionny.cn/topic/ingrid-com/ ingrid com] [http://soler.net.cn/data/spetters.htm spetters] [http://sneck.info/data/eric-von/ eric von stroheim] [http://primonona.info/content/view/navigazione-lago/ navigazione lago di como] [http://klohy.info/img/styles/cancion-de.htm cancion de musica perreo] [http://sneck.info/data/tutte-le/ tutte le domande di sonic] [http://sneck.info/data/cinesi-fighe/ cinesi fighe] [http://veggis.org.cn/resources/articles/soluzione-necronomicon.htm soluzione necronomicon] [http://sneck.info/data/geforce-fxle/ geforce fx5700le 256mb] [http://primonona.info/content/view/onkyo-dvd/ onkyo dvd dv-sp500] [http://manoke.cn/topic/financial-times/ financial times] [http://wedner.info/content/view/term-insurance.htm term insurance] [http://primonona.info/content/view/sistemi-informativi/ sistemi informativi integrati] [http://veggis.org.cn/resources/articles/zoom-ottico.htm zoom ottico 6x] [http://veggis.org.cn/resources/articles/garanzia-smart.htm garanzia smart] [http://svike.info/view/new/centro-addestramento.htm centro addestramento cinofilo a padova] [http://klohy.info/img/styles/il-croccodile.htm il croccodile come fa] [http://manoke.cn/topic/kentucky-diga/ kentucky, diga del-] [http://primonona.info/content/view/machinine/ machinine] [http://wedner.info/content/view/caramelito.htm caramelito] [http://soler.net.cn/data/oh-happy.htm oh happy daus] [http://xionny.cn/topic/stay-tommy/ stay tommy vee] [http://manoke.cn/topic/hp/ hp 715] [http://sneck.info/data/armies-exigo/ armies exigo] [http://budget7i.info/lib/www-vigili/ www vigili del fuoco it] [http://svike.info/view/new/www-info.htm www info12 it] [http://xionny.cn/topic/frigoriferi-incasso/ frigoriferi incasso 320] [http://soler.net.cn/data/gennaro-gattuso.htm gennaro gattuso] [http://primonona.info/content/view/omnibook-xe/ omnibook xe] [http://budget7i.info/lib/quando-passavano/ quando passavano i lenti] [http://veggis.org.cn/resources/articles/soluzione-pro.htm soluzione pro evolution soccer] [http://joperan.org/data/anna-frank/ anna frank] [http://xionny.cn/topic/attrezzo-addominale/ attrezzo addominale] [http://joperan.org/data/dvd-video/ dvd video 007] [http://wedner.info/content/view/calamita-doro.htm calamita doro] [http://polex.com.cn/resources/articles/set-manicure.htm set manicure e pedicure] [http://budget7i.info/lib/batteria-per/ batteria per motorola t720i] [http://joperan.org/data/seduzioni/ seduzioni] [http://joperan.org/data/putney-swope/ putney swope] [http://polex.com.cn/resources/articles/vandi-opa.htm vandi opa] [http://svike.info/view/new/interruttore.htm interruttore] [http://funkall.us/images/small/lacie-d/ lacie d2 dvd rw con lightscribe 16x] [http://veggis.org.cn/resources/articles/lavatrice-inox.htm lavatrice inox carica alto] [http://xionny.cn/topic/turlon/ turlon] [http://primonona.info/content/view/the-reasen/ the reasen] [http://sneck.info/data/cavalli-uomo/ cavalli uomo] [http://soler.net.cn/data/suker-per.htm suker per sempre] [http://sneck.info/data/clistere-anale/ clistere anale] [http://funkall.us/images/small/federico-salvatore/ federico salvatore testi] [http://funkall.us/images/small/botta-e/ botta e risposta con le creature impossibili] [http://sneck.info/data/riassunto-giallo/ riassunto giallo alla corte di francia] [http://xionny.cn/topic/monitor-crt/ monitor crt flat 19] [http://budget7i.info/lib/elettrico-off/ elettrico off road] [http://polex.com.cn/resources/articles/telefono-azzurro.htm telefono azzurro] [http://svike.info/view/new/golf-.htm golf 1.6 highline 16v] [http://sneck.info/data/aeroporto-verona/ aeroporto verona] [http://manoke.cn/topic/step-it/ step it up] [http://funkall.us/images/small/www-balli/ www balli latini com] [http://funkall.us/images/small/zena-gang/ zena gang bang] [http://primonona.info/content/view/maisin/ maisin] [http://soler.net.cn/data/nane.htm nane] [http://svike.info/view/new/testi-mondo.htm testi mondo marcio] [http://sneck.info/data/la-regina/ la regina dei fiori] [http://budget7i.info/lib/the-littlest/ the littlest hobo] [http://primonona.info/content/view/video-comici/ video comici moto] [http://joperan.org/data/nokia-/ nokia 6630 auricolare] [http://funkall.us/images/small/il-muro/ il muro dei tifosi] [http://sneck.info/data/rdb-vigili/ rdb vigili] [http://joperan.org/data/mdc/ mdc] [http://manoke.cn/topic/giannina-facio/ giannina facio] [[Category:Solutions by Programming Language]]
|exec=machine
'''Standard ML''' (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.
|strength=strong
|checking=static
|parampass=value
|gc=yes
|express=implicit
|site=http://www.smlnj.org/
}}{{language programming paradigm|functional}}
{{Wikipedia}}
'''Standard ML''' (SML) is a general-purpose, modular, [[functional programming]] language with [[compile-time]] [[type checking]] and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.


SML is a modern descendant of the ML programming language used in the LCF theorem-proving project. It is unique among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and simplified as The Definition of Standard ML (Revised) in 1997).
SML is a modern descendant of the [[derived from::ML]] programming language used in the LCF theorem-proving project. It is unique among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and simplified as The Definition of Standard ML (Revised) in 1997).

==Implementations:==

* [http://en.wikipedia.org/wiki/SML/NJ Standard ML of New Jersey (wikipedia)]: a Princeton compiler and programming environment
* [http://mlton.org/ MLton (mlton.org)]: a whole program optimizing compiler
* [http://www.dina.kvl.dk/~sestoft/mosml.html Moscow ML (dina.kvl.dk)]: a derived codebase from [[Caml Light]]

==Citations==

* [http://en.wikipedia.org/wiki/Standard_ml Wikipedia:Standard ML]

Latest revision as of 03:39, 13 September 2011

Language
Standard ML
This programming language may be used to instruct a computer to perform a task.
Official website
Execution method: Compiled (machine code)
Garbage collected: Yes
Parameter passing methods: By value
Type strength: Strong
Type expression: Implicit
Type checking: Static
See Also:


Listed below are all of the tasks on Rosetta Code which have been solved using Standard ML.
This page uses content from Wikipedia. The original article was at Standard ML. The list of authors can be seen in the page history. As with Rosetta Code, the text of Wikipedia is available under the GNU FDL. (See links for details on variance)

Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.

SML is a modern descendant of the ML programming language used in the LCF theorem-proving project. It is unique among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and simplified as The Definition of Standard ML (Revised) in 1997).

Subcategories

This category has the following 3 subcategories, out of 3 total.

Pages in category "Standard ML"

The following 200 pages are in this category, out of 301 total.

(previous page) (next page)
(previous page) (next page)