News for hackers. Stuff that matters.
Re:A Tour of Standard ML by dllthomas on Wednesday January 29, 2020 @03:30PM (#22185455)
Idris is eagerly evaluated.
Re:A Tour of Standard ML by hajile on Wednesday January 29, 2020 @03:54PM (#22185695)
You are correct (I'm sorry, I don't know much more than what I read in a cursory inspection some time ago). I should have called it the "lazy and/or completely immutable" category.
Re:A Tour of Standard ML by owl57 on Wednesday January 29, 2020 @04:10PM (#22185870)
As are PureScript and Elm. Maybe "lazy" is just no longer a good name for the branch as a whole, given that it keeps growing new eager leaves.