[HN Gopher] FP2: Fully In-Place Functional Programming [pdf]
       ___________________________________________________________________
        
       FP2: Fully In-Place Functional Programming [pdf]
        
       Author : chriscbr
       Score  : 95 points
       Date   : 2023-06-25 19:11 UTC (3 hours ago)
        
 (HTM) web link (www.microsoft.com)
 (TXT) w3m dump (www.microsoft.com)
        
       | zellyn wrote:
       | I was hoping it would reference roc-lang.org, which is actually
       | doing in-place mutation for efficiency, but I didn't see any
       | mentions :-(
        
         | zogrodea wrote:
         | I don't really mind Roc-lang not being mentioned since Koka is
         | referenced with its novel idea of functional-but-in-place and
         | Perceus Reference Counting which are the theoretical basis of
         | Roc's implementation[0]. So it doesn't really bring anything
         | theoretically unique to the table in comparison, although I'm
         | interested in Roc as a practical language because of this too.
         | 
         | [0] Ctrl-f "Perceus" on the following page and you will see a
         | paper about Koka mentioned. https://www.roc-lang.org/
        
         | agumonkey wrote:
         | I stopped monitoring roc after feldman's early youtube chats,
         | but it seems evolving in term of team size.
        
       | fweimer wrote:
       | This research is related to the Koka programming language:
       | https://koka-lang.github.io/koka/doc/
        
       | foota wrote:
       | Interesting article, I wonder if FIP procedures could be useful
       | even in non functional oriented languages as a safer means of
       | reusing allocations (in languages that support reference counting
       | or ownership?).
        
       ___________________________________________________________________
       (page generated 2023-06-25 23:00 UTC)