Research doesn't work like that. I like the idea of separating contract and implementation in algebraic effects. It might pave the way to bring back some sanity

Research doesn't work like that. I like the idea of separating contract and implementation in algebraic effects. It might pave the way to bring back some sanity to imperative languages and help us write better code, since it's pretty clear that the "real world" doesn't care much about pure functional languages no matter what they bring to the table. Or algebraic effects could be like monads, many like to talk about them while people building real stuff have no clue about it, nor do they care. But we'll never know unless we explore.