What next?

Hello Everyone,
Two questions from a person with too much time on his hands:
1) What is the next (LtU-related) book/paper/etc you would read, if you had the chance?
2) What introductory material would you recommend to a layman interesting in learning more about the topic from the book mentioned in question 1?

Just curious,

Edit: Generalized question from "books" to "books, papers, or similar things".

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

The one I am reading...

Interactive Theorem Proving and Program Development, or Coq'Art: The Calculus of Inductive Constructions. My ultimate goal is to develop a certified compiler for a new language.

But I would only do so after having read Types and Programming Languages. TAPL is (IMHO) still the best place to start to actually understand (and overcome a great deal of misinformation about) what static typing is, and is capable of. Even if you choose against static typing, at least you'll be able to make that an informed decision rather than an ignorant one.

Answering this question is

Answering this question is the purpose of the Getting Started link to the left (in the default theme).


I'm familiar with the "Getting Started" section, and it is a good resource for beginners. However, the question I posed was related to the topic you are reading about, which may not be covered in the "Getting Started" section (depending on what you're reading).

For instance, the next thing I'm planning on reading is "Composable and Compilable Macros" by Flatt, and a number of good introductions to the topic of Hygenic Macro Systems can be found at readscheme.org.

Edit: added example link.

Everything else is next

Pretty much every front page post is about a paper the poster is reading.

Thinking Forth

I just read Thinking Forth and it's excellent. I have only a passing familiarity with Forth from a chapter or two of Starting Forth.


This is the next paper on my list.

I got about three pages in until the author asked the "dear reader" to implement something before continuing, and I'm determined to do it.

Yay macros

The PLT guys have done a number of cool things with macro systems, including addressing a lot of the concerns listed at the end of Template Metaprogramming with Haskell. Not all of them, mind you, but they seem to be working on it.