News for hackers. Stuff that matters.

A comment on Announcing Rust 1.18. Parent comment

Re:Announcing Rust 1.18 by mrkgnao on Thursday June 08, 2017 @03:58PM (#14516755)
Would that be related to an existential type of the form

    foo :: a -> (forall b. Show b => b)
from Haskell?
[ Parent | on HN ]
Re:Announcing Rust 1.18 by steveklabnik on Thursday June 08, 2017 @04:10PM (#14516840)
Yes, it is. Generics are universals and impl Trait is extisentials. For more, the RFC gets into it https://github.com/rust-lang/rfcs/blob/master/text/1951-expa...
[ Parent | on HN ]