The four combinations of {true, false} and {&&, ||} give rise to four different semigroups: https://gist.github.com/fthomas/5d13d36e8c6ff64685df … /cc @noelwelsh
@fst9000 @noelwelsh yeah, it's a nice observation. I'm asking a (somewhat pedantic) question: are they really different semigroups?
-
-
@fst9000@noelwelsh but in retrospect it's a boring question so never mind :)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@avibryant@fst9000 I'd say they are from a nominal typing POV, but they aren't from a structural typing POV. So, interesting question. -
@noelwelsh@fst9000 that makes sense. I think of the underlying math as being structurally typed. -
@avibryant@fst9000 Agreed.
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.