News for hackers. Stuff that matters.

A comment on Generics enabled by default in Go tip. Parent comment

Re:Generics enabled by default in Go tip by iso8859-1 on Saturday August 21, 2021 @01:04PM (#28258586)
So Haskell has type erasure only for data types that do not derive Typeable?
[ Parent | on HN ]
Re:Generics enabled by default in Go tip by tome on Saturday August 21, 2021 @02:07PM (#28259141)
No, because all types have a Typeable instance! Haskell has type erasure, and then using Typeable adds the type information back exactly where it is needed.
[ Parent | on HN ]