top | item 17672203

(no title)

afrisch | 7 years 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.

discuss

pera|7 years ago

Was Elm originally implemented in OCaml? I thought it was Haskell.

Another two relatively popular languages implemented in Haskell are Idris and Agda.

specializeded|7 years ago

They might have meant ReasonML, both it and Elm interop w/ JS

https://github.com/facebook/reason

Shoop|7 years ago

Elm is still implemented in Haskell. Self-hosting isn't a goal.

afrisch|7 years ago

Yes sorry, Elm is indeed implemented in Haskell.

ecnahc515|7 years ago

There'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.