Tag: python

Type erasure and reification

In this post I’d like to discuss the concepts of type erasure and reification in programming languages. I don’t intend to dive very deeply into the specific rules of any particular language; rather, the post is going...

Read More

Type inference

Type inference is a major feature of several programming languages, most notably languages from the ML family like Haskell. In this post I want to provide a brief overview of type inference, along with a simple Python...

Read More


Follow Us on Twitter