That's a mischaracterisation of programming. The goal of programming is to communicate exact specifications, as any text on Pascal, Agda, Rust, C, TLA+ or Lustre will show. Exactness comes before all else.
That's a mischaracterisation of programming. The goal of programming is to communicate exact specifications, as any text on Pascal, Agda, Rust, C, TLA+ or Lustre will show. Exactness comes before all else.