News for hackers. Stuff that matters.

A comment on Summer of Programming Languages. Parent comment

Re:Summer of Programming Languages by gnuvince on Monday July 07, 2014 @01:31AM (#7997224)
I recall reading that when Niko joined the Rust project, he kept uncovering places where the type system was unsound and was instrumental in making Rust type-safe. Can anyone confirm?
[ Parent | on HN ]
Re:Summer of Programming Languages by pcwalton on Monday July 07, 2014 @12:41PM (#7999717)
Well, we basically knew where the problems were, but Niko helped us come up with a way to fix them that was usable (the borrow check).
[ Parent | on HN ]