3 ms·
Since you mention Rails, have you seen https://www.phoenixframework.org/ https://www.phoenixframework.org/ Question: what’s the status of WA open sourcing thei
by alberth 3y ago
Since you mention Rails, have you seen https://www.phoenixframework.org/ https://www.phoenixframework.org/
Question: what’s the status of WA open sourcing their typed Erlang project?
- lawik 3y agoYou 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.
- worthless-trash 3y agoI remember reading somewhere,WA had to go back to do some improvements, so there was going to be a delay. Was it this one https://github.com/WhatsApp/erlt https://github.com/WhatsApp/erlt ?