Category:Standard ML: Difference between revisions
Content added Content deleted
No edit summary |
No edit summary |
||
(12 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
{{language |
|||
[http://hyundai-tucson-km-0.downslip.info/ hyundai tucson km 0] [http://netgear-agm731f.burblers.info/ netgear agm731f] [http://canton-le.indulger.info/ canton le] [http://bmw-e46.stroam.info/ bmw e46] [http://kv-427.batswing.info/ kv 427] [http://wrawler.info/index1_250.html home] [http://philips-sbc-hp250.burblers.info/ philips sbc hp250] [http://tama-rw100.unfeeble.info/ tama rw100] [http://autodesk-dwf-composer.wrawler.info/ autodesk dwf composer] [http://ain-t-that-a-kick-in-the-head.wrawler.info/ ain t that a kick in the head] [http://kaon-570-combo.burblers.info/ kaon 570 combo] [http://microfono-a-clip.batswing.info/ microfono a clip] [http://www-julia-hormon.wrawler.info/ www julia hormon] [http://crasc.batswing.info/ crasc] [http://adventure-circus.misserve.info/ adventure circus] [http://quadro-fx-1400.misserve.info/ quadro fx 1400] [http://let.downslip.info/ let] [http://dynax-4.burblers.info/ dynax 4] [http://indulger.info/index7_666.html site] [http://burblers.info/index1_666.html page] [http://netgear-108-mbps-wireless-adsl-firewall.burblers.info/ netgear 108 mbps wireless adsl firewall] [http://batswing.info/index7_666.html site] [http://unfeeble.info/index1_666.html site] [http://kosova.misserve.info/ kosova] [http://boy-band-velvet.downslip.info/ boy band velvet] [http://geforce-6800-agp-256mb.indulger.info/ geforce 6800 agp 256mb] [http://batswing.info/ batswing.info] [http://ebony-and-ivory.misserve.info/ ebony and ivory] [http://frankenweenie.downslip.info/ frankenweenie] [http://fuji-s20pro.misserve.info/ fuji s20pro] [http://dave-gahan.wrawler.info/ dave gahan] [http://groove-covergirl.batswing.info/ groove covergirl] [http://famosas.wrawler.info/ famosas] [http://the-baby-morgan.downslip.info/ the baby morgan] [http://batswing.info/index3_1000.html site] [http://nik-novecento.indulger.info/ nik novecento] [http://ibm-x206.misserve.info/ ibm x206] [http://batswing.info/index2_666.html home] [http://mechcommander-2.downslip.info/ mechcommander 2] [http://sf-6900.wrawler.info/ sf 6900] [http://she-will-be-loved-dei-marron-5.downslip.info/ she will be loved dei marron 5] [http://ralph-and-monty.unfeeble.info/ ralph and monty] [http://www-fgci-com.unfeeble.info/ www fgci com] [http://calaio.unfeeble.info/ Calaio] [http://misserve.info/index2_666.html url] [http://damping-factor.misserve.info/ damping factor] [http://ps2-pc-usb.downslip.info/ ps2 pc usb] [http://tod-s-calzature.wrawler.info/ tod s calzature] [http://dj-dabo-mix.unfeeble.info/ dj dabo mix] [http://burblers.info/index1_666.html page] [http://burblers.info/ burblers.info] [http://ctu-24.stroam.info/ ctu 24] [http://nuovo-scanner-da-epson.misserve.info/ nuovo scanner da epson] [http://cupido-ro.unfeeble.info/ cupido ro] [http://net-force.stroam.info/ net force] [http://pentax-espio.unfeeble.info/ pentax espio] [http://muniz.misserve.info/ muniz] [http://pocket-pc-gps-tom-tom.indulger.info/ pocket pc gps tom tom] [http://lg-lcd-15.wrawler.info/ lg lcd 15] [http://unfeeble.info/index7_666.html page] [http://video-bondage.wrawler.info/ Video bondage] [http://cucine-smeg.burblers.info/ cucine smeg] [http://impladent.stroam.info/ impladent] [http://wrawler.info/index2_250.html link] [http://stroam.info/ stroam.info] [http://dj-ralf-house-chart.downslip.info/ dj ralf house chart] [http://default.unfeeble.info/ default] [http://i-dont-wonna-now.burblers.info/ i dont wonna now] [http://culi-film-dvd.batswing.info/ culi film dvd] [http://downslip.info/index3_1000.html homepage] [http://l10-279.downslip.info/ l10 279] [http://dvb-s.batswing.info/ dvb s] [http://himno-real-madrid.wrawler.info/ himno real madrid] [http://sport-auto.unfeeble.info/ sport auto] [http://misserve.info/index4_250.html index] [http://teanna-kai.unfeeble.info/ teanna kai] [http://www-telecom-com-ar.indulger.info/ www telecom com ar] [http://circulado.stroam.info/ circulado] [http://wsb-cesena.burblers.info/ wsb cesena] [http://unfeeble.info/index4_250.html map] [http://amstrad-d-250.wrawler.info/ amstrad d 250] [http://lumidee-ft-speedy.unfeeble.info/ lumidee ft speedy] [http://pockemon.stroam.info/ pockemon] [http://www-ytv-com.downslip.info/ www ytv com] [http://ricoh-type-1265.downslip.info/ ricoh type 1265] [http://feetlover.downslip.info/ feetlover] [http://cubic.stroam.info/ cubic] [http://rayban-com.indulger.info/ Rayban com] [http://frenchcum-com.burblers.info/ frenchcum com] [http://on-sweat-day.downslip.info/ on sweat day] [http://john-travolta.batswing.info/ john travolta] [http://carta-comune-fax.batswing.info/ carta comune fax] [http://housekeeping.batswing.info/ housekeeping] [http://downslip.info/index1_1000.html url] [http://indulger.info/index6_1000.html map] [http://moutsatsou.unfeeble.info/ moutsatsou] [http://akai-ac-200.indulger.info/ akai ac 200] [http://mucca--in--fuga.misserve.info/ mucca in fuga] [http://indulger.info/index2_250.html home] [http://bmw-530d-touring-2003.indulger.info/ bmw 530d touring 2003] |
|||
|exec=machine |
|||
[[Category:Solutions by Programming Language]] |
|||
|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
![Language](http://static.miraheze.org/rosettacodewiki/thumb/2/27/Rcode-button-language-crushed.png/64px-Rcode-button-language-crushed.png)
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