This talk: https://codebeameurope.com/talks/etylizer-set-theoretic-types-for-erlang/ https://codebeameurope.com/talks/etylizer-set-theoretic-type... No clue if

This 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.