I discovered Cobra last week, and it looks interesting. I've not programmed on mono before, nor done much with Python, so most things are new, but creating simple programs has not been too difficult so far. Some of the error messages are particularly helpful:
error: The left hand type of "!=" is not nilable (it's "int") so the expression will always evaluate to the right hand side. If you meant "does not equal" then use "<>". "a != b" means "a = a ! b" where "!" is an operator concerning nil.
The "If you meant" seemed specially tailored to the newcomer!
After trying some simple numerical tests, I've found Cobra runs in the same time as my equivalent Java programs. Which is very nice! I've been looking for a friendlier way to write some scientific software, and Cobra may fit the bill with its built-in support for contracts and tests.
I am using the version of Cobra from the Downloads page, 0.8.0 is what 'cobra --version' tells me. Is it worth upgrading to the latest version from SVN?