saityi

6 ms·

31.
by saityi 7y ago
I like to use SML/NJ for development and experimentation, and MLton for final compilation. SML/NJ is a really nice development environment, and using a different compiler like MLton or Poly/ML for the final compilation forces
32.
by saityi 7y ago
It is, and it still exists... it's also a brand new compiler, instead of one with nearly 30 years of development on it, and a brand new ecosystem, instead of having the massive amount of hours that Haskell has in it. Idris is really ni
33.
by saityi 7y ago
You are correct, and I will fix it. The goal here was to encourage recursion and assuage fears of recursion coming from other languages: if I remember correctly, Standard ML does define semantics around 'expansive expressions' whi
34.
by saityi 7y ago
Thanks for checking it out! :)
35.
by saityi 7y ago
Thank you for checking it out!
36.
by saityi 7y ago
'A Tour of Go' inspired this. The format and some of the material come from there. I think it ended up shorter than the Go tour, and I was hoping it would be very easy to learn Standard ML from it, as I do consider it to be very e
37.
by saityi 7y ago
Yep! I will get that fixed. Thank you for the feedback! If you find anything else, issues and feedback are also welcome on the issue tracking @ https://github.com/Saityi/a-tour-of-standard-ml/issues -- I'm pr
38.
by saityi 7y ago
The smallness of SML is a big part of why this is 'A Tour of Standard ML' instead of 'A Tour of OCaml' or 'A Tour of Haskell'. It's small enough to learn in a couple days (in my mind!), but it has all of t
39.
A Tour of Standard ML(saityi.github.io)
279 points by saityi 7y ago|133 comments
40.
by saityi 7y ago
I think 'unchecked' would be a bit of a misnomer; code inside of unsafe blocks is still checked by the compiler for many things. The borrow checker is even on IIRC.
41.
by saityi 7y ago
It's been almost a couple decades, and I've not watched Return of the King, but I felt Faramir's changes were especially egregious. I've heard Return of the King didn't even have the Scouring of the Shire. There wer