Whatever your view on the Set is/isn't a monad question, read this Lakatos classic and say which student(s) you are: http://math.uchicago.edu/~mann/Lakatos.pdf …
-
To be a little clearer: whether constrained/restricted monads are monads ...
@milessabin I had a long discussion today about whether Set should be covariant...
-
-
@propensive totally different topic ;-) -
@milessabin And one with a simpler answer... - Show replies
New conversation -
-
-
@propensive@milessabin Is that just a different way of asking the question "Should it be that Set[A] <: Function1[A,Boolean]" ? -
@StewOConnor@milessabin Well, my answer was effectively that question... ;)
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.