Category:Standard ML: Difference between revisions
Content added Content deleted
mNo edit summary |
No edit summary |
||
(24 intermediate revisions by 10 users not shown) | |||
Line 1: | Line 1: | ||
{{language |
|||
[http://hp-dc.monbrenno.info hp dc5100 p4 520 40gb] [http://hdurian.airsofthost.com/view/new/avi.htm avi] [http://remayfuy.airsofthost.com/images/small/health-insurance/ health insurance california] [http://laortiz.airsofthost.com/view/new/monitor-offerta/ monitor offerta] [http://frgrossm.airsofthost.com/topic/macchina-caffe/ macchina caffe vienna] [http://laortiz.airsofthost.com/view/new/friends-/ friends anno 4 24 episodi] [http://frgrossm.airsofthost.com/topic/agriturismo-pistoia/ agriturismo pistoia] [http://rumote.airsofthost.com/lib/trasmettitore-a.htm trasmettitore a v senza filo accessori] [http://alpaddy.airsofthost.com/img/styles/gazapo/ gazapo] [http://maheinze.airsofthost.com/data/body-builders.htm body builders] [http://renato-zero.firethro.info renato zero padre nostro] [http://erika-klos.giantlau.info erika klos] [http://remayfuy.airsofthost.com/images/small/freeman-mary/ freeman mary eleonor] [http://rumote.airsofthost.com/lib/rithm-is.htm rithm is dancer] [http://frgrossm.airsofthost.com/topic/pavilion-dvea/ pavilion dv1154ea] [http://hdurian.airsofthost.com/view/new/relativo.htm relativo] [http://rumote.airsofthost.com/lib/elena-rosci.htm elena rosci] [http://lejenny.airsofthost.com/library/html/toner-per.htm toner per brother hl 5140] [http://laortiz.airsofthost.com/view/new/milan-foto/ milan foto] [http://esercizio-gambe.giantlau.info esercizio gambe] [http://splucind.airsofthost.com/content/view/bangkok-ristorante/ bangkok ristorante] [http://rumote.airsofthost.com/lib/www-simonerossi.htm www simonerossi it] [http://fabriano-copy.otrev4ro.info fabriano copy 1] [http://hdurian.airsofthost.com/view/new/biglietto-invito.htm biglietto invito] [http://ethel-barrymore.otrev4ro.info ethel barrymore] [http://rumote.airsofthost.com/lib/frasi-di.htm frasi di buon giorno] [http://alpaddy.airsofthost.com/img/styles/arbour/ arbour 5 20] [http://alpaddy.airsofthost.com/img/styles/hp-workstation/ hp workstation xw6200 scsi] [http://rs-elettronica.monbrenno.info rs elettronica] [http://maheinze.airsofthost.com/data/hobbastank.htm hobbastank] [http://splucind.airsofthost.com/content/view/noa-la/ noa la vta e bella] [http://alpaddy.airsofthost.com/img/styles/le-nuvole/ le nuvole sotto il cuscino] [http://via-gambirasio.monbrenno.info via gambirasio] [http://remayfuy.airsofthost.com/images/small/bondage-sex/ bondage sex] [http://memoria-.monbrenno.info memoria 512 portatile] [http://laortiz.airsofthost.com/view/new/portal-del/ portal del rock] [http://jeans-gucci.cleric4u.info jeans gucci] [http://frgrossm.airsofthost.com/topic/ethiopia-song/ ethiopia song] [http://splucind.airsofthost.com/content/view/forno-da/ forno da incasso microonde] [http://banzlees.airsofthost.com/description/lib/il-risparmione.htm il risparmione] [http://alpaddy.airsofthost.com/img/styles/mausland-entertaiment/ mausland entertaiment] [http://alpaddy.airsofthost.com/img/styles/piediluco/ piediluco] [http://alpaddy.airsofthost.com/img/styles/noleggio-gru/ noleggio gru] [http://how-deep.giantlau.info how deep is] [http://splucind.airsofthost.com/content/view/eldeber-com/ eldeber com] [http://lejenny.airsofthost.com/library/html/fast-end.htm fast end furious] [http://banzlees.airsofthost.com/description/lib/fax-samsung.htm fax samsung] [http://hdurian.airsofthost.com/view/new/amd-.htm amd 64 bit computer] [http://remayfuy.airsofthost.com/images/small/radio-panamericana/ radio panamericana] [http://www-moto.monbrenno.info www moto sequestrate vendita it] [http://splucind.airsofthost.com/content/view/auto-maserati/ auto maserati] [http://alpaddy.airsofthost.com/img/styles/video-porno/ video porno in siti italiani] [http://alpaddy.airsofthost.com/img/styles/armi-segrete/ armi segrete del iii reich] [http://maheinze.airsofthost.com/data/dvd-xbox.htm dvd xbox] [http://frgrossm.airsofthost.com/topic/allevamento-barboncini/ allevamento barboncini] [http://laortiz.airsofthost.com/view/new/camedia/ camedia] [http://alpaddy.airsofthost.com/img/styles/alex-piero/ alex piero] [http://sex-vree.cleric4u.info sex vree video now] [http://frgrossm.airsofthost.com/topic/mandy-lynn/ mandy lynn] [http://fitness-italia.otrev4ro.info fitness italia] [http://frgrossm.airsofthost.com/topic/agenzia-viaggio/ agenzia viaggio lazio] [http://iguana-mauro.firethro.info iguana mauro picotto] [http://philips-crt.giantlau.info philips crt 19 109b60] [http://canzoni-i.cleric4u.info canzoni i cento passi] [http://nike-calcetto.firethro.info nike calcetto] [http://banzlees.airsofthost.com/description/lib/videosexy.htm videosexy] [http://comi-umberta.otrev4ro.info comi umberta] [http://motociclismo-d.monbrenno.info motociclismo d epoca] [http://frgrossm.airsofthost.com/topic/gomme-moto/ gomme moto] [http://laortiz.airsofthost.com/view/new/poesie-amicizia/ poesie amicizia] [http://splucind.airsofthost.com/content/view/fred-il/ fred il ribelle] [http://ctx-pvt.cleric4u.info ctx pv500t] [http://lejenny.airsofthost.com/library/html/online-movies.htm online movies] [http://lejenny.airsofthost.com/library/html/ophiuchus.htm ophiuchus] [http://splucind.airsofthost.com/content/view/pisino/ pisino] [http://maheinze.airsofthost.com/data/eamon-frankie.htm eamon frankie] [http://alpaddy.airsofthost.com/img/styles/coppia-terni/ coppia terni] [http://alpaddy.airsofthost.com/img/styles/ragazzo-ascoli/ ragazzo ascoli piceno] [http://la-bambola.otrev4ro.info la bambola di patty bravo] [http://splucind.airsofthost.com/content/view/amanti-maledetti/ amanti maledetti] [http://remayfuy.airsofthost.com/images/small/ernia-inguinale/ ernia inguinale] [http://le-pagine.monbrenno.info le pagine di sexi] [http://remayfuy.airsofthost.com/images/small/caramba-deluna/ caramba deluna] [http://palmari-gps.giantlau.info palmari gps typhoon] [http://titanus.monbrenno.info titanus] [http://alpaddy.airsofthost.com/img/styles/buon-compeanno/ buon compeanno] [http://ufficio-sesto.monbrenno.info ufficio sesto san giovanni] [http://mortal-transfert.giantlau.info mortal transfert] [http://hdurian.airsofthost.com/view/new/indirizzo-e.htm indirizzo e mail corriere della sera] [http://wonderweb.otrev4ro.info wonderweb] [http://laortiz.airsofthost.com/view/new/tubi-lecce/ tubi lecce] [http://hp-all.cleric4u.info hp all in one 3030] [http://remayfuy.airsofthost.com/images/small/tromb/ tromb] [http://hdurian.airsofthost.com/view/new/rs-audi.htm rs6 audi] [http://saldatrici.otrev4ro.info saldatrici] [http://hdurian.airsofthost.com/view/new/o-zone.htm o zone disco zone 2004] [http://geforce-nvidia.firethro.info geforce nvidia] [http://maglieria-astyle.cleric4u.info maglieria astyle] [http://hdurian.airsofthost.com/view/new/duomo-maeci.htm duomo maeci] [http://maheinze.airsofthost.com/data/ghiro-peluche.htm ghiro peluche] [http://lancio-del.giantlau.info lancio del] [http://splucind.airsofthost.com/content/view/ati-nvidia/ ati nvidia] [http://maheinze.airsofthost.com/data/pantaloni-evisu.htm pantaloni evisu] [http://tequila-baby.cleric4u.info tequila baby 51] [http://alpaddy.airsofthost.com/img/styles/cafe-chic/ cafe chic 1377] [http://alpaddy.airsofthost.com/img/styles/outside-alone/ outside alone anastacia] [http://bando-korrupto.otrev4ro.info bando korrupto] [http://laortiz.airsofthost.com/view/new/voli-milano/ voli milano catania] [http://bibbidi-bobbidi.giantlau.info bibbidi bobbidi boo] [http://battello.monbrenno.info battello] [http://alpaddy.airsofthost.com/img/styles/tomtom-go/ tomtom go mappe usa] [http://agriturismo-san.monbrenno.info agriturismo san marino] [http://banzlees.airsofthost.com/description/lib/elaweber.htm elaweber] [http://iceberg-fluid.monbrenno.info iceberg fluid] [http://laortiz.airsofthost.com/view/new/gioco-del/ gioco del wrestling] [http://hdurian.airsofthost.com/view/new/km-fiat.htm km0 fiat punto d diesel auto km 0] [http://school-of.otrev4ro.info school of rock theme] [http://remayfuy.airsofthost.com/images/small/pocket-pc/ pocket pc ipaq 1930] [http://internazionale-socialista.giantlau.info internazionale socialista mp3] [http://prevendite.otrev4ro.info prevendite] [http://tribale.cleric4u.info tribale] [http://splucind.airsofthost.com/content/view/intel-pentium/ intel pentium dual] [http://vicentico-los.giantlau.info vicentico los caminos de la vida] [http://remayfuy.airsofthost.com/images/small/paroles-chansson/ paroles chansson fr] [http://hdurian.airsofthost.com/view/new/toner-stampante.htm toner stampante hp 2550l] [http://laortiz.airsofthost.com/view/new/april-lavigne/ april lavigne] [http://maheinze.airsofthost.com/data/vivavoce-cordless.htm vivavoce cordless siemens] [http://splucind.airsofthost.com/content/view/women-hard/ women hard rosse] [http://rumote.airsofthost.com/lib/sessoestremo.htm sessoestremo] [http://gumtree.giantlau.info gumtree] [http://camere-treviso.firethro.info camere treviso] [http://remayfuy.airsofthost.com/images/small/grafici-di/ grafici di figure e di passi] [http://alpaddy.airsofthost.com/img/styles/video-ard/ video ard gratis] [http://remayfuy.airsofthost.com/images/small/rifugio-barba/ rifugio barba ferrero] [http://musica-la.giantlau.info musica la union] [http://banzlees.airsofthost.com/description/lib/occhiali-chanel.htm occhiali chanel] [http://lejenny.airsofthost.com/library/html/sun-napoli.htm sun napoli] [http://banzlees.airsofthost.com/description/lib/ce-ce.htm ce ce roger stay] [http://laortiz.airsofthost.com/view/new/the-rolling/ the rolling stones 4 flicks] [http://spadolini-giovanni.otrev4ro.info spadolini giovanni] [http://have-you.firethro.info have you ever seen the rain] [http://remayfuy.airsofthost.com/images/small/casi-hong/ casi hong nhung] [http://frgrossm.airsofthost.com/topic/tornio-da/ tornio da legno] [http://sex-girls.giantlau.info sex girls vree] [http://lejenny.airsofthost.com/library/html/opera-hits.htm opera hits] [http://hdurian.airsofthost.com/view/new/wifi-router.htm wifi router] [http://banzlees.airsofthost.com/description/lib/renault-scenic.htm renault scenic 2000] [http://frgrossm.airsofthost.com/topic/hard-disk/ hard disk estraibile e floppy] [http://rumote.airsofthost.com/lib/http-mms.htm http mms libero it legacy] [http://sentenza.cleric4u.info sentenza 7668 96] [http://lejenny.airsofthost.com/library/html/un-milione.htm un milione e mezzo di xbox a fine anno] [http://frgrossm.airsofthost.com/topic/perversione-mortale/ perversione mortale] [http://renault-clio.giantlau.info renault clio 1 2 2001] [http://banzlees.airsofthost.com/description/lib/programmi-antidialer.htm programmi antidialer] [http://collezionismo-cartoline.monbrenno.info collezionismo cartoline illustrate] [http://maheinze.airsofthost.com/data/casse-monitor.htm casse monitor] [http://laortiz.airsofthost.com/view/new/america-di/ america di notte 2] [http://laortiz.airsofthost.com/view/new/frigo-con/ frigo con vano cantina] [http://lettore-dvd.monbrenno.info lettore dvd divx xm400 pro] [http://kettler-rx.giantlau.info kettler rx1] [http://inizio-scuole.cleric4u.info inizio scuole] [http://banzlees.airsofthost.com/description/lib/beheaded-video.htm beheaded video iraq] [http://bp-m.giantlau.info bp 6m batteria nokia batterie per] [http://mountain-bike.giantlau.info mountain bike ciclismo] [http://lejenny.airsofthost.com/library/html/rally-monza.htm rally monza] [http://trentino-monte.cleric4u.info trentino monte baldo] [http://storia-di.giantlau.info storia di george washington] [http://lejenny.airsofthost.com/library/html/kawasaki.htm kawasaki 750] [http://maheinze.airsofthost.com/data/nokia-.htm nokia 7710 gps tomtom mobile] [http://alpaddy.airsofthost.com/img/styles/www-tiscali/ www tiscali italia it] [http://telecamere-digitale.monbrenno.info telecamere digitale con dvd] [http://banzlees.airsofthost.com/description/lib/bagate.htm bagate] [http://rumote.airsofthost.com/lib/fischia-il.htm fischia il vento] [http://banzlees.airsofthost.com/description/lib/sony-widescreen.htm sony widescreen] [http://rumote.airsofthost.com/lib/siti-di.htm siti di mauro picotto] [http://fine-settimana.otrev4ro.info fine settimana week end] [http://hdurian.airsofthost.com/view/new/lettori-mp.htm lettori mp3 portatili samsung] [http://laortiz.airsofthost.com/view/new/decorazioni-torte/ decorazioni torte panna] [http://rumote.airsofthost.com/lib/simbario.htm simbario] [http://remayfuy.airsofthost.com/images/small/tilt-ya/ tilt ya head back] [http://frgrossm.airsofthost.com/topic/assorbente-lodi/ assorbente lodi] [http://hdurian.airsofthost.com/view/new/testo-canzone.htm testo canzone cantante o] [http://l-isola.otrev4ro.info l isola dei famosi it] [http://rumote.airsofthost.com/lib/articoli-su.htm articoli su agatha christine] [http://laortiz.airsofthost.com/view/new/samsung-pc/ samsung pc2700] [http://rumote.airsofthost.com/lib/foto-d.htm foto d tanga] [http://laortiz.airsofthost.com/view/new/www-radiodj/ www radiodj it] [http://splucind.airsofthost.com/content/view/leave-get/ leave get out] [http://alpaddy.airsofthost.com/img/styles/lavoro-calabria/ lavoro calabria] [http://laortiz.airsofthost.com/view/new/harmankardon-hk/ harmankardon hk 970] [http://rumote.airsofthost.com/lib/vnc.htm vnc] [http://laortiz.airsofthost.com/view/new/c/ c 130] [http://hankou.otrev4ro.info hankou] [http://sony-cybershot.firethro.info sony cybershot dscs60] [http://cdar-alpine.firethro.info cda9851r alpine] [http://elverum.firethro.info elverum] [http://jaime-king.giantlau.info jaime king] [http://donna-classe.giantlau.info donna classe crociera] [http://lejenny.airsofthost.com/library/html/susu.htm susu] [http://ram-.cleric4u.info ram 72 pin] [[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