<html><body bgcolor="#FFFFFF"><div><font class="Apple-style-span" color="#005001"><font class="Apple-style-span" color="#000000"><br></font></font></div><blockquote type="cite"><div><span>While I can see your point about potentially introducing new security holes, and producing much less trusted code, I feel having tidy, pure libraries that we can all integrate into our Haskell is a benefit that far outweighs this. &nbsp;Especially when we have nice things like the type system, which can be used to alleviate many of the security worries.</span><br></div></blockquote><br><div>I agree in general, for code like servers and file formats, but I worry in particular about cryptographic primitives. Some side channel attacks seem to call for a very low-level language, to make it easier to verify that e.g. execution time and the memory access pattern does not depend on the key.</div><br>







      </body></html>