Not sure how relevant it is to your project, but you might look at gleam, which is statically typed and compiles to Erlang.
stevensonmt
ityonemo
Alright, I registered for Github sponsors, and pushed the basic outline of my strategy: GitHub - ityonemo/selectrix: Static Typechecker for Elixir · GitHub
12
vans163
I like this a lot and was thinking about this constantly at one point. A way to perform type checks without changing the language.
Dialyzer is not good at all it gets lost way too easily on simple things. For example inside reductions or nested functions.
0
ityonemo
Yes! Sorry, I’m getting back to this, I promise! Just moved halfway across a continent, and just as I settled, got a work project for which I’m spending all of my free time writing a JSONschema compiler (which I will make public)!
5