News for hackers. Stuff that matters.

A comment on Implement with Types, Not Your Brain. Parent comment

Re:Implement with Types, Not Your Brain by EdwardDiego on Tuesday June 25, 2019 @11:56PM (#20281770)
In what language? I thought Haskell and OCaml for example, had generics.
[ Parent | on HN ]
Re:Implement with Types, Not Your Brain by mrkeen on Wednesday June 26, 2019 @04:55AM (#20283088)
The situation is a bit better than just generics (as they are in Java). For instance, if I had a List<Int>, I can treat it like a List<I>, but why can't I treat it like an <L>Int? Or an <L><I>?
[ Parent | on HN ]