Re:Rust’s async isn’t colored
by zozbot234 on Thursday March 11, 2021 @06:41AM
(#26422968)
Rust has its own colored functions problems due to the whole Fn/FnMut/FnOnce distinction, based on the properties of closures' captured state. It's bad enough that some folks would say Rust functions are not genuinely first class, and it's also why some features that are common in other functional languages (including monads as generally understood in FP) are challenging in Rust.
It may be possible to come up with some more elegant solution to the overall issue by adding linearity to the Rust type system, but clearly this comes with its own issues wrt. ergonomics. All of these are really complex, research-level problems, and it's not clear whether they can be addressed sufficiently in an overtly "practical" PL design.
It may be possible to come up with some more elegant solution to the overall issue by adding linearity to the Rust type system, but clearly this comes with its own issues wrt. ergonomics. All of these are really complex, research-level problems, and it's not clear whether they can be addressed sufficiently in an overtly "practical" PL design.