nowfound

Life & fun · November 6, 2024

Term-Lisp – A Lisp, based on pattern matching and term rewriting

A lisp dialect based on pattern matching and term rewriting - abuseofnotation/termlisp

Term-Lisp – A Lisp, based on pattern matching and term rewriting launched on November 6, 2024 with 83 votes, #454 of 4,990 launches that month and more than 90% of that year's launches. The site was still online in September 2026, 1 year on.

Visit github.com ↗Alternativestop 9% of November 2024

In plain words

Term-Lisp is a programming language that combines Lisp with pattern matching and term rewriting capabilities. It is designed for developers interested in functional programming paradigms and symbolic computation. The language distinguishes itself through its focus on pattern matching as a core feature, allowing programmers to write code that matches and transforms data structures directly rather than using traditional control flow, making it suitable for tasks involving data transformation and symbolic manipulation.

written from the facts on this page · September 2026

From the sources

Disclaimer: This project is at a very early stage, many things may not work. term-lisp is a language for term lis t p rocessing with first-class pattern matching, inspired by Pie, Haskel, Agda et al. Right from when Church and Turing defined it, the concept of computation has been two-fold --- it can be presented either as the process of mutating the values of some state (Turing Machine) or by transforming some terms, using a predefined set of equations (Lambda Calculus). term-lisp leans heavily in the second direction. It does not support variables and its functions, are rules that describe how to replace a given term with another one. Also, note that "Bool True" isn't defined anywhere.…from github.com

Does a similar job

all alternatives →

More life & fun this month

the category →

Source: Show HN post ↗

Launched alongside, November 2024

the whole month →
  • Lovable▲1,477

    Hey HN! Previous CERN physicist turned hacker here. We've developed a way to make AI coding actually work by systematically identifying and fixing places where LLMs typically fail in full-stack development. Today we're launching as Lovable (previously gptengineer.app) since it's such a big change. The problem? AI writing code typically make small mistakes and then get stuck. Those who tried know the frustration. We fixed most of this by mapping out where LLMs fail in full-stack dev and engineering around those pitfalls with prompt chains. Thanks to this, in all comparisons I found with: v0,…

    AI · 2024 · lovable.dev

  • Superchat▲1,427

    AI Agents for WhatsApp Business, Instagram & Co

    Growth · 2024 · superchat.com

  • Postiz▲1,188

    Streamline your social media with Postiz. Schedule posts, analyze performance, and manage all accounts in one place.

    Dev tools · 2024 · postiz.com

  • I built a(nother) house optimized for LAN parties▲1,117

    I wasn't quite sure if this qualified as "Show HN" given you can't really download it and try it out. However, dang said[0]: > If it's hardware or something that's not so easy to try out over the internet, find a different way to show how it actually works—a video, for example, or a detailed post with photos. Hopefully I did that? Additionally, I've put code and a detailed guide for the netboot computer management setup on GitHub: https://github.com/kentonv/lanparty Anyway, if this shouldn't have been Show HN, I apologize! [0]…

    Dev tools · 2024 · lanparty.house

  • Raycast Notes▲1,058

    Unlock a new level productivity with AI, Cloud Sync and more

    Work · 2024 · raycast.com

  • Cap▲1,047

    Beautiful screen recordings, owned by you. 100% open source.

    Dev tools · 2024 · cap.so