IT Nursery
I read through the Wikipedia article Existential types. I gathered that they’re called existential types because of the existential operator (∃). I’m not sure what the point of it...
What are the advantages and limitations of dynamic type languages compared to static type languages? See also: whats with the love of dynamic languages (a far more argumentative thread…)...
What is the difference when I write this? data Book = Book Int Int versus newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid 1...