05:20 <discocaml> <sim642> That might be it although it's hard to tell on the surface how advanced that implementation is. Scala's is based on some recent literature (Compressed Hash-Array Mapped Prefix-tree (CHAMP)).

05:20 <discocaml> <sim642> Also there seems to be no Set variant of that?

05:21 <discocaml> <sim642> Sure, you can use unit values, but it's just unnecessary waste of memory. Especially if the whole structure is about improving cache locality

05:22 <discocaml> <sim642> I think this is why Pottier extended cppo to build an efficient version of his recent library without massive code duplication

22:54 <discocaml> <functionalprogramming> i feel like this is a natural implementation of a set though

22:54 <discocaml> <functionalprogramming> its a map to unit