Is your HMap implementation out there somewhere in the wild?
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 …
-
-
-
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...
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.