Re:Parse, Don't Validate (2019)
by ukj on Saturday June 26, 2021 @01:17PM
(#27643772)
Perfect!
Please produce a piece of code (in a language such as Coq or Agda) which proves whether any given piece of random data has the type “C++ compiler” or “C++ program”.
That is the epitome of static type-checking, right?
Please produce a piece of code (in a language such as Coq or Agda) which proves whether any given piece of random data has the type “C++ compiler” or “C++ program”.
That is the epitome of static type-checking, right?