Resources for how types are implemented in Elixir?

Are there any good resources explaining how types are implemented at a low level in Elixir? I went down the rabbit hole of trying to figure out how types are implemented in Elixir and then Erlang but couldn’t find any good reading outside of high level topics like here is how to implement a typespec, here is how you create a custom type, etc.

2 Likes