Logic Programming and Compiler Writing (1980) [pdf] (sovietov.com)
recommended by 1 user | 2018 | 95 points by weatherlight | language design | original thread |
One user recommended this thread. What they said:
carapace Oct 5, 2018 | on: Ask HN: Did reading HN bring anything valuable into your… | context

HN has been amazing for finding technical stuff, and often really knowledgeable people will explain things.

One thing that made my day recently was "Logic Programming and Compiler Writing" by David Warren, 1980; ( https://news.ycombinator.com/item?id=17674859 ) about using Prolog to implement compilers. I was in the middle of writing a compiler for Joy (PL) in Python and it opened my eyes to Prolog. It turns out I've been working too hard. After a quarter of a century I've pretty much given up imperative languages and my productivity has gone way up (more functionality from less code, with fewer bugs, written in less time.)

Ooo, and one time I got to interact with Alan Kay!