News for hackers. Stuff that matters.

A comment on Idiomatic Monads in Rust. Parent comment

Re:Idiomatic Monads in Rust by nine_k on Thursday April 04, 2019 @06:01PM (#19577545)
Rust not only has some good parts from FP; they are added thoughtfully enough to keep them logically sound. So the fact that there are math-backed theories behind them still matters.

With C++, I can't say the same is true. Some libraries try to alleviate that, of course.

[ Parent | on HN ]
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 ]