News for hackers. Stuff that matters.

A comment on What I Want from a Type System (2016). Parent comment

Re:What I Want from a Type System (2016) by pjc50 on Monday July 01, 2019 @10:04AM (#20325318)
Yes, that's what I meant. This is very different from having to extend Foldable to achieve the same thing.
[ Parent | on HN ]
Re:What I Want from a Type System (2016) by uryga on Monday July 01, 2019 @10:10AM (#20325367)
ah sorry, i was skimming and misread your comment as

> The Haskellite approach that says "what operations are available on that thing" is the wrong way round

which left me pretty confused!

[ Parent | on HN ]