?

Log in

No account? Create an account
!- - Lindsey Kuper [entries|archive|friends|userinfo]
Lindsey Kuper

[ website | composition.al ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

!- [Nov. 23rd, 2008|08:29 pm]
Lindsey Kuper
[Tags|]

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.
LinkReply

Comments:
[User Picture]From: oniugnip
2008-11-24 05:35 am (UTC)
Lindsey Kuper, you are the illest. The illest! You're going to rock these crazy PL classes so hard.

(also: for you, does "inference" as a verb has a mechanistic flavor to it? Maybe people infer things, but machines inference them? Or people "inference" by making a process to do it?)
(Reply) (Thread)
[User Picture]From: jes5199
2008-11-24 07:34 am (UTC)
this is why people "use" and middle managers "utilize" ?
(Reply) (Parent) (Thread)
[User Picture]From: lindseykuper
2008-11-24 04:32 pm (UTC)
Re-entry/re-entrancy.
(Reply) (Parent) (Thread)