2 ms·
>Programming Language authors love to formalize everything Everything but writing a formal specification for some reason.
by no_time 5y ago
>Programming Language authors love to formalize everything
Everything but writing a formal specification for some reason.
- seanmcdirmid 5y agoThere 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.