Java 8, released in 2014, introduced lambdas and the possibility to write code in a functional style through streams of elements. C++11 standard was published in 2011, and it introduced lambdas too, which altogether with old and new functions in algorithm (e.g. accumulate(), for_each(), count(), transform()) allow for a functional style in C++.
My few encounters with Go were pleasant and I stick to the idea that it is a good language.
Sather's way for loops is interesting: you have iterators which yield giving the control back to the caller, very much like coroutines do.
Once upon a time, there was Sather… I've briefly said it exists in a previous old article, Languages, OOP, Sather et al..
The first language which put emphasis on design by contract was Eiffel. It seems that the term is born with/for it.
Declaring preconditions, postconditions, and invariants, and actually checking them at runtime are two different things.
Ada's concurrency facility (tasks) reminds me of Erlang's concurrency facility. I am not fluent in any of these two languages but I like them — Ada is a fresh new entry in the list: seen a bit of it ages ago and I thought to dislike it. Now I'm looking into it again and a litte bit deeper, and I started to like it…
