The key reason I am looking at this kind of technology is because I have a large block of code in a situation where it is very difficult to do functional or uni

The key reason I am looking at this kind of technology is because I have a large block of code in a situation where it is very difficult to do functional or unit tests due to system design. Being able to write in a language that statically analyzes my code for all the errors it can before my poor customers encounter it sounds like a huge win. The maintenance goal is being able to catch my fat-fingers and design flaws prior to rollout. * I suppose if I had to quantify the maintenance timespan, I'd make a WAG of 5-7 years, possibly 10. * It's also probable that after its solid now, in 5-7 years I will be doing other things and unable to be reassigned to work on this full-time. So it has to be other-people-hackable.