@raphscallion @djspiewak @jonsterling @zooko @nuttycom This is a) silly b) completely irrelevant to the original point.
-
-
Replying to @dibblego
@dibblego@djspiewak@jonsterling@zooko@nuttycom I was responding to@djspiewak about writing OpenSSL in a non-C lang. How is it silly?4 replies 0 retweets 0 likes -
Replying to @raphscallion
@raphscallion@dibblego@djspiewak@jonsterling@zooko compulsion to cater to bad languages for their interop needs seems silly.4 replies 0 retweets 1 like -
Replying to @nuttycom
@nuttycom@raphscallion@dibblego@djspiewak@jonsterling@zooko very easy to call any haskell code from C. very easy1 reply 0 retweets 0 likes -
Replying to @cartazio
@cartazio@nuttycom@dibblego@djspiewak@jonsterling@zooko What about laziness, GC, etc? How well would it work from other langs?2 replies 0 retweets 0 likes -
Replying to @raphscallion
@raphscallion@cartazio@nuttycom@djspiewak@jonsterling@zooko Glad you asked! Easily. All beside the point of course.2 replies 0 retweets 0 likes -
Replying to @dibblego
@dibblego@cartazio@nuttycom@djspiewak@jonsterling@zooko I was addressing the question of interoperability, not of proof checkers.3 replies 0 retweets 0 likes -
Replying to @raphscallion
@raphscallion@dibblego@nuttycom@djspiewak@jonsterling@zooko seriously, don’t make up shit2 replies 0 retweets 0 likes -
Replying to @cartazio
@cartazio@dibblego@nuttycom@djspiewak@jonsterling@zooko what shit did I make up?1 reply 0 retweets 0 likes -
Replying to @raphscallion
@raphscallion@dibblego@nuttycom@djspiewak@jonsterling@zooko something about ghc not supporting exporting C callable functions2 replies 0 retweets 0 likes
@cartazio @raphscallion @nuttycom @djspiewak @jonsterling @zooko Well, the pessimistic assumption, just because the other cars crashed.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.