Effect Systems: Type-Level Side Effects, and Whether Mainstream Languages Will Ever Adopt Them
A function’s type can already say what it returns. Effect systems ask it to say what it does on the way there. Type systems have spent the last decade absorbing ideas that used to...