11–20 of 27 posts
Earlier quoted context omitted.
You mean CLR?
https://en.wikipedia.org/wiki/Common_Language_Infrastructure
Which begs the question: you've written "Microsoft's CLI", which does make sense because they were the ones who've come up with it, but can't that be interpreted as a synonym for CLR? Maybe that's what 616c meant.
sorry 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.
edit: or OCaml, or F#.
Earlier quoted context omitted.
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.
Most of the people who would be using SML are using Haskell, hence why Robert Harper is so bitter, constantly writing blog posts about how much "Haskell sucks", and how "unsafe" it is. edit: or OCaml, or F#.
Harper has strong opinions, but he has a few points. Haskell may be great, but one should be aware that it is not an improvement on SML in each and every respect. For example, SML has a much better module system than Haskell.
Earlier quoted context omitted.
Most of the people who would be using SML are using Haskell, hence why Robert Harper is so bitter, constantly writing blog posts about how much "Haskell sucks", and how "unsafe" it is. edit: or OCaml, or F#.
I'm not sure it is right to speak of "most people". Many people use OCaml these days. For instance, I have the impression that in work on program verification and static analysis OCaml is more popular than Haskell. Coq is written in OCaml, for example. The Haskell community much more vocal though. Harper has strong opinions, but he has a few points. Haskell may be great, but one should be aware that it is not an impr…
"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....
Earlier quoted context omitted.
I'm not sure it is right to speak of "most people". Many people use OCaml these days. For instance, I have the impression that in work on program verification and static analysis OCaml is more popular than Haskell. Coq is written in OCaml, for example. The Haskell community much more vocal though. Harper has strong opinions, but he has a few points. Haskell may be great, but one should be aware that it is not an impr…
F# might already be more popular than both, but it's hard to tell for sure.
SML# 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.
It's not quite as smooth, as far as I know, but it will soon include C header consumption and C stub generation to both improve binding accuracy/safety and remove dynamic paths for performance.
Earlier quoted context omitted.
Most of the people who would be using SML are using Haskell, hence why Robert Harper is so bitter, constantly writing blog posts about how much "Haskell sucks", and how "unsafe" it is. edit: or OCaml, or F#.
I'm not sure it is right to speak of "most people". Many people use OCaml these days. For instance, I have the impression that in work on program verification and static analysis OCaml is more popular than Haskell. Coq is written in OCaml, for example. The Haskell community much more vocal though. Harper has strong opinions, but he has a few points. Haskell may be great, but one should be aware that it is not an impr…
sorry 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.)