SMLFamily/Successor-ML
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
TeX
Issues
- 3
Signature members
#39 opened by nilern - 4
Lack of expressivity of functors (type variables).
#24 opened by Ud71p - 0
"opening" datatypes
#53 opened by YawarRaza7349 - 16
Void type
#32 opened by eduardoleon - 11
More convenient opaque ascription
#27 opened by eduardoleon - 18
Foreign Function Interface
#25 opened by DemiMarie - 3
Polymorphic comparison
#22 opened by Ud71p - 5
laziness
#17 opened by RobertHarper - 1
definitions and sequencing
#11 opened by RobertHarper - 15
functor syntax
#8 opened by RobertHarper - 1
sharing and where clauses
#7 opened by RobertHarper - 10
`val rec` and nested match
#52 opened by minoki - 1
- 2
Smarter integer pattern matching
#45 opened by eduardoleon - 16
Restrictions on disjunctive patterns
#44 opened by JohnReppy - 0
Lightweight threads that can use all CPU cores
#43 opened by DemiMarie - 1
Pattern guards and disjunctive patterns
#42 opened by ratmice - 10
Pattern matching equality types
#36 opened by eduardoleon - 12
modular type classes
#18 opened by RobertHarper - 1
Parameterized signatures
#40 opened by nilern - 4
Higher-order functors
#41 opened by nilern - 10
fixity
#20 opened by RobertHarper - 14
rec syntax
#13 opened by RobertHarper - 5
line comments delimiter
#37 opened by const-rs - 1
rethinking data types
#19 opened by RobertHarper - 5
Lexical syntax for numeric literals.
#1 opened by JohnReppy - 1
End of line for line comments
#35 opened by atsampson - 2
Unicode in SML text
#33 opened by Hibou57 - 25
Relax string literal rules
#29 opened - 1
For - cycle?
#28 opened by const-rs - 6
String interpolation
#31 opened by YawarRaza7349 - 1
open
#14 opened by RobertHarper - 2
Integer/Word constants within string constants
#26 opened by ratmice - 9
clauses
#4 opened by RobertHarper - 2
The name of the language
#23 opened by Ud71p - 2
constructors
#5 opened by RobertHarper - 5
Segregation vs Integration
#10 opened by RobertHarper - 12
Evolution vs. revolution
#16 opened by JohnReppy - 0
Regular expressions
#21 opened by Ud71p - 1
minor issue with the definition
#6 opened by RobertHarper - 0
fixity
#15 opened by RobertHarper - 0
Laziness
#12 opened by RobertHarper - 0
Cost Dynamics
#9 opened by RobertHarper - 0
revisions
#3 opened by RobertHarper