>>106987865
>>106988156
My programming language is not only memory safe (without requiring lifetime annotations), but also is resource safe, you can enforce the correct use of an API with minimal annotations, think of this as an effect system or design by contract but using a more semantic approach and without runtime overhead.