Could a “safe” version of the standard lib ever exist? Which could be used to replace with the normal standard lib, but without the functions that throw runtime exceptions, and instead returned nullable types or Either style sum types? Alternatively the unsafe functions could somehow fail the build if you use them.
Kind of like how you can use Prelude replacements in Haskell.