Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
what sort of things should a type system for a systems language realistically be tracking? well how about whether some memory is initialised or not? in rust you might use MaybeUninit and some dynamic checks, but in a proper type system it would either be Uninit or something else.