Category:Standard ML: Difference between revisions
Content added Content deleted
(Added some features, type expression looks implicit (check me)) |
(SML is compiled to machine code) |
||
Line 1: | Line 1: | ||
{{language |
{{language |
||
|exec=machine |
|||
|strength=strong |
|strength=strong |
||
|checking=static |
|checking=static |
Revision as of 08:17, 31 July 2009
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.
Execution method: | Compiled (machine code) |
---|---|
Type strength: | Strong |
Type expression: | Implicit |
Type checking: | Static |
See Also: |
|
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).
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 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