On Friday, January 13, 2017 at 10:10:28 AM UTC-7, Joey Eremondi wrote: > > Even a direct Elm to OCaml translation wouldn't be too hard. Elm is not > the same as OCaml, but my understanding is that most of its features are > included in Elm (row polymorphism, strict evaluation, > first-class-functions). OCaml has lots of features Elm doesn't want (like > mutable references) but that's not a problem, and could even allow for some > nice backend optimizations. > > This would also provide a really nice way to do Elm on the backend. The > big question is, how to write such a translator? Are the Haskell libraries > for generating OCaml? Or would the compiler need to be written in OCaml? >
No clue about Haskell libraries, but at the very least you could just do a textual translation from Haskell. However by using the OCaml compiler libraries you'd save time and it would save a lot of code regardless. And yep, OCaml has everything that Elm uses and a lot more that could be used for some optimizations, but to start a direct translation would be easy. Even the direct OCaml code is 'almost' identical to Elm. You know the normal ELM Form example at http://elm-lang.org/examples/form? Here is the same thing in OCaml: https://github.com/OvermindDL1/bucklescript-testing/blob/master/src/main_form.ml 'Almost' identical, and some of the non-identical parts are just minor API changes in this example. But yes, translating Elm to OCaml/Bucklescript would not at all be a hard task. :-) -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
