From: Caleb Clausen on
On 4/27/10, Bernhard Brodowsky <brodowsb(a)student.ethz.ch> wrote:
> The thing is, that I'm still somewhat suspicious if it's really
> impossible. I mean, if I write a program, I know what a certain method
> does. It's not that I write something and just hope that the
> nondeterministic Ruby does something useful, but I really am able to
> make correct programs. (Of course, I make mistakes, but that's something
> else, I just mean that I DO usually know, what a method does)

You might want to look into what work has been done on formal methods
for other dynamic languages, such as lisp, scheme, or smalltalk, since
all 3 of these will present similar problems. If there's a program
prover for lisp, there's hope for ruby as well.