http://www.businessweek.com/the_thread/techbeat/archives/2009/01/nsa_dhs_industr.html?link_position=link3 ...
I think that http://www.galois.com is already doing as stated in the article/ ...... I sincerely think there is a segway for Haskell here with strong and static type checking.. ?? Vasili
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
