What is an existential type?
I read through the Wikipedia article Existential types. I gathered that they’re called existential types because of the existential operator (∃). I’m not … Read more
type-systems
Dynamic type languages versus static type languages
What are the advantages and limitations of dynamic type languages compared to static type languages? See also: whats with the love of dynamic … Read more
Difference between `data` and `newtype` in Haskell
What is the difference when I write this? data Book = Book Int Int versus newtype Book = Book (Int, Int) — “Book … Read more