I've been working on implementing @mpweiher "Storage Combinators" [0] and "polymorphic Identifiers" [1] in Eiffel [3].
Currently I'm stuck implementing a storage combinator with EiffelWebFramework[4]
[0] https://dl.acm.org/doi/abs/10.1145/3359591.3359729
[1] https://scholar.google.com/citations?view_op=view_citation&h...
[2] https://en.wikipedia.org/wiki/Eiffel_(programming_language)