Search result for Sounce http://www.nnseek.com/Sounce_s.html Search results for Sounce Tue, 28 Nov 2006 15:38:54 PST http://www.nnseek.com/ http://www.nnseek.com/ http://www.nnseek.com/img/64.png 64 64 NNSeek <![CDATA[Re: Why purely functional languages?]]> http://www.nnseek.com/e/comp.lang.functional/why_purely_functional_languages_12742403m.html http://www.nnseek.com/e/comp.lang.functional/why_purely_functional_languages_12742403m.html From what you said in {stuff deleted}, it sounded like you wanted people to manually prove the correctness of the generated assembly, rather than proving the correctness of the high level sounce code. While I could see this being worth while for some programs, it also seems like it would be worth writing those programs in assembly in the first place. No, I want some tool ...

  Posted In: comp.lang.functional   no comments   Reply
]]> Tue, 28 Nov 2006 15:38:54 PST