This talk: https://codebeameurope.com/talks/etylizer-set-theoretic-types-for-erl...

		lawik on Oct 27, 2023 \| parent \| context \| favorite \| on: Things I like about Gleam's Syntax This talk: 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.