The Lagoona programming language is supposed to naturally and fully support Component Oriented Programming (and DbC) according to: this article and is implemented in .Net; but I didn't find the compiler, specification nor examples of code for it. Does anyone know where/how to get any/all of those (compiler, specification or code examples)?
I found the .Net implementation, its called Lava and there's a "Programming Environment" for it called LavaPE; the two go hand in hand, the LavaPE is synonymous with Lava; which is what Jeff Atwood says in this article that would happen with future languages. I wonder if it'll ever get to mainstream, maybe in a decade, we'll see.