At the Oregon technology firm Galois, the programming language of choice is not C++, Java or Perl. Instead, the firm has embraced a lesser known, but up and coming language known as Haskell. That ...