Matthew Lutze
Matthew Lutze
We could do a prerelease version based on the latest version plus a git SHA: like `0.31.0-35BAF134B5`
> This kind of blocks the way I build the documentation. Can you elaborate? > Should all package commands just work without being in a package format? Maybe someday, but...
No, because `TA` has no parameter. It's almost like an existential type.
> oh cool, does `TA` have any values? how does it work? I've never seen this I'm not too sure; I don't think it's well-defined so anything could happen :D
Is the this complete to the extent that the alternative implementation is unblocked?
I would. We have an `UnorderedFoldable` or some such, right? So we can still fold in some sense. For me, a set is unordered. If someone wants an ordered set...
> What's makes you think hashing is more natural than Order? Quick, answer this: What properties should Hash satisfy? Consistent with equals. Though of course that doesn't mean anything since...
> > Next problem is how to implement an immutable set based on hashes. Its not easy. > > you can do a tree but use the hashes as key...
> (in particular, relying on Java's hashing functions will lead to heartbreak). I guess it's a bad sign that I based the hashing function on Java's...