News for hackers. Stuff that matters.
Re:Bosque Programming Language by pjmlp on Thursday May 14, 2020 @04:59AM (#23177165)
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.

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?
Re:Bosque Programming Language by pjmlp on Thursday May 14, 2020 @09:59AM (#23179572)
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)."