[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