@kmett @bodil @odersky You can define non-endofunctors in Haskell with per-instance constraints: http://hackage.haskell.org/package/ConstraintKinds-1.1.0.0/docs/Control-ConstraintKinds-Functor.html … Allows Eq instance
-
-
Replying to @copumpkin
@copumpkin@kmett@dorchard@bodil Not at all. Using CanBuildFrom you can do ordered sets with user-defined comparison as well.2 replies 0 retweets 0 likes
Replying to @copumpkin
@copumpkin @debasishg @odersky @kmett @dorchard @bodil This is slightly less power and much less reasoning ability. False economy. Discard.
2:49 PM - 12 May 2014
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.