Hacker News with Generative AI: Pattern Matching

Show HN: Term-Lisp – A Lisp, based on pattern matching and term rewriting (github.com/abuseofnotation)
term-lisp is a language for term list processing with first-class pattern matching, inspired by Pie, Haskel, Agda et al.
Programming Languages, Lisp, Pattern Matching
83 points by boris_m 17 days ago | 27 comments
Algorithms through the lens of symbolic pattern matching (symbolica.io)
Algorithms, Symbolic Programming, Pattern Matching
71 points by adamnemecek 101 days ago | 8 comments
Modal is a matrioshka language based on pattern-matching to rewrite trees (xxiivv.com)
Programming Languages, Pattern Matching
92 points by smlavine 215 days ago | 21 comments