>Programming Language authors love to formalize everything Everything but writin... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		no_time on Nov 23, 2021 \| parent \| context \| favorite \| on: Rust Moderation Team Resigns >Programming Language authors love to formalize everything Everything but writing a formal specification for some reason.

seanmcdirmid on Nov 23, 2021 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact