Hacker News Reader

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

View on HN

What 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.)

Reply on news.ycombinator.com