Chatting to @milessabin about Shapeless 3! His new kind-level abstractions are very cool! Work to do adding higher-sorted kinds to TLC, tho.
-
@propensive You know that's really _not_ a April Fools joke, don't you ;-)
-
-
@propensive@milessabin what do you call "higher-sorted kinds" to be sure? -
@mandubian@milessabin They're still kinds. Supposedly, after kinds come sorts. Though I imagine they're not especially interesting... - 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.