Explore >> Select a destination
|
You are here 
|
ianthehenry.com | ||
| | | | |
lambdaland.org
|
|
| | | | | Theres a neat paper Type Systems as Macros by Chang, Knauth, and Greenman [1] that describes how to implement a typed language using an untyped host language and macro expansion. The paper is neat, but I found the code hard to followthe paper uses a compact notation thats convenient for print, but not so much for reproducing on ones own. This post is my attempt to implement and explain in more accessible terms whats presented in the paper. | |
| | | | |
jdevuyst.blogspot.com
|
|
| | | | | Most programmers who have dabbled in Clojure are probably familiar with the threading macros -> and ->>. For readers, who aren't. Here's wha... | |
| | | | |
abhinavomprakash.com
|
|
| | | | | I first read about the legendary lisp macros in Paul Graham's essay, and since then my whole journey of learning lisp has been driven by a desire to fully understand the power of macros. If you have not heard about the power of lisp macros, here's a quote from one of the creators of Scheme (a lisp) that captures the essence of this power. If you give someone Fortran, he has Fortran. | |
| | | | |
critter.blog
|
|
| | | As 2023 rolls around, now may be a good time to work out your ideal week. What do you want your calendar to look like? How can you make that the reality? | ||
