Does Foldable have any laws?
-
@puffnfresh Functor is not even required, so there's no structure for the laws to act on. Add Functor/Traversable/etc. and then you get some
-
-
@dibblego@luqui@puffnfresh perhaps better to state, in denotational semantics style: [[Foldable]] = List. It allows for perf. improvements -
@EyalL@puffnfresh@dibblego modulo a few more representable terms, e.g. fold f = ... <> 3 <> 2 <> 1 <> 0
End of conversation
New conversation -
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.