Tony Morris

@dibblego @djspiewak @jonsterling @zooko @nuttycom I was responding to @djspiewak about writing OpenSSL in a non-C lang. How is it silly?

@raphscallion @dibblego @djspiewak @jonsterling @zooko compulsion to cater to bad languages for their interop needs seems silly.

@nuttycom @raphscallion @dibblego @djspiewak @jonsterling @zooko very easy to call any haskell code from C. very easy

@cartazio @nuttycom @dibblego @djspiewak @jonsterling @zooko What about laziness, GC, etc? How well would it work from other langs?

@raphscallion @cartazio @nuttycom @djspiewak @jonsterling @zooko Glad you asked! Easily. All beside the point of course.

@dibblego @cartazio @nuttycom @djspiewak @jonsterling @zooko I was addressing the question of interoperability, not of proof checkers.

@raphscallion @cartazio @nuttycom @djspiewak @jonsterling @zooko Oh OK. I think writing anything to do with SSL in C is extremely silly.

@dibblego @raphscallion @nuttycom @djspiewak @jonsterling @zooko well, you could totally write a C Lib that wraps up Vincents SSL lib