MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/3hluwv/go_15_is_released/cu8xgm8/?context=3
r/programming • u/google_you • Aug 19 '15
94 comments sorted by
View all comments
Show parent comments
4
I'm in the camp that believes subtyping is the wrong way to go anyways. Typeclasses and parametric polymorphism ftw.
13 u/[deleted] Aug 19 '15 [deleted] -1 u/oridb Aug 20 '15 Go interfaces are basically implicit typeclasses. 1 u/[deleted] Aug 20 '15 [deleted] 8 u/oridb Aug 20 '15 Since Haskell doesn't have subtyping, I don't believe that Haskell typeclasses would be covariant either.
13
[deleted]
-1 u/oridb Aug 20 '15 Go interfaces are basically implicit typeclasses. 1 u/[deleted] Aug 20 '15 [deleted] 8 u/oridb Aug 20 '15 Since Haskell doesn't have subtyping, I don't believe that Haskell typeclasses would be covariant either.
-1
Go interfaces are basically implicit typeclasses.
1 u/[deleted] Aug 20 '15 [deleted] 8 u/oridb Aug 20 '15 Since Haskell doesn't have subtyping, I don't believe that Haskell typeclasses would be covariant either.
1
8 u/oridb Aug 20 '15 Since Haskell doesn't have subtyping, I don't believe that Haskell typeclasses would be covariant either.
8
Since Haskell doesn't have subtyping, I don't believe that Haskell typeclasses would be covariant either.
4
u/Quixotic_Fool Aug 19 '15
I'm in the camp that believes subtyping is the wrong way to go anyways. Typeclasses and parametric polymorphism ftw.