[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