search

wende / elchemy

Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)
https://wende.github.io/elchemy/
MIT License
1.15k stars 28 forks source link

Develop our own type checker #352

Open wende opened 6 years ago

wende commented 6 years ago

Remove the dependency on Elm 0.18 compiler

joonazan commented 6 years ago

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

wende commented 6 years ago

@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 commented 6 years ago

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 commented 6 years ago

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

OvermindDL1 commented 6 years ago

@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 commented 4 years ago

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