Hacker News Reader

There was one attempt at creating a language splitting both pure function and effectful procedures. Any construct with a procedure call was automatically/effectively typed as a procedure. But I can't recall the name so far..

View on HN

Unison is one example. Except it doesn't just differentiate between pure and effectful but also what combinations of effects are used.

Never heard about this one, thanks.

That’s cool function coloring.

C++ sort of has this, with const.

I am a fan of C++ const, but I don't really see what it has to do with effect labelling in this way.

Reply on news.ycombinator.com