4 ms·
Code, called implementation here, is a specification written in a certain grammar that is executed. You want 'evidence' tsc is not working as it should, by wri
by Kuinox 4y ago
Code, called implementation here, is a specification written in a certain grammar that is executed.
You want 'evidence' tsc is not working as it should, by writting a duplicated less specifying specification that would sometimes conflict with the typescript one.
It make me remember the people that wanted to specify everything and generate implementation from it: that called a programming language.
- rk06 4y agoCode is meant for machine. Specification is meant for compiler author. Writing one of them is easier than otht
- randomdata 4y agoThey are not mutually exclusive. Code identifies a class of language. Specification identifies something that is conveyed through language. Specification can be provided in code. In fact, while poorly named, what we call testing is actually specification. A test suite specifies for software authors what a program is intended to do and how it is intended to be used. Of course, as a nice side bonus, because the specification is delivered in code the documentation can be validated for truthfulness against an implementation by machine.