3 ms·
Well, OCaml is indeed rather popular for implementing compilers for new languages (sometimes later bootstrapped), including ones which became rather popular. I
by afrisch 8y ago
Well, OCaml is indeed rather popular for implementing compilers for new languages (sometimes later bootstrapped), including ones which became rather popular. I can think of F#, Rust, Elm, Haxe, FlowType for instance.
- pera 8y agoWas Elm originally implemented in OCaml? I thought it was Haskell. Another two relatively popular languages implemented in Haskell are Idris and Agda.
- Shoop 8y agoElm is still implemented in Haskell. Self-hosting isn't a goal.
- specializeded 8y agoThey might have meant ReasonML, both it and Elm interop w/ JS https://github.com/facebook/reason https://github.com/facebook/reason
- afrisch 8y agoI could have added reasonml to the list indeed, but reasonml really is (a different syntax for) ocaml.
- afrisch 8y agoYes sorry, Elm is indeed implemented in Haskell.
- ecnahc515 8y agoThere's also a project for implementing a prolog like interpreter for doing type checking and other logic for Rust, I think it works on the MIR level, but could be wrong on that.