Hacker News new | ask | show | jobs
by pjmlp 2231 days ago
Actually that was already a thing in Mesa/Cedar, Modula-3, Oberon language family and Eiffel.

Sadly Java has not taken this into account, nor AOT support out of the box, and now it is catching up with it.
1 comments
jfkebwjsbx 2231 days ago
Eiffel does not enforce preconditions at compile time. What are you referring to?
link
pjmlp 2231 days ago
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)."

link