News for hackers. Stuff that matters.

A comment on AWS hires Rust compiler team co-lead Felix Klock. Parent comment

Re:AWS hires Rust compiler team co-lead Felix Klock by nullifidian on Saturday November 28, 2020 @05:52AM (#25236866)
I would be nice to have a document we can rely on and refer to, in case of subtle breakages and bugs. Alternative implementations could also be a possibility down the line. Having a formal spec would also help with code verification, i.e. you basically can't do it unless the language is specified.
[ Parent | on HN ]
Re:AWS hires Rust compiler team co-lead Felix Klock by jabl on Saturday November 28, 2020 @07:11AM (#25237087)
A formal, machine-readable specification could be useful. I wonder whether a specification in prose form is worth the effort.
[ Parent | on HN ]
Re:AWS hires Rust compiler team co-lead Felix Klock by cageface on Saturday November 28, 2020 @07:34AM (#25237173)
Why do we want alternate implementations?
[ Parent | on HN ]
Re:AWS hires Rust compiler team co-lead Felix Klock by Narishma on Saturday November 28, 2020 @11:50AM (#25238630)
There are some platforms where the current implementation doesn't run.
[ Parent | on HN ]