<a href="http://www.businessweek.com/the_thread/techbeat/archives/2009/01/nsa_dhs_industr.html?link_position=link3">http://www.businessweek.com/the_thread/techbeat/archives/2009/01/nsa_dhs_industr.html?link_position=link3</a>&nbsp; ... <br>
<br>I think that <a href="http://www.galois.com">http://www.galois.com</a> is already doing as stated in the article/ ...... I sincerely think there is a segway for Haskell here with strong and static type <br>checking.. <br>
<br>??<br><br>Vasili<br>