[HN Gopher] Algorithms through the lens of symbolic pattern matc...
       ___________________________________________________________________
        
       Algorithms through the lens of symbolic pattern matching
        
       Author : adamnemecek
       Score  : 17 points
       Date   : 2024-08-14 17:29 UTC (5 hours ago)
        
 (HTM) web link (symbolica.io)
 (TXT) w3m dump (symbolica.io)
        
       | SPACECADET3D wrote:
       | Author of the blog post here. I am happy to answer any questions
       | about the article, pattern matching in general or about
       | Symbolica!
        
         | BoiledCabbage wrote:
         | I believe there is a family of programming languages named OBJ
         | that are known as "term re-writing" languages that operate at
         | this symbolic/syntatic level.
         | 
         | Are you familiar with them? How does Symbolica compare/contrast
         | with them?
         | 
         | https://en.m.wikipedia.org/wiki/OBJ_(programming_language)
         | 
         | (While OBJ is old, there are some newer /recent decendents from
         | its family)
        
       | mmaul wrote:
       | This reminds me a lot of Pure (https://agraef.github.io/pure-
       | lang/). What I liked about Pure is the symbolic rewrite + the
       | Haskell-esque syntax with out the strictness + easy ffi.
       | 
       | I really do like how you have smoothly integrated this into
       | Python. Though the symbolic pattern matching is well pretty
       | amazing and make me think about things a little different now.
       | You could probably implement something like this in Julia with
       | it's macros and flexibility in manipulating the AST. I hate
       | Python, but I'm forced to bow to the ecosystem.
        
       ___________________________________________________________________
       (page generated 2024-08-14 23:01 UTC)