Chatting to @milessabin about Shapeless 3! His new kind-level abstractions are very cool! Work to do adding higher-sorted kinds to TLC, tho.
-
@mandubian@milessabin They're still kinds. Supposedly, after kinds come sorts. Though I imagine they're not especially interesting...
@mandubian @milessabin I think an "ilk" should be a thing, though. Maybe Shapeless 4 could work with higher-ilked sorts...
-
-
@propensive@mandubian Too close to an "irk" (the SI unit of irritation) for my taste.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.