Hacker News Reader

Comment by DigitalJack | Hacker News Reader

I want to learn compiler development. My goal is to get enough of an understanding to be able to work on other people's compilers, such as SBCL.

I'd like to:

-Build a lisp that targets LLVM IR

-Build an HDL out of lisp that can be compiled into a simulation, as well as be compiled to a netlist for synthesis.

-Build a testbench toolkit out of that same lisp.

View on HN

I have that planned for a long time. I've been making progress in recursive thinking and thus compilation and interpretation last year (thanks to a prolog book). I may attempt the LLVM thing in 2017. This or a bootstrapped forth, x86 64 or maybe AARCH64.

Do you have a blog ?

No blog. It just seems like something I can't quite get the hang of... the writing part that is. Maybe I'll add that to my 2017 list.

What is the name of that "prolog book" ?

It's Ivan Bratko's book. I think he only wrote one about prolog.

Thank you :)

I'm in that path, but instead of python I want a ML/Python/Relational language.

I know alot now, yet I'm struggling in some areas. For example, how effective surface a FFI for the language 9I'm with F# so is kind of easy, but how do that in swift/rust where reflection/dynamic calls are not easy?)

I'd love to see something like this as well, but leveraging the s-expr syntax currently being used for WebAssembly

Me too. I want to learn how to write a lisp, and I'll probably do it in Python.

Reply on news.ycombinator.com