SML#: a new Standard ML family programming language
pllab.riec.tohoku.ac.jp
SML#: a new Standard ML family programming language
1–10 of 27 posts
Re: SML#: a new Standard ML family programming language
#2Strange choice of name given that it doesn't build on Microsoft's CLI at all.
Re: SML#: a new Standard ML family programming language
#3Strange choice of name given that it doesn't build on Microsoft's CLI at all.
You mean CLR?
Re: SML#: a new Standard ML family programming language
#4Strange choice of name given that it doesn't build on Microsoft's CLI at all.
You mean CLR?
Re: SML#: a new Standard ML family programming language
#5"Functional record update" [1] was the one missing feature that bothered me most about Standard ML. If you want to change one element in a record, you've got to specify explicitly that every other element in the record didn't change.
[1] http://www.pllab.riec.tohoku.ac.jp/smlsharp/docs/1.0/en/Ch4....
Re: SML#: a new Standard ML family programming language
#6Strange choice of name given that it doesn't build on Microsoft's CLI at all.
'In 1993, Atsushi Ohori extended the Standard ML of New Jersey compiler at Kansai Laboratory of Oki Electric, and named the experimental prototype SML# of Kansai. [..] The name SML# of Kansai symbolizes the field selector #〈label〉, which was given a polymorphic type for the first time by this compiler.'
http://www.pllab.riec.tohoku.ac.jp/smlsharp/docs/1.0/en/Ch1....
It predates it, actually.
Re: SML#: a new Standard ML family programming language
#7SML# is one of the lesser known SML implementations, although it's a quite good one. The only thing that I found impractical,... you can only link 32bit libs, which is very odd on todays 64bit Systems.
Nevertheless, the thing I like most at SML# is the excellent FFI. You can just pass SML-records or SML-functions to C. SML# is very powerful if you code your applications in SML and C.
Re: SML#: a new Standard ML family programming language
#8sorry to ask, but who uses SML nowadays and for what do they use it? (I know about it's descendants or languages influenced/inspired by it, like OCaml, F# and the less related Haskell, but nothing hits the news about SML projects.)
Re: SML#: a new Standard ML family programming language
#9Good to know about this alternative. SML was a great language, and deserves to live on. OCaml is not really a successor to SML because of its object-oriented features and its lack of backward compatibility to SML.
Re: SML#: a new Standard ML family programming language
#10sorry to ask, but who uses SML nowadays and for what do they use it? (I know about it's descendants or languages influenced/inspired by it, like OCaml, F# and the less related Haskell, but nothing hits the news about SML projects.)
Although SML is such a beautiful and pragmatic language and has many Compilers and Runtimes, I am not aware of any real world projects with impact other than the well-known SML compilers (Mlton, SMLNJ, MosML, Poly ... to only name a few).
Usage of SML results in very short, readable and efficient programs, so I wonder why there is only so little industry adoption.