4 ms·
You mean the type checker eqWAlizer? That is out there. Not sure if they got further on typed Erlang. Ar Code BEAM in Berlin just now there was a presentation
by lawik 3y ago
You mean the type checker eqWAlizer? That is out there. Not sure if they got further on typed Erlang.
Ar Code BEAM in Berlin just now there was a presentation on a type system effort much like the Elixir one.
- worthless-trash 3y agoI am reading that right, a type-system like elixir's new type proposal for erlang ? Can you provide more details, Thanks in advance.
- lawik 3y agoThis talk: https://codebeameurope.com/talks/etylizer-set-theoretic-types-for-erlang/ https://codebeameurope.com/talks/etylizer-set-theoretic-type... No clue if it will get into Erlang since I don't think it started from inside Erlang/OTP. But from conversations the team seem open to an effort like this.