Category:Standard ML: Difference between revisions
Content added Content deleted
No edit summary |
m (Reverted edits by 134.174.13.235 (Talk); changed back to last version by IanOsgood) |
||
| Line 1: | Line 1: | ||
[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] |
|||
[[Category:Solutions by Programming Language]] |
[[Category:Solutions by Programming Language]] |
||
'''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. |
'''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. |
||
Revision as of 14:40, 29 October 2007
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).
Implementations:
- Standard ML of New Jersey (wikipedia): a Princeton compiler and programming environment
- MLton (mlton.org): a whole program optimizing compiler
- Moscow ML (dina.kvl.dk): a derived codebase from Caml Light
Citations
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 200 pages are in this category, out of 301 total.
(previous page) (next page)A
- A+B
- ABC problem
- Abstract type
- Accumulator factory
- Ackermann function
- Algebraic data types
- Align columns
- Animation
- Anonymous recursion
- Apply a callback to an array
- Arbitrary-precision integers (included)
- Arithmetic evaluation
- Arithmetic-geometric mean
- Arithmetic/Complex
- Arithmetic/Integer
- Array concatenation
- Array length
- Arrays
- Assertions
- Averages/Arithmetic mean
- Averages/Root mean square
B
C
- Calculating the value of e
- Call a foreign-language function
- Cartesian product of two or more lists
- Case-sensitivity of identifiers
- Catalan numbers
- Catamorphism
- Character codes
- Check input device is a terminal
- Check output device is a terminal
- Check that file exists
- Church numerals
- Closures/Value capture
- Color of a screen pixel
- Combinations
- Combinations with repetitions
- Comma quibbling
- Command-line arguments
- Comments
- Compiler/lexical analyzer
- Compound data type
- Concurrent computing
- Constrained random points on a circle
- Continued fraction/Arithmetic/G(matrix ng, continued fraction n)
- Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2)
- Convert seconds to compound duration
- Convex hull
- Copy a string
- Copy stdin to stdout
- Count in octal
- Count occurrences of a substring
- Create a file
- Create a two-dimensional array at runtime
- Create an HTML table
- Currying
D
E
- Element-wise operations
- Empty directory
- Empty program
- Empty string
- Entropy
- Enumerations
- Environment variables
- Euler method
- Evaluate binomial coefficients
- Even or odd
- Exceptions
- Execute a system command
- Execute Brain****
- Exponentiation operator
- Extend your language
- Extract file extension
- Extreme floating point values
F
- Factorial
- Factors of an integer
- Fibonacci sequence
- File input/output
- File modification time
- File size
- Filter
- Find common directory path
- Find limit of recursion
- First-class functions
- FizzBuzz
- Flatten a list
- Floyd-Warshall algorithm
- Fork
- Formatted numeric output
- Forward difference
- Fractal tree
- Function composition
- Function definition
G
H
I
K
L
- Leap year
- Least common multiple
- Left factorials
- Linear congruential generator
- Linux CPU utilization
- Literals/Integer
- Literals/String
- Logical operations
- Long literals, with continuations
- Longest common prefix
- Longest common suffix
- Longest increasing subsequence
- Loop over multiple arrays simultaneously
- Loops/Foreach
- Loops/Increment loop index within loop body
- Loops/Infinite
- Loops/While
- Ludic numbers
- Luhn test of credit card numbers