Home » forums » LtU Forum

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,
-Ryan

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

By rhat at 2007-06-15 13:06 | LtU Forum | previous forum topic | next forum topic | other blogs | 7886 reads

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.

By Paul Snively at Fri, 2007-06-15 13:14 | login or register to post comments

Answering this question is

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

By Derek Elkins at Fri, 2007-06-15 13:20 | login or register to post comments

Almost

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.

By rhat at Fri, 2007-06-15 13:35 | login or register to post comments

Everything else is next

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

By Koray Can at Fri, 2007-06-15 17:41 | login or register to post comments

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.

By Luke Gorrie at Sat, 2007-06-16 12:52 | login or register to post comments

Macros

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.

By nobodysbusiness at Wed, 2007-06-20 00:48 | login or register to post comments

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.

By rhat at Fri, 2007-06-22 13:00 | login or register to post comments