2 ms·
I am reading that right, a type-system like elixir's new type proposal for erlang ? Can you provide more details, Thanks in advance.
by worthless-trash 3y ago
I 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.