The C standard library is hamstrung by undefined behaviour versus implementation defined behaviour. This kills all attempts at offering reliable overflow-checks.
The biggest fulcrum is:
Can developers also build a complete copy of the standard library or must you be a language implementor? This is what killed Elm. And both Java and Clojure survived. Even a tool like a debugger can be added to the hotspot VM by developers as opposed to just language implementors. Yes, there are many details, but it isn’t precluded on principle.
Comments
The C standard library is hamstrung by undefined behaviour versus implementation defined behaviour. This kills all attempts at offering reliable overflow-checks.
The biggest fulcrum is: Can developers also build a complete copy of the standard library or must you be a language implementor? This is what killed Elm. And both Java and Clojure survived. Even a tool like a debugger can be added to the hotspot VM by developers as opposed to just language implementors. Yes, there are many details, but it isn’t precluded on principle.