@dibblego @djspiewak @jonsterling @zooko @nuttycom on which point?
-
@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@raphscallion@nuttycom@djspiewak@jonsterling@zooko indeed. the C ffi for calling haskell code just works. idiot proofThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@cartazio@nuttycom@djspiewak@jonsterling@zooko I was addressing the question of interoperability, not of proof checkers. -
@raphscallion@dibblego@nuttycom@djspiewak@jonsterling@zooko interop just works. hs_init() ; yourHaskellFunction() ; // DONE
End of conversation
New conversation -
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.