News for hackers. Stuff that matters.

A comment on Morloc: Foreign languages unified under common functional type system.

Re:Morloc: Foreign languages unified under common functional... by butterisgood on Thursday July 29, 2021 @02:32PM (#27999826)
I'm not sure how this works with functions that have side effects. Perhaps they're banned?
[ Parent | on HN ]
Re:Morloc: Foreign languages unified under common functional... by arendsee on Friday July 30, 2021 @01:59AM (#28004903)
That is a very good question. Currently effects are outside the typesystem, but I'm planning on adding an algebraic effect system similar to the one used in Microsoft's Koka language.
[ Parent | on HN ]