Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
to give you some idea of what i mean, imagine that every time you write an unsafe block, you have to specify the category of unsafe behaviour you unlock. the default unsafe would be something like
unsafe(memory).holy shit wouldn't that be a more useful mechanism right there for anyone who gives a shit about correctness?