[HN Gopher] Turner, Bird, Eratosthenes: An eternal burning thread
       ___________________________________________________________________
        
       Turner, Bird, Eratosthenes: An eternal burning thread
        
       Author : matt_d
       Score  : 45 points
       Date   : 2025-02-08 06:17 UTC (16 hours ago)
        
 (HTM) web link (www.cambridge.org)
 (TXT) w3m dump (www.cambridge.org)
        
       | nozzlegear wrote:
       | I love the name of this paper. It's a play on _Godel, Escher,
       | Bach: An Eternal Golden Braid_ by Douglas Hofstadter.
       | 
       | https://en.m.wikipedia.org/wiki/Godel,_Escher,_Bach
        
         | dtjohnnymonkey wrote:
         | Came here to see if I was just imagining things. Thanks for
         | confirming!
        
           | memorydial wrote:
           | Glad I wasn't the only one who saw the reference! Now I just
           | need a version that ties in M.C. Escher's impossible
           | staircases with infinite loops.
        
             | osullivj wrote:
             | My mind was boggling over a JMW Turner connection to
             | Hofstadter!? Guess I don't know CS ..
        
               | intuitionist wrote:
               | I was really excited to see how a 19th-century landscape
               | painter was connected with one of the best NBA players of
               | the 1980s and an Ancient Greek mathematician. Not what I
               | got, but the actual subject is still pretty interesting.
        
       | jonstewart wrote:
       | My programming languages course in college had a section on
       | Miranda. That's 25 years ago and I've forgotten almost all of it,
       | and I am not a Haskell programmer. But those few weeks proved
       | essential for me and has benefitted my C++ tremendously.
        
         | taolson wrote:
         | I've written a new (self-hosting) compiler for Miranda, with
         | additional features from Haskell and other functional
         | languages:
         | 
         | https://github.com/taolson/Miranda2
         | 
         | and have updated the examples with David Turner's original
         | "sieve" implementation.
        
           | felixyz wrote:
           | Lovely!
        
           | 082349872349872 wrote:
           | any chance of expanding on doc/Language.md?
        
             | taolson wrote:
             | Yes, I plan to get to that; I'm currently working on
             | documenting the compiler. I might put a pointer to existing
             | documentation on Miranda there, as a placeholder in the
             | meantime.
        
               | taolson wrote:
               | [edit to add]: There are also hundreds of small example
               | programs of using Miranda2 to solve Advent of Code
               | puzzles, here:
               | 
               | https://github.com/taolson/advent-of-code
               | 
               | Advent of Code Puzzle Descriptions can be found here:
               | 
               | https://adventofcode.com/
               | 
               | While they don't have the puzzle-supplied data sets
               | included, they can be used to see how various solutions
               | are written in Miranda2.
        
       | fanf2 wrote:
       | The author and editor should be ashamed for leaving out O'Neill
       | from the title.
        
       | 082349872349872 wrote:
       | > _Turner said that he was "interested in finding something
       | simpler" than full dependent types._
       | 
       | What are some current options for avoiding full dependent types?
        
       ___________________________________________________________________
       (page generated 2025-02-08 23:02 UTC)