News for hackers. Stuff that matters.

A comment on Rust Moderation Team Resigns. Parent comment

Re:Rust Moderation Team Resigns by no_time on Tuesday November 23, 2021 @07:29AM (#29317036)
>Programming Language authors love to formalize everything

Everything but writing a formal specification for some reason.

[ Parent | on HN ]
Re:Rust Moderation Team Resigns by seanmcdirmid on Tuesday November 23, 2021 @07:45AM (#29317139)
There are programming language theorists and practitioners who love writing formal specifications. They are just too busy doing that to author many languages. Formal specs are expensive.
[ Parent | on HN ]