Show HN: Chirp, My constraint-driven metaprogramming language

Category: language

Tags: metaprogramming, constraint-system, systems-programming

Score: 6.8/10 (Innovation: 8, Technical: 7, Documentation: 8, Utility: 4)

Chirp is a constraint-driven metaprogramming language where code is a script that defines the compiled program, using a set-theoretic constraint system for guarantees. Its unusual approach to merging metaprogramming with constraint solving is innovative, though the project is early-stage with no compilation yet, making it more of an experimental scripting language at present.

Target audience: language enthusiasts, compiler engineers, advanced backend devs

Repository: https://github.com/FrancoisChabot/chirp/tree/main · C++ · MIT

View on Hacker News