Read news on Type Systems with our app.
Read more in the app
Type systems are leaky abstractions: the case of Map.take!/2
The Big Oops in type systems: This problem extends to FP as well
Moving Beyond Type Systems
