alt Hacker News> Why IO is more important than "may panic", "uses bounded stack", "may perform allocations", etc.?
Rust could use these markers as well.
> Why IO is more important than "may panic", "uses bounded stack", "may perform allocations", etc.?
Rust could use these markers as well.
I agree. But it should be done with a proper effect system, not a pile of ad hoc hacks built on abuse of the type system.