News for hackers. Stuff that matters.

A comment on Idiomatic Monads in Rust. Parent comment

Re:Idiomatic Monads in Rust by rujuladanh on Thursday April 04, 2019 @08:26PM (#19578483)
What math-backed theories? Why do they matter? Do you mean for the compiler team or for the users?
[ Parent | on HN ]
Re:Idiomatic Monads in Rust by nine_k on Friday April 05, 2019 @02:01PM (#19585341)
Hindley-Milner type inference and linear types (used indirectly for lifetimes) spring to mind.
[ Parent | on HN ]
Re:Idiomatic Monads in Rust by rujuladanh on Saturday April 06, 2019 @04:04PM (#19592712)
Those are useful for compiler devs and language designers, not so much for the average user of the language.
[ Parent | on HN ]