If I remember correctly, my "subset" symbol ended up back to front in this presentation, so if you see it and think it looks wrong, then you're right: it is. Other than that, I spend half an hour lifting some common data structures up to the type-level in Scala's type system.https://twitter.com/diesalbla/status/995034987283050496 …
-
Is your HMap implementation out there somewhere in the wild?
It's in http://co.ntextu.al in some form, but not explicitly labelled as an HMap. I should make a cleaner, isolated implementation, though. The one in the talk glossed over quite a few details...