@djspiewak @nuttycom @jdegoes @milessabin I am acutely aware of this. That is not permission to resort to absurdity.
-
@dibblego@nuttycom@jdegoes@milessabin Yes, I really have. Do you want me to instead show a type that has more than one valid Monad?
@djspiewak @nuttycom @jdegoes @milessabin Yes, because I can't think of one and that will totally demonstrate your point!
-
-
@dibblego@djspiewak@nuttycom@jdegoes@milessabin careful, you can use overly broad types to contrive a silly example for this. -
@bitemyapp@dibblego@nuttycom@jdegoes@milessabin Boolean is overly broad?
End of conversation
New conversation -
-
-
@dibblego@djspiewak@nuttycom@jdegoes@milessabin same person that wants to use Read/Show + strings for everything. -
@bitemyapp@dibblego@nuttycom@jdegoes@milessabin I don’t want to use Read/Show for everything. Not by a long shot.
End of conversation
New conversation -
-
-
@dibblego@djspiewak@nuttycom@jdegoes@milessabin Future[_] has more than one applicative.... -
@jsuereth@djspiewak@nuttycom@jdegoes@milessabin Again, I am acutely aware of these examples. This demonstrates absolutely nothing.
End of conversation
New conversation -
-
-
@dibblego@djspiewak@nuttycom@jdegoes@milessabin In sbt, if you limit the category of types to a particular subset, there's Initialize[_] -
@jsuereth@djspiewak@nuttycom@jdegoes@milessabin I could sit here and list examples all day that you may have never heard of.
End of conversation
New conversation -
-
-
@dibblego@nuttycom@jdegoes@milessabin An utterly useless example of a type with two (both valid!) monads: http://pastebin.com/C6WX8kkP -
@djspiewak@nuttycom@jdegoes@milessabin Yes thanks. Note demonstrate the connection to your conclusion. No failing. - 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.