Category:Standard ML: Difference between revisions
Content added Content deleted
(Undo revision 9220 by Special:Contributions/85.17.186.161 (User talk:85.17.186.161)) |
No edit summary |
||
| 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 12:37, 29 October 2007
hyundai tucson km 0 netgear agm731f canton le bmw e46 kv 427 home philips sbc hp250 tama rw100 autodesk dwf composer ain t that a kick in the head kaon 570 combo microfono a clip www julia hormon crasc adventure circus quadro fx 1400 let dynax 4 site page netgear 108 mbps wireless adsl firewall site site kosova boy band velvet geforce 6800 agp 256mb batswing.info ebony and ivory frankenweenie fuji s20pro dave gahan groove covergirl famosas the baby morgan site nik novecento ibm x206 home mechcommander 2 sf 6900 she will be loved dei marron 5 ralph and monty www fgci com Calaio url damping factor ps2 pc usb tod s calzature dj dabo mix page burblers.info ctu 24 nuovo scanner da epson cupido ro net force pentax espio muniz pocket pc gps tom tom lg lcd 15 page Video bondage cucine smeg impladent link stroam.info dj ralf house chart default i dont wonna now culi film dvd homepage l10 279 dvb s himno real madrid sport auto index teanna kai www telecom com ar circulado wsb cesena map amstrad d 250 lumidee ft speedy pockemon www ytv com ricoh type 1265 feetlover cubic Rayban com frenchcum com on sweat day john travolta carta comune fax housekeeping url map moutsatsou akai ac 200 mucca in fuga home bmw 530d touring 2003 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