RE: mastodon.social/@wingo/1156489

i think i am still in a state of grief at the idea that one can't use the most advanced reusable compiler toolkit that humanity has produced on an arbitrary program that has been proven to have no unsafe behavior with respect to the language semantics...

...because compiling that code might cause the compiler itself to behave unsafely

0

If you have a fediverse account, you can quote this note from your own instance. Search https://mastodon.social/users/wingo/statuses/115650558385893877 on your instance and quote it. (Note that quoting is not supported in Mastodon.)