by Charles Esterbrook
This project appears to have gone dormant. It will be removed from the list soon unless new activity is noted.
.NET/Mono language with optional typing and contracts.

Right now, if you want software contracts in your language, how can you get them? The answer is to use Eiffel or D. What if you want static and dynamic binding? Use Objective-C or Boo. What if you want expressiveness and quick coding? Use Python, Ruby or Smalltalk. What if you want runtime performance? Use C#, Java, C++, etc. What if you want first class language support for unit tests? Use D.

But what if you want all of those? ... You can't get them! And that's frustrating because none of those productivity-boosting features are incompatible with each other. You shouldn't have to choose between C++'s speed, Python's expressiveness and Eiffel's contracts. There's no theoretical reason that you can't have it all. There's "just" a lot of work required to make it happen.

One way to characterize Cobra is with these high level points:

  • Quick, expressive coding
  • Fast execution
  • Static and dynamic binding
  • Language level support for quality
Information updated 02/05/15
View Comments