I asked this on slido but the session chair skipped it: how would the introduction of type-case in Idris2 change the design of this FFI? I have a hunch that it would simplify the OCaml_Types encoding.
-
-
-
I think the Idris 2 ffi will be much simpler overall
End of conversation
New conversation -
-
-
But how's the pythag benchmurk doing?
-
They showed that one :)
- 1 more reply
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This is a proof of concept written by Stephen Dolan as a response to a joke. It generates Malfunction from a defunctionalised Idris IR, but it inspired us to explore further.
End of conversation
New conversation -
-
But where's the Chez Scheme FFI? Or PHP?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.