Listing all posts

Type systems are leaky abstractions: the case of Map.take!/2

Adding a type system to an existing dynamic language is a great exercise in showing all of the different ways type systems restrict the expressive power of programming languages. In this article, we will discuss one of said examples by exploring a potential `Map.take!/2` function as part of Elixir's standard library.