From: ThoML <micathom@...>
Date: 2008-04-22T21:35:05+09:00
Subject: Re: Ruby and Contract Programming (was Ruby vs. Ada)

> My conclusion would be not to go for the throat of strongly typed
> languages (especially not Ada or OCaml) because it would be an error
> to try to occupy all niches of the ecosystem in general. In particular
> I see CP quite inadequate for the evolution of Ruby.

So don't use it then. Making it possible for others to incorporate
contracts in the source wouldn't oblige you to do so.

IMHO ada and ocaml are two rather different languages. The first
statically typed language that comes to mind when saying DBC would
IMHO rather be Eiffel.

Anyway, there is always a chance that an evolution comes to a quick
halt due to inadaptability.