News for hackers. Stuff that matters.

A comment on Scala founder: Language due for 'fundamental rethink'. Parent comment

Re:Scala founder: Language due for 'fundamental rethink' by frowaway001 on Saturday September 06, 2014 @02:18PM (#8279024)
> For instance, in Haskell you can prove a functor instance has at most one implementation

How would one do that?

[ Parent | on HN ]
Re:Scala founder: Language due for 'fundamental rethink' by tome on Saturday September 06, 2014 @07:01PM (#8279790)
I believe the technique is relational parametricity, but I don't actually know how to apply it in this case.
[ Parent | on HN ]