From: davidlovemore@gmail.com   
      
   One of the things that makes ML good is that it is pretty hard to make   
   an error that get past the type checker.   
      
   It is not only the matching, which allows easy testing and unpacking   
   of compound data types, but its insistance that every case is checked   
   that is useful.   
      
   Also functional purity has many advantages.   
      
   To answer your question though, Haskell is a language you should be looking at.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)