Category:Standard ML: Difference between revisions
Content added Content deleted
mNo edit summary |
No edit summary |
||
(22 intermediate revisions by 10 users not shown) | |||
Line 1: | Line 1: | ||
{{language |
|||
[http://plyuh-vios.ifrance.com/its-not-easy.html its not easy] [http://cuivenarius.ifrance.com/hells-kitchen-original.html hells kitchen original soundtrack] [http://busjavka.ifrance.com/hotel-la-giada/index.html hotel la giada] [http://alexandraa80.ifrance.com/latte-per-neonati/index.html latte per neonati miltina] [http://alexandraa80.ifrance.com/la-decapitazione/index.html la decapitazione dell ostaggio] [http://plyuh-vios.ifrance.com/io-ho-te-audio2.html io ho te audio2] [http://xxxenichkaa.ifrance.com/lotto-di-milano.html lotto di milano] [http://xxxenichkaa.ifrance.com/leslie-amine.html leslie amine] [http://eliasn5gh.ifrance.com/liefdeskapitein.html liefdeskapitein] [http://pupsik1993.ifrance.com/lesli-et-amin.html lesli et amin] [http://busjavka.ifrance.com/heresy-mondavio/index.html heresy mondavio] [http://oddonpurpose.ifrance.com/la-donna-riccia.html la donna riccia modugno] [http://katzella.ifrance.com/hilary-dutf/index.html hilary dutf] [http://busjavka.ifrance.com/has-tabulas/index.html has tabulas verres abstulit] [http://xxxenichkaa.ifrance.com/lee-ryan-why-me.html lee ryan why me] [http://thecrownless.ifrance.com/inno-spagnolo-score/index.html inno spagnolo score] [http://child-ofadot.ifrance.com/irdeto-plugin-skystar.html irdeto plugin skystar 2] [http://snakeystil.ifrance.com/jamás/index.html jamás] [http://plyuh-vios.ifrance.com/il-magnate-greco.html il magnate greco] [http://fluffy-mind.ifrance.com/kemal-malovcic.html kemal malovcic midi] [http://oddonpurpose.ifrance.com/la-valle-dell-eden.html la valle dell eden] [http://xxxenichkaa.ifrance.com/la-panthere-rose.html la panthere rose] [http://oddonpurpose.ifrance.com/la-quindicesima.html la quindicesima epistola] [http://carbonphoenix.ifrance.com/juan-alfonso-baptista.html juan alfonso baptista] [http://chasingspaces.ifrance.com/hagen-nina/index.html hagen nina] [http://starcross33.ifrance.com/letr-de-hoobastank/index.html letr de hoobastank] [http://thecrownless.ifrance.com/i-consigli-un/index.html i consigli un pirla] [http://taylors-acolyte.ifrance.com/ighina-it.html ighina it] [http://fluffy-mind.ifrance.com/kisses-of-no-return.html kisses of no return] [http://child-ofadot.ifrance.com/isola-del-tesoro.html isola del tesoro] [http://listmishyk.ifrance.com/kobra/index.html kobra] [http://angeljazz711.ifrance.com/inviati-di-uno-mattina.html inviati di uno mattina] [http://starcross33.ifrance.com/lepoglava/index.html lepoglava] [http://busjavka.ifrance.com/hotel-altavilla-spello/index.html hotel altavilla spello] [http://taylors-acolyte.ifrance.com/immagini-del-giappone.html immagini del giappone] [http://risdimpuka.ifrance.com/leggi-industria/index.html leggi industria della carta] [http://eliasn5gh.ifrance.com/lovefool-the-cardigans.html lovefool the cardigans] [http://listmishyk.ifrance.com/katie-holmes-nuda/index.html katie holmes nuda] [http://starcross33.ifrance.com/la-bigate/index.html la bigate] [http://eliasn5gh.ifrance.com/luca-di-rio.html luca di rio] [http://xxxenichkaa.ifrance.com/la-2-gurra-mondiale.html la 2 gurra mondiale] [http://chasingspaces.ifrance.com/here-whitout-you/index.html here whitout you] [http://katzella.ifrance.com/here-with-me-dido/index.html here with me dido] [http://fluffy-mind.ifrance.com/kenya.html kenya] [http://alexandraa80.ifrance.com/lionel-richie/index.html lionel richie testo angel] [http://angeljazz711.ifrance.com/in-the-middle-sugababes.html in the middle sugababes] [http://katzella.ifrance.com/hea/index.html hea] [http://busjavka.ifrance.com/haïduci/index.html haïduci] [http://eliasn5gh.ifrance.com/luna-by-verdena.html luna by verdena] [http://plyuh-vios.ifrance.com/il-barone-brigate.html il barone brigate rossonere] [http://alexandraa80.ifrance.com/letteratura-trecentesca/index.html letteratura trecentesca] [http://oddonpurpose.ifrance.com/locandina-film-vanilla.html locandina film vanilla sky tom cruise] [http://chasingspaces.ifrance.com/greased-lightning/index.html greased lightning] [http://taylors-acolyte.ifrance.com/istanbul.html istanbul] [http://fluffy-mind.ifrance.com/kimsun.html kimsun] [http://child-ofadot.ifrance.com/il-tirreno-del.html il tirreno del 1 08 04] [http://oddonpurpose.ifrance.com/la-citta-e-pulcinella.html la citta e pulcinella] [http://katzella.ifrance.com/hp-635/index.html hp 635] [http://risdimpuka.ifrance.com/liquet/index.html liquet] [http://eliasn5gh.ifrance.com/lose-weight-by-jucing.html lose weight by jucing] [http://chasingspaces.ifrance.com/galimberti-nino/index.html galimberti nino] [http://carbonphoenix.ifrance.com/jesi.html jesi] [http://thecrownless.ifrance.com/invio-sms-gratuito/index.html invio sms gratuito] [http://starcross33.ifrance.com/love-come-again/index.html love come again] [http://xxxenichkaa.ifrance.com/laura-gemser.html laura gemser] [http://listmishyk.ifrance.com/kurt-waill/index.html kurt waill] [http://taylors-acolyte.ifrance.com/inno-al-trentino.html inno al trentino] [http://listmishyk.ifrance.com/kilye-minogue/index.html kilye minogue] [http://alexandraa80.ifrance.com/laura-pasuini/index.html laura pasuini] [http://risdimpuka.ifrance.com/la-vittoria-di/index.html la vittoria di] [http://fluffy-mind.ifrance.com/kuca-hrvatska-korcula.html kuca hrvatska korcula] [http://snakeystil.ifrance.com/jose-antonio-bordell/index.html jose antonio bordell kassandra] [http://alexandraa80.ifrance.com/la-nina-la-pinta-e/index.html la nina la pinta e la santa maria] [http://carbonphoenix.ifrance.com/ja-sei-na-morar.html ja sei na morar tribalistas] [http://cuivenarius.ifrance.com/homevideo.html homevideo] [http://thecrownless.ifrance.com/industrie-mobili/index.html industrie mobili] [http://risdimpuka.ifrance.com/los-panchos/index.html los panchos] [http://angeljazz711.ifrance.com/il-potere.html il potere] [http://thecrownless.ifrance.com/insieme-mina/index.html insieme mina] [http://xxxenichkaa.ifrance.com/legge-449.html legge 449] [http://taylors-acolyte.ifrance.com/immagini-xxx.html immagini xxx] [http://fluffy-mind.ifrance.com/k9.html k9] [http://thecrownless.ifrance.com/indirizzi-a-parma/index.html indirizzi a parma] [http://starcross33.ifrance.com/lloyd-ft-ashanti/index.html lloyd ft ashanti] [http://fluffy-mind.ifrance.com/konkretna-piosenka.html konkretna piosenka] [http://chasingspaces.ifrance.com/hotels-taormina/index.html hotels taormina] [http://eliasn5gh.ifrance.com/lee-rayan-fotos.html lee rayan fotos xx] [http://oddonpurpose.ifrance.com/la-mer.html la mer] [http://fluffy-mind.ifrance.com/kinsky.html kinsky] [http://risdimpuka.ifrance.com/lotr/index.html lotr] [http://oddonpurpose.ifrance.com/la-nascita-del-lavoro.html la nascita del lavoro] [http://cuivenarius.ifrance.com/hej-ljubavi-u-dalekom.html hej ljubavi u dalekom gradu] [http://risdimpuka.ifrance.com/lambada-mmf/index.html lambada mmf] [http://taylors-acolyte.ifrance.com/italo-music.html italo music] [http://oddonpurpose.ifrance.com/lotto-corriere.html lotto corriere] [http://fluffy-mind.ifrance.com/kristaallen.html kristaallen] [http://plyuh-vios.ifrance.com/internet-italiana.html internet italiana] [http://fluffy-mind.ifrance.com/kir2kos.html kir2kos] [http://listmishyk.ifrance.com/kaspar-kapparoni/index.html kaspar kapparoni] [http://child-ofadot.ifrance.com/istituto-nazionale.html istituto nazionale urbanistica] [http://taylors-acolyte.ifrance.com/ibarra.html ibarra] [http://listmishyk.ifrance.com/k448-mozart/index.html k448 mozart] [http://pupsik1993.ifrance.com/luigi-xv.html luigi xv] [http://busjavka.ifrance.com/ho-capito-che-ti/index.html ho capito che ti amo luigi tenco] [http://angeljazz711.ifrance.com/il-gladiatore.html il gladiatore free midi] [http://risdimpuka.ifrance.com/laura-corradin/index.html laura corradin] [http://listmishyk.ifrance.com/karaoke-vecchioni/index.html karaoke vecchioni] [http://xxxenichkaa.ifrance.com/lingua-francese.html lingua francese pisa] [http://fluffy-mind.ifrance.com/kily.html kily] [http://carbonphoenix.ifrance.com/jordan-peele.html jordan peele] [http://snakeystil.ifrance.com/jay-z-i-beyonce/index.html jay z i beyonce] [http://busjavka.ifrance.com/http-www-graffiti-it/index.html http www graffiti it stradivari photos] [http://child-ofadot.ifrance.com/il-walzer-dell.html il walzer dell allegria] [http://xxxenichkaa.ifrance.com/l-signorelli-flagellazione.html l signorelli flagellazione descrizione] [http://plyuh-vios.ifrance.com/ilona.html ilona] [http://angeljazz711.ifrance.com/i-don-t-wan-t.html i don t wan t to bag] [http://angeljazz711.ifrance.com/inventario-beni.html inventario beni disponibili] [http://busjavka.ifrance.com/hotel-helios/index.html hotel helios] [http://pupsik1993.ifrance.com/leonard.html leonard] [http://xxxenichkaa.ifrance.com/ljubi-mia-po-francuski.html ljubi mia po francuski] [http://cuivenarius.ifrance.com/homebreakers.html homebreakers] [http://taylors-acolyte.ifrance.com/irmak.html irmak] [http://alexandraa80.ifrance.com/life-goes-on/index.html life goes on 2pac] [http://pupsik1993.ifrance.com/lamartina.html lamartina] [http://starcross33.ifrance.com/letitia-casat/index.html letitia casat] [http://busjavka.ifrance.com/hai-scelto-me/index.html hai scelto me] [http://snakeystil.ifrance.com/jiuly/index.html jiuly] [http://listmishyk.ifrance.com/k700/index.html k700] [http://taylors-acolyte.ifrance.com/infradito.html infradito] [http://xxxenichkaa.ifrance.com/la-roca-del-moro-damablanca.html la roca del moro damablanca] [http://fluffy-mind.ifrance.com/karrie-anne-moss.html karrie anne moss] [http://alexandraa80.ifrance.com/la-figlia-del-re/index.html la figlia del re di castiglia] [http://eliasn5gh.ifrance.com/la-donna-nello-sport.html la donna nello sport storia] [http://snakeystil.ifrance.com/jeanni/index.html jeanni] [http://plyuh-vios.ifrance.com/i-consigli-di.html i consigli di bellezza di ovidio] [http://plyuh-vios.ifrance.com/incidenti-mortali.html incidenti mortali] [http://katzella.ifrance.com/halo-combat-evolved/index.html halo combat evolved] [http://taylors-acolyte.ifrance.com/ispettore-ambiente.html ispettore ambiente] [http://risdimpuka.ifrance.com/le-cose-in-comune/index.html le cose in comune] [http://carbonphoenix.ifrance.com/jeesus-kids.html jeesus kids] [http://snakeystil.ifrance.com/josh-groban/index.html josh groban] [http://angeljazz711.ifrance.com/immagini-di-capre.html immagini di capre] [http://oddonpurpose.ifrance.com/leonardo-manera.html leonardo manera] [http://plyuh-vios.ifrance.com/israel-kamakaw.html israel kamakaw] [http://snakeystil.ifrance.com/jara/index.html jara] [http://snakeystil.ifrance.com/juliana-bb4/index.html juliana bb4] [http://pupsik1993.ifrance.com/lisa-marie.html lisa marie] [http://katzella.ifrance.com/halleb/index.html halleb] [http://alexandraa80.ifrance.com/la-clori/index.html la clori] [http://pupsik1993.ifrance.com/la-vita.html la vita] [http://child-ofadot.ifrance.com/istruzioni-per.html istruzioni per dragon cam] [http://risdimpuka.ifrance.com/labirinto/index.html labirinto] [http://oddonpurpose.ifrance.com/mamma-insegname.html mamma insegname a ballar] [http://busjavka.ifrance.com/huevos-cartoons/index.html huevos cartoons] [http://eliasn5gh.ifrance.com/lo-strani-percorso.html lo strani percorso] [http://fluffy-mind.ifrance.com/koronati-charter.html koronati charter] [http://snakeystil.ifrance.com/jam-eddy-watta/index.html jam eddy watta] [http://child-ofadot.ifrance.com/immagini-lupa-di-roma.html immagini lupa di roma] [http://thecrownless.ifrance.com/idris-1-re-di-libia/index.html idris 1 re di libia] [http://thecrownless.ifrance.com/inno-firentina/index.html inno firentina] [http://oddonpurpose.ifrance.com/lil-eddie.html lil eddie] [http://plyuh-vios.ifrance.com/italiandreams-org.html italiandreams org] [http://listmishyk.ifrance.com/kati-eho-pathi/index.html kati eho pathi me ta matia sou] [http://eliasn5gh.ifrance.com/lu-colombo-and.html lu colombo and maracaibo] [http://eliasn5gh.ifrance.com/locali-gay.html locali gay] [http://busjavka.ifrance.com/hajuci/index.html hajuci] [http://risdimpuka.ifrance.com/lu-maritiell/index.html lu maritiell] [http://eliasn5gh.ifrance.com/la-sera-dei.html la sera dei miracoli] [http://carbonphoenix.ifrance.com/juguetibici.html juguetibici] [http://starcross33.ifrance.com/la-bambola-mp3/index.html la bambola mp3] [http://risdimpuka.ifrance.com/left-uot-side-alone/index.html left uot side alone] [http://plyuh-vios.ifrance.com/indirizzo-the.html indirizzo the rasmus] [http://snakeystil.ifrance.com/just-because/index.html just because you feel good] [http://alexandraa80.ifrance.com/ludacris-act-afool/index.html ludacris act afool] [http://busjavka.ifrance.com/hotel-voucher-conferma/index.html hotel voucher conferma holiday inn garde] [http://carbonphoenix.ifrance.com/jazzsamba.html jazzsamba] [http://child-ofadot.ifrance.com/interraziali.html interraziali] [http://pupsik1993.ifrance.com/lavoro-fvg.html lavoro fvg] [http://alexandraa80.ifrance.com/lamega98-3/index.html lamega98 3] [http://taylors-acolyte.ifrance.com/imagination.html imagination] [http://alexandraa80.ifrance.com/londra-a-capodanno/index.html londra a capodanno] [http://oddonpurpose.ifrance.com/luca-derisio.html luca derisio] [http://angeljazz711.ifrance.com/it-s-good-to-be.html it s good to be love] [http://child-ofadot.ifrance.com/immagini-per.html immagini per innamorati] [http://eliasn5gh.ifrance.com/lo-zingaro-felice-alex.html lo zingaro felice alex britti] [http://pupsik1993.ifrance.com/letti-cosatto.html letti cosatto] [http://xxxenichkaa.ifrance.com/la-canzone-dell.html la canzone dell ex di eamon] [http://xxxenichkaa.ifrance.com/lettere-didle.html lettere didle] [http://cuivenarius.ifrance.com/hombres-g-en-la.html hombres g en la playa] [http://chasingspaces.ifrance.com/hallo-lupen/index.html hallo lupen] [http://eliasn5gh.ifrance.com/lmc-materiale-composito.html lmc materiale composito] [http://alexandraa80.ifrance.com/lorellacuccarini/index.html lorellacuccarini] [http://eliasn5gh.ifrance.com/lilla-nigro-bloggo.html lilla nigro bloggo] [http://risdimpuka.ifrance.com/la-miss-perde-lo-slip/index.html la miss perde lo slip] [http://plyuh-vios.ifrance.com/ismaelserrano.html ismaelserrano] [http://katzella.ifrance.com/istria-rovigni/index.html istria rovigni] [http://taylors-acolyte.ifrance.com/ipofisi.html ipofisi] [http://cuivenarius.ifrance.com/hawkins.html hawkins] [http://chasingspaces.ifrance.com/gabry-pomte/index.html gabry pomte] [http://xxxenichkaa.ifrance.com/laura-nyro.html laura nyro] [[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