Hacker News Reader

I was excited to find out that the developer, Jason Jackson, had actually used 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) 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.

View on HN

Just 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.

Native Clojure in Clojure?

The 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.

Reply on news.ycombinator.com