Tuesday, October 2, 2018

Our First Meeting

At our first meeting, we

  • agreed to read “The Little Typer” through Chapter 4 (but read below), and
  • seriously outgrew our space, with twenty participants in a conference room intended for eight.

We'll be moving to JCL 298.

Now that RSS readers are no longer really a thing, we should set up an email list to augment the blog.

I'd also like to suggest a slight extension to our agreement, as I believe it's realistic to work through Chapter 5, and that by doing so, we can possibly hold the “Little Typer” part of our conspiracy to three weeks.

As a final note, I observed during the seminar that the implementation of concat in the book is bogus, as it reverses its second argument. This raises the interesting problem of giving a correct implementation for concat, i.e., a version of append that relies on recursion on its second argument, and uses snoc to post-pend an element to a list. Please try. I have one, and would like to compare solutions next time.

2 comments:

  1. > Now that RSS readers are no longer really a thing, we should set up an email list to augment the blog.

    That's a good idea. I do use an RSS reader still, but tend to read in chronological order and due to travel am almost 3 weeks behind. Didn't see the new post until just now. :)

    ReplyDelete

12/4/18: The Path Forward

We took a quick look today at the Nat-Nat problems , and in particular around the distinction between + and plus . But the main conversatio...