Lindsey Kuper (lindseykuper) wrote,
Lindsey Kuper


Class on Thursday went something like this:

Will: You guys ever inferenced types before?
Class: *stares*
Will: Okay, have you ever inferenced anything?
Class: *stares*
Will: Have you ever inferred anything?
Dan: What is an axiom?
Lindsey: Something you can't prove?
Dan: ...actually, that's not terrible. *draws a line on the blackboard* This line is very important.
Class: *stares*
Will: *implements a type inferencer in thirty-odd lines of Scheme*1
Class: *stares*
Dan: This is amazing; do you understand that? Oh, and we called it bang-hyphen because it looks kind of like a turnstile.
Class: *stares*

Who assigns homework on Friday afternoon that's due the following Tuesday? For a Tuesday/Thursday class? Oh, right, Dan does. And he keeps telling us it's going to be this way every week next year2, so I might as well get used to it.

  1. Not counting the macros.
  2. "Don't take 621 just because I want you to." Naturally this means that I must take 621.1

  1. "And you definitely shouldn't take 621 instead of taking Compilers!" Naturally this means that I must take 621 and Compilers.
Tags: b521

  • SFoT #32

    Shoebox Full of Tapes #32: I Remember Everything. Now, the really important question: while I was digging through this old stuff, I also found…

  • fierce data cloud

    Which 2007-2008 Shoebox Full of Tapes song should I submit for the 2008 PDX Pop Now! compilation? Submissions are due on Friday. I can only…

  • Maya's coming to Portland.* Are you ready?

    After you complete the exam, you may look at the answer key. * My sister, leadsynth, is coming to Portland for Thanksgiving.…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded