News for hackers. Stuff that matters.

A comment on Monads and GATs in Nightly Rust. Parent comment

Re:Monads and GATs in Nightly Rust by lambda_obrien on Friday December 11, 2020 @02:39PM (#25389880)
> Rust's type machinery is about exposing things

That makes sense, thanks for explaining that, I am used to Haskell but never used Rust.

[ Parent | on HN ]
Re:Monads and GATs in Nightly Rust by steveklabnik on Friday December 11, 2020 @02:59PM (#25390171)
No problem. I mean, in some sense, it's also about abstracting things, it's just that Rust cares about a lot more details than other languages, and those get reflected in type signatures.
[ Parent | on HN ]