4 ms·
I was excited to find out that the developer, Jason Jackson, had actually used core.logic (https://github.com/clojure/core.logic https://github.com/clojure/core
by swannodette 15y ago
I was excited to find out that the developer, Jason Jackson, had actually used core.logic (https://github.com/clojure/core.logic https://github.com/clojure/core.logic) to implement a type checker as well as used core.match (https://github.com/clojure/core.match https://github.com/clojure/core.match) for pattern matching in his compiler projects.
As these tools mature - I think over time Clojure could provide a pretty sweet library ecosystem for folks looking to design new languages.
- jasonjackson 15y agoJust to clarify I'm actually working on a second compiler project written in Clojure. It's my 2nd project that uses core.logic and core.match extensively. Core.Logic was the perfect abstraction for doing all the type checking -- I'm really grateful for David's work/help. I'll open source this 2nd compiler project in a couple months. This will really show the power of Clojure as David said.
- markokocic 15y agoNative Clojure in Clojure?
- jasonjackson 15y agoThe compiler is written in Clojure. It'll compile Java ~2.0 to native x86. I haven't decided what backend i'm using yet, or just output ASM.