Learn C and build your own Lisp

In the last chapter, Bonus Projects, the author mentions Static Typing & type systems. If anyone's interested in learning more: I've implemented a few simple implementations of basic (and not so basic) type systems[1]. Currently, only 3 type systems are finished (Hindley Milner's Algorithm W, and Daan Leijen's extensible rows and first-class polymorphism), while gradual typing is almost done (based on [2], in branch 'dev'). [1] https://github.com/tomprimozic/type-systems [2] Jeremy G. Siek, Manish Vachharajani -…

On the topic of writing lisps, an obligatory link to my favorite project: Make a Lisp https://github.com/kanaka/mal

I learned recently that the creator of the Iosevka typeface did so using their own Lisp implementation. The typeface: https://github.com/be5invis/Iosevka The language: https://github.com/be5invis/PatEL Their tool which they used to build the language: https://github.com/be5invis/patrisika These kinds of projects are deeply inspirational. Striving to achieve one percent of this output would be enough for me. Knowing there are people like Belleve / Renzhi Li and their team in the world -- that I might be able to do…

I've had this in my bookmarks for awhile, intending to work through it. I think I can probably even do it solo without the guide, at this point. After years of programming, and learning (or at least playing with) many languages, I've come to a philosophical conclusion of sorts: C and Lisp should be the two languages all students start with, in my opinion. Probably SICP style Scheme education, and classic simple C89. C is the barest of the high…