@dibblego @jedws @puffnfresh @tpolecat @nuttycom We talk about most laws in terms of Eq (and data structures use it).
-
@djspiewak@puffnfresh@dibblego@tpolecat@nuttycom Functor type (not notion) is forall a -> b, but Set is constrained to things with Eq
@jedws @djspiewak @puffnfresh @tpolecat @nuttycom and is therefore, not a functor.
-
-
@dibblego@djspiewak@puffnfresh@tpolecat@nuttycom not so sure@mbrcknl has explained it is, only under the preservation of equivalence -
@jedws@djspiewak@puffnfresh@tpolecat@nuttycom@mbrcknl Exactly and a very different type of functor to the one we are discussing.
End of conversation
New conversation -
-
-
@dibblego@djspiewak@puffnfresh@tpolecat@nuttycom therefore it is not a valid Functor (type) ie.@puffnfresh wins :-) -
@jedws@djspiewak@puffnfresh@tpolecat@nuttycom We know this. We have worked this out already. When are the fun bits? - Show replies
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.