Learn more
Join Dexa

Solving Type System Challenges

Jerod shares his journey of finding the proper type system for elixir and the challenges of compatibility, leading to a collaboration with Giuseppe and the development of a set theoretic type system implemented in terms of unions and intersections.