But I bet Python has a loopholes in the type system as well. I mean you can take...

kummappp on Aug 5, 2020 | parent | context | favorite | on: A Plea for Lean Software (1995) [pdf]

But I bet Python has a loopholes in the type system as well. I mean you can take the stack, and modify the running code in every way possible at runtime, but it is a slightly mad thing to do.