[Cuis-dev] unnecessary punctuation
Boris Shingarov
shingarov at labware.com
Fri Jun 14 09:13:18 PDT 2024
> perhaps there’s a way to think it so it is
> even consistent with Association>>#value?…
I was thinking about that: I have a vague suspicion that it might be
very cool if we could somehow generalize "function application" meaning
to subsume Association>>#value, but I got stuck. So an association
is a morphism from the terminal object to the association's value?
How do you extract the key from such morphism? brrrrrr... I am stuck
at this point...
More information about the Cuis-dev
mailing list