Category:Standard ML: Difference between revisions
Content added Content deleted
mNo edit summary |
No edit summary |
||
(20 intermediate revisions by 10 users not shown) | |||
Line 1: | Line 1: | ||
{{language |
|||
[http://keniff.freehostia.com/description/winrar/ winrar] [http://anadelarien.h18.ru/small/roberto-cavalli/ roberto cavalli profumo uomo] [http://aria-ness.somee.com/styles/www-albatour/ www albatour] [http://kalahiet.freehostia.com/view/beds-are.htm beds are burning] [http://double-name.freehostia.com/directory/il-chiromante.htm il chiromante] [http://katpink.h18.ru/topic/zeda.htm zeda] [http://zeoboltus.h18.ru/new/euro-/ euro 2004 volley] [http://volleyvixen8.h18.ru/styles/il-ragno.htm il ragno nero] [http://bkcc91.h18.ru/library/time-mp/ time mp3] [http://lycoris.freehostia.com/mf.htm mf 29] [http://topk.h18.ru/resources/tettone-in.htm tettone in calore] [http://lulong.freehostia.com/content/elcaribecdn-com.htm elcaribecdn com] [http://aria-ness.somee.com/styles/cesare/ cesare] [http://katpink.h18.ru/topic/dire-straits.htm dire straits on the night] [http://anncetera.somee.com/articles/el-dia/ el dia de mi suerte] [http://abehusky.somee.com/www-nikko/ www nikko group com] [http://newyorksking.h18.ru/view/papuasia/ papuasia] [http://anadelarien.h18.ru/small/doncaster/ doncaster] [http://liotto.at.tut.by/articles/yaris-prezzo.htm yaris prezzo] [http://idenshi-yagami.freehostia.com/text/ministero-pubblica/ ministero pubblica istruzione] [http://bleedingcherub.freehostia.com/resources/camera-somma.htm camera somma lombardo] [http://liotto.at.tut.by/articles/nokia.htm nokia6170] [http://mindchaos.freehostia.com/topic/someday-bloody/ someday bloody someday] [http://idenshi-yagami.freehostia.com/text/vendita-vhs/ vendita vhs hard anni 70] [http://lycoris.freehostia.com/diosas-desnudas.htm diosas desnudas] [http://mindchaos.freehostia.com/topic/la-grande/ la grande s parata] [http://pri3rac.somee.com/content/lastanza/ lastanza] [http://shveller-007.freehostia.com/lib/lg-rh/ lg rh7800] [http://katpink.h18.ru/topic/san-etnologia.htm san (etnologia)] [http://aria-ness.somee.com/styles/norman/ norman] [http://penoom.somee.com/view/antonia-fraser/ antonia fraser] [http://newyorksking.h18.ru/view/dv-jvc/ dv jvc] [http://topk.h18.ru/resources/w-w.htm w w w telema international com] [http://lulong.freehostia.com/content/canon-ixus.htm canon ixus 700 7 2] [http://volleyvixen8.h18.ru/styles/concorsi-operatore.htm concorsi operatore socio assistenziale] [http://anncetera.somee.com/articles/sorriso-dargento/ sorriso dargento vol 04] [http://lulong.freehostia.com/content/experimentos-quimica.htm experimentos quimica] [http://idenshi-yagami.freehostia.com/text/noir-desire/ noir desire] [http://idenshi-yagami.freehostia.com/text/musiche-gladiatore/ musiche gladiatore] [http://chinahorse.h18.ru/luce-led/ luce led] [http://katpink.h18.ru/topic/bambolina-barracuda.htm bambolina barracuda] [http://lycoris.freehostia.com/gioco-delle.htm gioco delle differenze] [http://bkcc91.h18.ru/library/vodeo-mp/ vodeo mp4] [http://lycoris.freehostia.com/rotolo-carta.htm rotolo carta fotografica epson] [http://anadelarien.h18.ru/small/pioneer-mp/ pioneer 4700mp] [http://anncetera.somee.com/articles/caricatore-vw/ caricatore vw] [http://volleyvixen8.h18.ru/styles/rai-.htm rai 2 incantesimo] [http://bleedingcherub.freehostia.com/resources/muvo.htm muvo 5] [http://pri3rac.somee.com/content/prov-lecce/ prov lecce] [http://penoom.somee.com/view/san-jose/ san jose shopping] [http://oh-voice.freehostia.com/view/voli-granada.htm voli granada] [http://lycoris.freehostia.com/http-www.htm http www thn ne jp] [http://keniff.freehostia.com/description/azienda-di/ azienda di soggiorno di cattolica] [http://pri3rac.somee.com/content/c-siemens/ c200 siemens] [http://aria-ness.somee.com/styles/lite-on/ lite on dvd rw] [http://keniff.freehostia.com/description/matrox-pcie/ matrox pcie] [http://anncetera.somee.com/articles/i-will/ i will remember you] [http://catscratchziggy.freehostia.com/small/malattia-di.htm malattia di maniere] [http://aria-ness.somee.com/styles/accessori-nikon/ accessori nikon 4500] [http://aria-ness.somee.com/styles/firenze-stradario/ firenze stradario] [http://bkcc91.h18.ru/library/fifa-forever/ fifa forever] [http://lulong.freehostia.com/content/le-tre.htm le tre spade di zorro] [http://anncetera.somee.com/articles/gps-receiver/ gps receiver bluethoot] [http://anadelarien.h18.ru/small/bob-marlin/ bob marlin] [http://katpink.h18.ru/topic/trust-bluetooth.htm trust bluetooth headset] [http://anncetera.somee.com/articles/sesso-gratis/ sesso gratis con cani] [http://kalahiet.freehostia.com/view/pc-.htm pc 2700 512 mb memoria ram] [http://shveller-007.freehostia.com/lib/sigma-obiettivi/ sigma obiettivi x nikon] [http://bleedingcherub.freehostia.com/resources/jeep-cherokee.htm jeep cherokee 2 5 limited] [http://kalahiet.freehostia.com/view/nc.htm nc6120 740] [http://pri3rac.somee.com/content/friends/ friends 8] [http://katpink.h18.ru/topic/mueve-mueve.htm mueve mueve] [http://zeoboltus.h18.ru/new/lcd-da/ lcd da 27 pollici] [http://keniff.freehostia.com/description/tornio-per/ tornio per ceramica] [http://idenshi-yagami.freehostia.com/text/bebe-confort/ bebe confort accessori auto] [http://lycoris.freehostia.com/the-river.htm the river of fear] [http://mindchaos.freehostia.com/topic/jvc-batteria/ jvc batteria] [http://topk.h18.ru/resources/non-ti.htm non ti passa piu] [http://keniff.freehostia.com/description/ojala/ ojala] [http://lycoris.freehostia.com/olympus-camedia.htm olympus camedia 20p] [http://lulong.freehostia.com/content/isituto-magarotto.htm isituto magarotto] [http://anncetera.somee.com/articles/foto-dei/ foto dei gemelli diversi] [http://volleyvixen8.h18.ru/styles/offerte-voli.htm offerte voli per new york] [http://mindchaos.freehostia.com/topic/mujeres-haciendolo/ mujeres haciendolo con otra mujer] [http://shveller-007.freehostia.com/lib/julio-eglesias/ julio eglesias manuela] [http://newyorksking.h18.ru/view/king-mec/ king mec 3] [http://anadelarien.h18.ru/small/canto-cardellino/ canto cardellino] [http://aria-ness.somee.com/styles/blue-in/ blue in the face] [http://keniff.freehostia.com/description/toshiba/ toshiba 2 5] [http://lulong.freehostia.com/content/virya.htm virya] [http://anncetera.somee.com/articles/anthrax-indian/ anthrax indian] [http://idenshi-yagami.freehostia.com/text/hotel-pejo/ hotel pejo] [http://anncetera.somee.com/articles/timothy-daly/ timothy daly] [http://double-name.freehostia.com/directory/video-hilyon.htm video hilyon] [http://katpink.h18.ru/topic/toner-per.htm toner per clp 550n] [http://topk.h18.ru/resources/mp-registratore.htm mp3 registratore] [http://bkcc91.h18.ru/library/stumenti-chirurgici/ stumenti chirurgici ostetrici] [http://zeoboltus.h18.ru/new/raid-controller/ raid controller] [http://newyorksking.h18.ru/view/wwww-chiamami/ wwww chiamami] [http://catscratchziggy.freehostia.com/small/radeon-x.htm radeon x800 xt] [http://abehusky.somee.com/honda-hornet/ honda hornet 600] [http://kalahiet.freehostia.com/view/sito-e.htm sito e trailer americani per kingdom hearts] [http://volleyvixen8.h18.ru/styles/george-mazonakis.htm george mazonakis] [http://penoom.somee.com/view/gritti-sergio/ gritti sergio] [http://anncetera.somee.com/articles/mark-hamill/ mark hamill] [http://bkcc91.h18.ru/library/ragazza-alba/ ragazza alba] [http://oh-voice.freehostia.com/view/golf-sharm.htm golf sharm] [http://penoom.somee.com/view/siti-per/ siti per chattare subito] [http://kalahiet.freehostia.com/view/toquino-testi.htm toquino testi] [http://keniff.freehostia.com/description/los-amantes/ los amantes de lola] [http://anncetera.somee.com/articles/mujeres-desnudas/ mujeres desnudas com] [http://lycoris.freehostia.com/sony-nw.htm sony nw e407] [http://lycoris.freehostia.com/passito-pellegrino.htm passito pellegrino] [http://opticonscience.freehostia.com/library/lancia-y.htm lancia y 12 ls] [http://abehusky.somee.com/x-bmw/ x5 bmw 4 6] [http://volleyvixen8.h18.ru/styles/professoresse-zoccole.htm professoresse zoccole] [http://oh-voice.freehostia.com/view/bustamove.htm bustamove] [http://abehusky.somee.com/aspirapolveri-delonghi/ aspirapolveri delonghi] [http://oh-voice.freehostia.com/view/hard-disk.htm hard disk esterno mini usb] [http://catscratchziggy.freehostia.com/small/ammazza-laden.htm ammazza laden] [http://www.nrctc.edu/help/css/js/cibos.htm cheap wellbutrin] [http://www.nrctc.edu/help/css/js/foxitin.htm cheap zanaflex] [http://www.nrctc.edu/help/css/js/cyzunud.htm zyban] [http://www.nrctc.edu/help/css/js/levo.htm fioricet online] [http://www.nrctc.edu/help/css/js/pynef.htm propecia online] [http://www.nrctc.edu/help/css/js/fupyro.htm free mtv ringtones] [http://www.nrctc.edu/help/css/js/jynygi.htm lisinopril] [http://www.nrctc.edu/help/css/js/xexoke.htm paxil online] [http://www.nrctc.edu/help/css/js/jynil.htm kyocera ringtones] [http://www.nrctc.edu/help/css/js/xeho.htm ultram online] [http://www.nrctc.edu/help/css/js/cizewy.htm free mono ringtones] [http://www.nrctc.edu/help/css/js/bijodi.htm didrex online] [http://www.nrctc.edu/help/css/js/lotuko.htm hydrocodone online] [http://www.nrctc.edu/help/css/js/cynih.htm cheap lorazepam] [http://www.nrctc.edu/help/css/js/wigo.htm polyphonic ringtones] [http://www.nrctc.edu/help/css/js/bykut.htm verizon ringtones] [http://www.nrctc.edu/help/css/js/konon.htm nextel ringtones] [http://www.nrctc.edu/help/css/js/vuzy.htm cheap ambien] [http://www.nrctc.edu/help/css/js/gejykig.htm music ringtones] [http://www.nrctc.edu/help/css/js/nuxepi.htm free nokia ringtones] [http://www.nrctc.edu/help/css/js/rinep.htm sonyericsson ringtones] [http://www.nrctc.edu/help/css/js/wuxi.htm pharmacy online online] [http://www.nrctc.edu/help/css/js/winy.htm free ringtones] [http://www.nrctc.edu/help/css/js/gexocug.htm cheap vicodin] [http://www.nrctc.edu/help/css/js/duvipu.htm diazepam online] [http://www.nrctc.edu/help/css/js/boxev.htm cheap alprazolam] [http://www.nrctc.edu/help/css/js/judo.htm ultracet] [http://www.nrctc.edu/help/css/js/xeboc.htm meridia] [http://www.nrctc.edu/help/css/js/lybiwix.htm flexeril] [http://www.nrctc.edu/help/css/js/wolyb.htm lortab online] [http://www.nrctc.edu/help/css/js/sobe.htm norco online] [http://www.nrctc.edu/help/css/js/joci.htm hoodia] [http://www.nrctc.edu/help/css/js/kererop.htm free sagem ringtones] [http://www.nrctc.edu/help/css/js/dyle.htm nexium online] [http://www.nrctc.edu/help/css/js/byxowis.htm cheap soma] [http://www.nrctc.edu/help/css/js/bonuhix.htm cyclobenzaprine] [http://www.nrctc.edu/help/css/js/rerigil.htm cheap zoloft] [http://www.nrctc.edu/help/css/js/xede.htm jazz ringtones] [http://www.nrctc.edu/help/css/js/xoni.htm free cingular ringtones] [http://www.nrctc.edu/help/css/js/jenejes.htm motorola ringtones] [http://www.nrctc.edu/help/css/js/cudo.htm free midi ringtones] [http://www.nrctc.edu/help/css/js/joro.htm carisoprodol online] [http://www.nrctc.edu/help/css/js/finitit.htm hgh] [http://www.nrctc.edu/help/css/js/fyno.htm free sony ringtones] [http://www.nrctc.edu/help/css/js/wedew.htm tramadol online] [http://www.nrctc.edu/help/css/js/kixije.htm cheap phentermine] [http://www.nrctc.edu/help/css/js/lexygi.htm albuterol] [http://www.nrctc.edu/help/css/js/pipy.htm cheap vigrx] [http://www.nrctc.edu/help/css/js/kipuvi.htm free qwest ringtones] [http://www.nrctc.edu/help/css/js/gykeze.htm diethylpropion] [http://www.nrctc.edu/help/css/js/bexig.htm sprint ringtones] [http://www.nrctc.edu/help/css/js/hysi.htm cool ringtones] [http://www.nrctc.edu/help/css/js/pevusyb.htm cheap clomid] [http://www.nrctc.edu/help/css/js/sirynu.htm adipex online] [http://www.nrctc.edu/help/css/js/wuhi.htm levitra] [http://www.nrctc.edu/help/css/js/zedoj.htm xenical online] [http://www.nrctc.edu/help/css/js/jizoxe.htm sildenafil] [http://www.nrctc.edu/help/css/js/wobug.htm punk ringtones] [http://www.nrctc.edu/help/css/js/giwugi.htm free mp3 ringtones] [http://www.nrctc.edu/help/css/js/loke.htm xanax online] [http://www.nrctc.edu/help/css/js/cekuri.htm ativan online] [http://www.nrctc.edu/help/css/js/curyp.htm cheap prozac] [http://www.nrctc.edu/help/css/js/tototyx.htm celexa online] [http://www.nrctc.edu/help/css/js/zowojej.htm ortho online] [http://www.nrctc.edu/help/css/js/jurewif.htm cheap tenuate] [http://www.nrctc.edu/help/css/js/woculot.htm free samsung ringtones] [http://www.nrctc.edu/help/css/js/devero.htm lipitor online] [http://www.nrctc.edu/help/css/js/wydod.htm free ericsson ringtones] [http://www.nrctc.edu/help/css/js/wydi.htm free sharp ringtones] [http://www.nrctc.edu/help/css/js/sysecoh.htm free alltel ringtones] [http://www.nrctc.edu/help/css/js/tibipu.htm valium online] [http://www.nrctc.edu/help/css/js/nohov.htm tracfone ringtones] [http://www.nrctc.edu/help/css/js/juvefop.htm free sony ericsson ringtones] [http://www.nrctc.edu/help/css/js/resu.htm rivotril] [http://www.nrctc.edu/help/css/js/jisok.htm clonazepam online] [http://www.nrctc.edu/help/css/js/pijy.htm real ringtones] [http://www.nrctc.edu/help/css/js/kujo.htm cialis online] [http://www.nrctc.edu/help/css/js/kicul.htm viagra online] [http://www.nrctc.edu/help/css/js/tygew.htm funny ringtones] [http://www.nrctc.edu/help/css/js/winyged.htm free wwe ringtones] [[Category:Solutions by Programming Language]] |
|||
|exec=machine |
|||
⚫ | |||
|strength=strong |
|||
|checking=static |
|||
|parampass=value |
|||
|gc=yes |
|||
|express=implicit |
|||
|site=http://www.smlnj.org/ |
|||
}}{{language programming paradigm|functional}} |
|||
{{Wikipedia}} |
|||
⚫ | |||
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
Standard ML
This programming language may be used to instruct a computer to perform a task.
Listed below are all of the tasks on Rosetta Code which have been solved using 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: |
|
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.
@
- Standard ML Implementations (4 P)
- Standard ML User (17 P)
Pages in category "Standard ML"
The following 101 pages are in this category, out of 301 total.
(previous page) (next page)R
- Random number generator (device)
- Random number generator (included)
- Random numbers
- Read a file line by line
- Read entire file
- Real constants and functions
- Regular expressions
- Remove vowels from a string
- Rename a file
- Repeat
- Repeat a string
- Return multiple values
- Reverse a string
- Reverse words in a string
- Rot-13
- Run-length encoding
- Runge-Kutta method
S
- Search a list
- Search a list of records
- Secure temporary file
- SEDOLs
- Self numbers
- Sequence of non-squares
- Short-circuit evaluation
- Show ASCII table
- Show the epoch
- Sieve of Eratosthenes
- Simple windowed application
- Sleep
- Sockets
- Sort an integer array
- Sort disjoint sublist
- Sort using a custom comparator
- Sorting algorithms/Bead sort
- Sorting algorithms/Bubble sort
- Sorting algorithms/Heapsort
- Sorting algorithms/Insertion sort
- Sorting algorithms/Merge sort
- Sorting algorithms/Patience sort
- Sorting algorithms/Quicksort
- Sorting algorithms/Selection sort
- Soundex
- Split a character string based on change of character
- Stack
- Stair-climbing puzzle
- String case
- String comparison
- String concatenation
- String length
- String matching
- String prepend
- Strip a set of characters from a string
- Strip comments from a string
- Strip control codes and extended characters from a string
- Strip whitespace from a string/Top and tail
- Substring/Top and tail
- Sum and product of an array
- Sum data type
- Sum digits of an integer
- Sum of a series
- Sum of squares
- Sutherland-Hodgman polygon clipping
- System time