Re:The History of Standard ML [audio]
by Athas on Tuesday July 13, 2021 @01:20PM
(#27823567)
If you took SML and removed reference cells and the parts of the standard library that involve IO, then you'd have a pure language (depending on whether you consider exceptions to be effects). It would not be useful for application programming, but would be fine for teaching functional programming.
[ Parent
| on HN ]
Re:The History of Standard ML [audio]
by hcarvalhoalves on Tuesday July 13, 2021 @01:56PM
(#27824011)
The Hope language would be a educational SML w/o side-effects.
That's true. I think it also ties into best practices such as hexagonal architecture, DDD, and the "functional core, imperative shell" idea. You design the core of your program as data and pure functions, and then call that part from parts of the program that use IO. Maybe something like when scheme is used for teaching could work, with different "language levels", where some part disallow IO and reference cells. Or maybe a different file extension that's checked by the compiler to be pure. This could be a great way to teach functional programming but also software engineering.