3 ms·
Can BuckleScript translate (some?) Coq output to JavaScript? If so, what are the limitations? UPDATE: Looks like the answer is (usually) "no"—Ocaml code genera
by erichocean 11y ago
Can BuckleScript translate (some?) Coq output to JavaScript? If so, what are the limitations?
UPDATE: Looks like the answer is (usually) "no"—Ocaml code generated by Coq frequently uses Obj.magic, which BuckleScript does not support. sigh
- jeffsco 11y agoWhat happens if you declare an external function of type 'a -> 'b? Obj.magic is trivial to implement, it's just the typing that is wonky. (Disclaimer: I have never looked at BuckleScript or js_of_ocaml.)