News for hackers. Stuff that matters.
Re:Parse, Don't Validate (2019) by ukj on Saturday June 26, 2021 @02:38PM (#27644614)
Yes this is precisely what I am talking about.

Different implementations of eval() a.k.a different programming languages have different semantics.

Which implicit eval() implementation does the above hold?

What type system do you have in mind such that the above holds for ALL expressions. Type-checking itself is not always decidable.

There are no comments on this comment yet.