Chatting to @milessabin about Shapeless 3! His new kind-level abstractions are very cool! Work to do adding higher-sorted kinds to TLC, tho.
-
-
Replying to @propensive
@propensive@milessabin the HoTT "Homobidulic Truc Theory" named it "Higher-Stuffed Things"1 reply 0 retweets 1 like -
Replying to @mandubian
@mandubian@propensive shapeless 4.0 will be expressed in PaTT ... Pataphysical Type Theory.1 reply 1 retweet 3 likes -
Replying to @milessabin
@milessabin@propensive ill contribute for sure to that ;)1 reply 0 retweets 0 likes -
Replying to @mandubian
@mandubian@propensive In PaTT you can calculate the surface area of Unit ... Pataphysics is _the_ science ;-)2 replies 0 retweets 2 likes -
Replying to @milessabin
@milessabin@mandubian I only know pataphysics as what the quizzical Joan studied (in the home) before she got knocked off...2 replies 0 retweets 2 likes -
Replying to @propensive
@milessabin@mandubian "Miles was quizzical, studied pataphysical theory in the home. Late nights all alone with a typer; ohh-oh-ohh-oh..."2 replies 0 retweets 2 likes -
Replying to @propensive
@propensive I believe Scalaworld volcanic Paul Phillips's lecture might by pataphysical ;)@milessabin1 reply 0 retweets 2 likes
@mandubian @milessabin We'll see. I've given him carte blanche...
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.