Develop our own type checker

[wende]

Remove the dependency on Elm 0.18 compiler

[joonazan]

Working on this using Idris compiled to JS. Most of the development is likely to happen in November.

[wende]

@joonazan You're an MVP. Till then I'll poke around with your https://github.com/joonazan/elm-type-inference/ to learn more about it

[OvermindDL1]

If you need help implementing anything of the sort in pure elixir, just ask. Honestly though I still learn toward Elchemy should just become an OCaml backend that compiles to elixir. ^.^;

[baransu]

@OvermindDL1 And it would allow to compile Reason to Elixir too ^^

[OvermindDL1]

@OvermindDL1 And it would allow to compile Reason to Elixir too ^^

Hah, entirely true yeah.

JSOO would be a good project to mimic for such a backend, it would support any pure-ocaml library, could generate out to erlang or core erlang, but generating elixir could be done but would be less...pretty. Following bucklescript's style of forking would work better for that, but the forking style makes updating a bit of hell. A proper middle-layer PPX, which would allow you to use attributes better and all as well, might be the best middle ground.

[ShalokShalom]

The type checker is making progress so I guess it's kinda superfluous while some might like the idea of ocaml and its ppx plugins, respect that here: https://discuss.ocaml.org/t/compiler-plugins/3898