I’ve stumped upon this EEP eep/eeps/eep-0069.md at master · erlang/eep,will it help to support type introspection around Gleam’s types, Elixir specs and erlang’s nominals?
Corresponding EEP-69: Nominal Type - Proposals: RFC - Erlang Programming Language Forum - Erlang Forums
2 Likes
If nothing else, “make part of Dialyzer have a lower polynomial complexity” is probably a win 
1 Like
