Ideas & society2017 · shared on Hacker News
Algebraic Subtyping (2016) [pdf]
Research PDF · needs verificationExplore Algebraic Subtyping (2016) [pdf], its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ympweiher ·
Algebraic Subtyping (2016) [pdf]
252 points58 comments
Ytw1010 ·
Homotopy Type Theory and Higher Inductive Types
119 points31 comments
Yz1mm32m4n ·
Implementing and Understanding Type Classes (2014)
118 points26 comments
YSupermighty ·
Maybe adding generics to Go is about syntax after all
114 points87 comments