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@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...
-
-
@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.
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.