News for hackers. Stuff that matters.
Re:Rewriting TypeScript in Rust? You'D have to be by zokier on Wednesday December 14, 2022 @11:21AM (#33985720)
> But at least formal methods tools can be applied directly to the specification

What makes you think that? For example for C language it has been significant effort to translate the specification to something analyzable by tools

There are no comments on this comment yet.