Category:Standard ML: Difference between revisions

From Rosetta Code
Content added Content deleted
mNo edit summary
No edit summary
 
(38 intermediate revisions by 12 users not shown)
Line 1: Line 1:
{{language
[http://yourorus.somee.com/data/www-razze.htm www razze pecore com] [http://flheddina.t35.com/web/kejt-hajvan/ kejt hajvan] [http://nairoz.somee.com/img/styles/hate-spam/ hate spam] [http://quotes-girl.somee.com/content/view/samsung-pss/ samsung ps42s4] [http://brrezab.freeweb7.com/img/styles/divano-foppapedretti.htm divano foppapedretti] [http://thegoogly.somee.com/view/new/fusar-poli.htm fusar poli margaglio] [http://fawarfo.freeweb7.com/topic/tv-auto.htm tv auto antenne] [http://fawarfo.freeweb7.com/topic/epson-cn.htm epson c2600n] [http://lensman.somee.com/html/powerpoints/ powerpoints] [http://lamcgie.125mb.com/html/bg-e.htm bg e1 canon] [http://am-i-bird.somee.com/img/styles/greene-albert.htm greene, albert gordon] [http://itgurney.t35.com/view/new/bsn/ bsn] [http://nationavce.somee.com/library/html/rich-bicth/ rich bicth] [http://thegoogly.somee.com/view/new/ricetta-vegane.htm ricetta vegane] [http://itgurney.t35.com/view/new/mai-ha/ mai ha hee] [http://quotes-girl.somee.com/content/view/giochi-giaponesi/ giochi giaponesi] [http://de-der.somee.com/library/html/typhoon-my.htm typhoon my guide palmari] [http://am-i-bird.somee.com/img/styles/formato-a.htm formato a3 stampanti laser] [http://betheresa.t35.com/text/directory/liberodiscrivere-it/ liberodiscrivere it] [http://yourorus.somee.com/data/auto-km.htm auto km 0 aziendali renault puglia] [http://nationavce.somee.com/library/html/le-tue/ le tue ali] [http://nationavce.somee.com/library/html/vacanza-campeggio/ vacanza campeggio] [http://lensman.somee.com/html/ragazzo-salzburg/ ragazzo salzburg] [http://viemalin.freeweb7.com/resources/articles/kw-motocross.htm kw motocross] [http://quotes-girl.somee.com/content/view/jade-foret/ jade foret] [http://betheresa.t35.com/text/directory/video-comico/ video comico ufficio] [http://nairoz.somee.com/img/styles/pixma-ip/ pixma ip2000] [http://jedillar.125mb.com/resources/articles/albergo-alessandria/ albergo alessandria] [http://dj-deus.somee.com/lib/lcd-.htm lcd 32 sharp aquos] [http://flheddina.t35.com/web/video-di/ video di one love] [http://fergus-mac.somee.com/description/lib/pc-amd/ pc amd 939] [http://am-i-bird.somee.com/img/styles/barbie-girl.htm barbie girl aqua] [http://dabeutle.t35.com/content/view/gr-dz.htm gr dz7] [http://luallard.t35.com/html/curveball-pin/ curveball pin pong] [http://lakitsmi.freeweb7.com/web/tapete/ tapete] [http://nationavce.somee.com/library/html/sims-/ sims 2 tshirt] [http://peter-land.somee.com/images/small/out-islands.htm out islands cose fare] [http://de-der.somee.com/library/html/la-mia.htm la mia ragazza mena articolo31] [http://nairoz.somee.com/img/styles/leicaflex-sl/ leicaflex sl2] [http://peter-land.somee.com/images/small/trasporto-per.htm trasporto per gatti] [http://davelovesyou.somee.com/library/html/panasonic-dmc/ panasonic dmc f1] [http://nairoz.somee.com/img/styles/didattica-a/ didattica a distanza] [http://flheddina.t35.com/web/bradesco/ bradesco] [http://nationavce.somee.com/library/html/music-codes/ music codes] [http://dabeutle.t35.com/content/view/rifles.htm rifles] [http://madavid.t35.com/html/dieta-a/ dieta a zona] [http://flheddina.t35.com/web/krypta/ krypta 11] [http://yourorus.somee.com/data/masuccio-salernitano.htm masuccio salernitano] [http://yourorus.somee.com/data/hotel-centro.htm hotel centro benessere] [http://nairoz.somee.com/img/styles/vajont/ vajont] [http://trocterli.t35.com/img/styles/forni-ariston/ forni ariston experience] [http://coarmago.freeweb7.com/library/html/matura-in.htm matura in roma] [http://rihelm.125mb.com/img/styles/grave-digger/ grave digger] [http://viemalin.freeweb7.com/resources/articles/kingston-.htm kingston 256 ddr] [http://trocterli.t35.com/img/styles/adidas-stan/ adidas stan smith comf] [http://betheresa.t35.com/text/directory/modugno-omaggio/ modugno omaggio a napoli] [http://fergus-mac.somee.com/description/lib/emanuel/ emanuel] [http://lensman.somee.com/html/computer-cuisine/ computer cuisine deluxe] [http://davelovesyou.somee.com/library/html/profumi-hermes/ profumi hermes after shave] [http://rihelm.125mb.com/img/styles/fuso-orario/ fuso orario australia] [http://madavid.t35.com/html/www-aeiou/ www aeiou pt] [http://fawarfo.freeweb7.com/topic/cassette-per.htm cassette per lettere] [http://luallard.t35.com/html/ps-resident/ ps2 resident evil 4] [http://fergus-mac.somee.com/description/lib/fotocamera-digitale/ fotocamera digitale ultracompatta] [http://quotes-girl.somee.com/content/view/georgie-dan/ georgie dan la barbacoa] [http://jututor.125mb.com/lib/bag-trust/ bag trust] [http://kiboukni.125mb.com/web/consulto-astrologia/ consulto astrologia] [http://ouquaite.freeweb7.com/img/styles/ryden-marc/ ryden marc] [http://brrezab.freeweb7.com/img/styles/franky.htm franky] [http://brrezab.freeweb7.com/img/styles/www-gom.htm www gom net eg] [http://quotes-girl.somee.com/content/view/tuto-anni/ tuto anni 90] [http://lamcgie.t35.com/web/numai-numai.htm numai numai] [http://nationavce.somee.com/library/html/juliana-bbb/ juliana bbb nua] [http://jututor.125mb.com/lib/moto-storiche/ moto storiche garelli] [http://ouquaite.freeweb7.com/img/styles/paola-barale/ paola barale e raz degan foto] [http://madavid.t35.com/html/se/ se...] [http://dj-deus.somee.com/lib/video-de.htm video de jennifer] [http://itgurney.t35.com/view/new/custodia-alan/ custodia alan 507] [http://kiboukni.125mb.com/web/nudisti-al/ nudisti al mare] [http://yourorus.somee.com/data/hotel-in.htm hotel in algiers] [http://davelovesyou.somee.com/library/html/jip/ jip 1000] [http://nairoz.somee.com/img/styles/costa-vale/ costa vale libero it] [http://viemalin.freeweb7.com/resources/articles/klv-hr.htm klv 30hr3] [http://davelovesyou.somee.com/library/html/siemens-telefono/ siemens telefono fisso] [http://luallard.t35.com/html/elenco-magazzini/ elenco magazzini pannelli polistirolo] [http://peter-land.somee.com/images/small/smachdown.htm smachdown] [http://ouquaite.freeweb7.com/img/styles/curva-di/ curva di eulero] [http://flheddina.t35.com/web/immediato-video/ immediato video di san salvador] [http://flheddina.t35.com/web/me/ me2] [http://ouquaite.freeweb7.com/img/styles/macchine-attrezzature/ macchine attrezzature bar] [http://luallard.t35.com/html/calendario-/ calendario 2005 arcuri] [http://de-der.somee.com/library/html/ragazzo-canazei.htm ragazzo canazei] [http://ouquaite.freeweb7.com/img/styles/tv-lcd/ tv lcd majestic] [http://kiboukni.125mb.com/web/dikom/ dikom 7] [http://betheresa.t35.com/text/directory/foto-aerea/ foto aerea padova] [http://coarmago.freeweb7.com/library/html/giancarlo-dani.htm giancarlo dani] [http://quotes-girl.somee.com/content/view/trans-al/ trans al telefono] [http://dj-deus.somee.com/lib/attrezzi-da.htm attrezzi da palestra] [http://dabeutle.t35.com/content/view/vottignasco.htm vottignasco] [http://nairoz.somee.com/img/styles/giochi-di/ giochi di navi] [http://viemalin.freeweb7.com/resources/articles/mexicano-y.htm mexicano y vico c] [http://ouquaite.freeweb7.com/img/styles/dissipatori-athlon/ dissipatori athlon xp] [http://betheresa.t35.com/text/directory/gena-lee/ gena lee nolin video sex] [http://rihelm.125mb.com/img/styles/www-google/ www google be] [http://rihelm.125mb.com/img/styles/idel-j/ idel j] [http://flheddina.t35.com/web/d-p/ d p r n 554 99 art 75 comma 1] [http://dabeutle.t35.com/content/view/breck-out.htm breck out] [http://ouquaite.freeweb7.com/img/styles/sotto-la/ sotto la sabbia] [http://brrezab.freeweb7.com/img/styles/eros-gratus.htm eros gratus] [http://ouquaite.freeweb7.com/img/styles/mini-macchine/ mini macchine super veloci] [http://jututor.125mb.com/lib/graduatorie-insegnanti/ graduatorie insegnanti] [http://nairoz.somee.com/img/styles/liga-dela/ liga dela justicia] [http://lakitsmi.freeweb7.com/web/iomega-gb/ iomega 250gb] [http://yourorus.somee.com/data/canon-ef.htm canon ef 600mm f 4l is usm] [http://betheresa.t35.com/text/directory/just/ just 5] [http://itgurney.t35.com/view/new/annuncio-casa/ annuncio casa nuoro] [http://viemalin.freeweb7.com/resources/articles/nu-ma.htm nu ma uita undeva] [http://rimarsh.t35.com/images/small/xivd-codec.htm xivd codec] [http://rimarsh.t35.com/images/small/xmen.htm x-men] [http://peter-land.somee.com/images/small/canon-mvi.htm canon mv800i] [http://jedillar.125mb.com/resources/articles/sentidos-opuestos/ sentidos opuestos donde estan] [http://betheresa.t35.com/text/directory/hpcompaq-/ hp-compaq - compaq nx6110] [http://luallard.t35.com/html/numb-encore/ numb encore] [http://fergus-mac.somee.com/description/lib/philips-vl/ philips vl1100] [http://fergus-mac.somee.com/description/lib/climatizzatore-delonghi/ climatizzatore delonghi] [http://betheresa.t35.com/text/directory/cerco-a/ cerco a te] [http://lakitsmi.freeweb7.com/web/climatizzatori/ climatizzatori] [http://lakitsmi.freeweb7.com/web/dowload-windows/ dowload windows] [http://jedillar.125mb.com/resources/articles/shadow-of/ shadow of rome] [http://brrezab.freeweb7.com/img/styles/prezzo-albergo.htm prezzo albergo chianciano terme] [http://viemalin.freeweb7.com/resources/articles/snowy-.htm snowy - the bears adventures] [http://lensman.somee.com/html/the-pirates/ the pirates ft shola ama] [http://jedillar.125mb.com/resources/articles/punto/ punto 75] [http://jututor.125mb.com/lib/erredieffe/ erredieffe] [http://lensman.somee.com/html/masterizzatori-liteon/ masterizzatori liteon] [http://lakitsmi.freeweb7.com/web/open-your/ open your eyes] [http://trocterli.t35.com/img/styles/gevara/ gevara] [http://trocterli.t35.com/img/styles/corsa-podistica/ corsa podistica] [http://thegoogly.somee.com/view/new/custodia-in.htm custodia in pelle acer] [http://trocterli.t35.com/img/styles/dragostea-din/ dragostea din tei videclip] [http://nationavce.somee.com/library/html/aciculare/ aciculare] [http://yourorus.somee.com/data/emulatori-giochi.htm emulatori giochi] [http://itgurney.t35.com/view/new/una-data/ una data per football manager 2005] [http://am-i-bird.somee.com/img/styles/fast-furie.htm fast furie] [http://kiboukni.125mb.com/web/staffa-parete/ staffa parete plasma] [http://trocterli.t35.com/img/styles/lego-city/ lego city] [http://dabeutle.t35.com/content/view/fazzari-giuseppe.htm fazzari giuseppe] [http://rimarsh.t35.com/images/small/brother-hln.htm brother hl-2070n] [http://rimarsh.t35.com/images/small/the-sun.htm the sun] [http://madavid.t35.com/html/www-prtc/ www prtc com] [http://davelovesyou.somee.com/library/html/leica-m/ leica m] [http://nationavce.somee.com/library/html/stazione-luna/ stazione luna] [http://jututor.125mb.com/lib/hotel-cambridge/ hotel cambridge] [http://trocterli.t35.com/img/styles/sky-titanium/ sky titanium] [http://am-i-bird.somee.com/img/styles/f.htm f420] [http://lensman.somee.com/html/una-lunga/ una lunga storia d amore di gino paoli] [http://am-i-bird.somee.com/img/styles/noi-noi.htm noi noi noi] [http://dj-deus.somee.com/lib/poggio-verezzi.htm poggio verezzi] [http://madavid.t35.com/html/stabiliamo-un/ stabiliamo un contatto] [http://nairoz.somee.com/img/styles/bmw-/ bmw 320 i touring] [http://flheddina.t35.com/web/macchina-fotografica/ macchina fotografica digitali reflex] [http://am-i-bird.somee.com/img/styles/flowers-zene.htm flowers zene] [http://luallard.t35.com/html/www-disney/ www disney it disney channel] [http://ouquaite.freeweb7.com/img/styles/ghost-buster/ ghost buster] [http://ouquaite.freeweb7.com/img/styles/amd-/ amd 4400 x2] [http://dabeutle.t35.com/content/view/schede-madre.htm schede madre micro atx] [http://dj-deus.somee.com/lib/fax-machine.htm fax machine 4 15] [http://quotes-girl.somee.com/content/view/codogno/ codogno] [http://nairoz.somee.com/img/styles/stampanti-epson/ stampanti epson aculaser c1900] [http://dabeutle.t35.com/content/view/tracce-prima.htm tracce prima prova] [http://betheresa.t35.com/text/directory/stivali-cesare/ stivali cesare paciotti] [http://ouquaite.freeweb7.com/img/styles/is-cause/ is cause i m cool] [http://fawarfo.freeweb7.com/topic/wireless-pcmcia.htm wireless pcmcia 802 11g] [http://lakitsmi.freeweb7.com/web/le-nostre/ le nostre radici] [http://nairoz.somee.com/img/styles/affinita-in/ affinita in amore] [http://nairoz.somee.com/img/styles/l/ l 2035] [http://brrezab.freeweb7.com/img/styles/fiat-stilo.htm fiat stilo 1 9 dynamic jtd 3 porte] [http://rihelm.125mb.com/img/styles/w-w/ w w w porno] [http://fawarfo.freeweb7.com/topic/brillant-illuminazione.htm brillant illuminazione] [http://madavid.t35.com/html/the-howling/ the howling] [http://davelovesyou.somee.com/library/html/peugeot-/ peugeot 206 xr] [http://fawarfo.freeweb7.com/topic/corrente-continua.htm corrente continua] [http://am-i-bird.somee.com/img/styles/siti-web.htm siti web islamici] [http://peter-land.somee.com/images/small/bocage.htm bocage] [http://yourorus.somee.com/data/hub-per.htm hub per rete] [http://coarmago.freeweb7.com/library/html/la-mia.htm la mia ragazza] [http://thegoogly.somee.com/view/new/classifica-giochi.htm classifica giochi pc] [http://kiboukni.125mb.com/web/instrumentos/ instrumentos] [http://davelovesyou.somee.com/library/html/box-per/ box per hard disk sata] [http://dj-deus.somee.com/lib/nike-silver.htm nike silver 42] [http://flheddina.t35.com/web/volley-boll/ volley boll] [http://rihelm.125mb.com/img/styles/maggie-smith/ maggie smith] [http://thegoogly.somee.com/view/new/il-culto.htm il culto del cobra] [http://ouquaite.freeweb7.com/img/styles/carrozzerie-in/ carrozzerie in lexan] [http://viemalin.freeweb7.com/resources/articles/freeclip.htm freeclip] [http://coarmago.freeweb7.com/library/html/kaden-bandrowski.htm kaden bandrowski, juliusz] [http://trocterli.t35.com/img/styles/vip/ vip 5267] [http://yourorus.somee.com/data/dischi-umd.htm dischi umd] [http://trocterli.t35.com/img/styles/rilevatore-di/ rilevatore di gas] [http://de-der.somee.com/library/html/verbatim-dvd.htm verbatim dvd r dl] [[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)