[HN Gopher] Recursive Program Synthesis using Paramorphisms [pdf]
       ___________________________________________________________________
        
       Recursive Program Synthesis using Paramorphisms [pdf]
        
       Author : luu
       Score  : 40 points
       Date   : 2024-07-08 18:18 UTC (4 days ago)
        
 (HTM) web link (theory.stanford.edu)
 (TXT) w3m dump (theory.stanford.edu)
        
       | fbriggs wrote:
       | Here's my paper on recursive program synthesis using combinator
       | expressions from 2006:
       | 
       | https://www.cs.hmc.edu/~oneill/papers/Combinators-ASPGP.pdf
        
         | 082349872349872 wrote:
         | I'd guess introns are also prevalent in human-synthesised
         | programs?
        
           | grugagag wrote:
           | What are human-synthesised programs?
        
             | 082349872349872 wrote:
             | Ones that people manually craft/write/hack up/slap
             | together...
        
       | almostgotcaught wrote:
       | Academia is about figuring out progressively fancier and fancier
       | sounding names for the same mundane things.
        
         | bubblyworld wrote:
         | Expertise in any domain involves picking apart the mundane in
         | progressively more complex ways! I think academia ends up with
         | wild terminology because there's also the constraint of having
         | to write everything down.
        
           | almostgotcaught wrote:
           | I'm an expert in this domain. People make up words for the
           | sake of sexy paper titles. You can recognize it when there's
           | no formal definition in the body of the paper;
           | 
           | > paramorphisms, a class of programs that includes the most
           | common recursive programming patterns on algebraic data types
           | 
           | "most common ... patterns". ok.
           | 
           | they're _alluding_ to math[1] but they 're not doing math.
           | 
           | [1] https://link.springer.com/article/10.1007/BF01211391
        
             | bradrn wrote:
             | They define paramorphisms more rigorously on pages 4-5.
        
       ___________________________________________________________________
       (page generated 2024-07-12 23:00 UTC)