[HN Gopher] A Categorical Theory of Patches (2013)
       ___________________________________________________________________
        
       A Categorical Theory of Patches (2013)
        
       Author : JNRowe
       Score  : 20 points
       Date   : 2021-02-24 12:38 UTC (2 days ago)
        
 (HTM) web link (arxiv.org)
 (TXT) w3m dump (arxiv.org)
        
       | JNRowe wrote:
       | An implementation based on this can be seen in pijul1.
       | 
       | 1 https://pijul.org/
        
       | ajarmst wrote:
       | Heh. Warming up to writing a "I wish people would not use the
       | adjective 'categorical' in a maths context because it implies
       | Category Theory". Reads abstract..."Oh, it _is_ Category Theory.
       | Wow, that's a cool application."  <Starts Reading>
        
         | AnthonBerg wrote:
         | I am same morphism on same object
        
       | joe_the_user wrote:
       | Slightly off-topic; has anyone created programming language who
       | operations are version-control commands?
        
         | synthc wrote:
         | I once made a prototype lisp interpreter where you could call
         | previous versions of definitions. A fun experiment, but I
         | didn't carry it further.
         | 
         | Unison is a language/platform that incorporates some ideas from
         | version control, but I don't know how far along they are.
        
       ___________________________________________________________________
       (page generated 2021-02-26 23:01 UTC)