I can totally see the case for prototyping, it makes some sense. I just think that by the time you are specifying something so clearly that the results are corr

I can totally see the case for prototyping, it makes some sense. I just think that by the time you are specifying something so clearly that the results are correct you may well be practically programming in a super high level dynamic language.