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 …
-
-
Replying to @milessabin
To be a little clearer: whether constrained/restricted monads are monads ...
1 reply 0 retweets 0 likes -
Replying to @milessabin
@milessabin I had a long discussion today about whether Set should be covariant...2 replies 0 retweets 0 likes -
Replying to @propensive
@propensive@milessabin Is that just a different way of asking the question "Should it be that Set[A] <: Function1[A,Boolean]" ?1 reply 0 retweets 0 likes
Replying to @StewOConnor
@StewOConnor @milessabin Well, my answer was effectively that question... ;)
2:50 PM - 12 Nov 2013
0 replies
0 retweets
0 likes
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.