Re:Bosque Programming Language
by jfkebwjsbx on Thursday May 14, 2020 @08:50AM
(#23178815)
Eiffel does not enforce preconditions at compile time. What are you referring to?
I was only referring to:
" Is that the only thing it does to provide a C++-like "resource efficient and predictable runtime"? After all, that's basically Swift (or Python+static types). I think the main improvement that C++ (and C# and Go) have over languages like Java is ability to avoid heap-allocated objects (i.e. stack-allocated structs)."
Sadly Java has not taken this into account, nor AOT support out of the box, and now it is catching up with it.