Request to repackage `hash_types` as a standalone opam package and library

[mbarbin]

Hi, I'm working on hash folder & combinators and I thought that it would be useful if what I'm doing could be made compatible with the base hash types, specifically the hash state:

include Sys.Immediate64.Make (Int) (Int32)

My impression is that this application is generative so I don't think I can build a type that is statically unifyable with Base_internalhash_types.state without pulling the actual dependency. Is that right?

Seeing that this lib is packaged currently as ppx_hash.base_internalhash_types it is not supported by opam to install it in isolation, and imposes the rest of the transitive deps of the complete ppx_hash package to users.

Would you be willing to repackage it as a standalone no-dep opam package for re-use? (I'm expecting this is a fairly minor re-architecture that shouldn't have much impact on this package actually). Thank you for your consideration.

[mbarbin]

My impression is that this application is generative so I don't think I can build a type that is statically unifyable with Base_internalhash_types.state without pulling the actual dependency. Is that right?

I actually am not sure about that part - seems like I am getting confused due to my unification tests running against v0.17 where the type is private int. Still, the rest of the request stands, it'd be nice to be able to depend on the code directly without pulling base - if that's an option.

[dvulakh]

Hi @mbarbin, this makes sense --- we'll also split base_internalhash_types into its own package in the next release.

[mbarbin]

Thank you @dvulakh - at the time of writing I still genuinely think a package like hash0 has its place in the community (drawing a parallel from sexplib0). Obviously I could be wrong, but I couldn't find any obvious alternative, for what seems like a pretty central piece of infrastructure.

[dvulakh]

That makes sense. Is there something you think will still be missing after we've extracted base_internalhash_types to a standalone package?