?

Log in

No account? Create an account
All gradual typing and triangles, all the time - Lindsey Kuper [entries|archive|friends|userinfo]
Lindsey Kuper

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

All gradual typing and triangles, all the time [Sep. 8th, 2010|11:30 pm]
Lindsey Kuper
[Tags|]

My schedule for this semester, in its entirety:

CSCI-B 629  TPCS IN PROGRAMMING LANGUAGES (3 CR)
   VT: INTEGRATNG STATIC&DYNAMC TYPNG
      30280          01:00P-02:15P   MW     LH 115    Ahmed A
         TOPIC : Integrating Static and Dynamic Typing
COGS-Q 700  SEMINAR IN COGNITIVE SCIENCE (3 CR)
   VT: INSIGHT & INVENT IN GEOMETRY
      27979 RSTR     11:15A-12:30P   TR     BH 235    Hofstadter D
         TOPIC : Insight and Invention in Geometry

I'm having a blast. I have, for the first time, an actual office to sit in at school, with like-minded people to sit next to; I don't have to grade anyone's homework; half of my homework consists of drawing triangles and thinking about them; and I gave a little talk for Integrating Static and Dynamic Typing this afternoon that I'm very happy about. I'm beginning to think that this stuff might be the Research Identity™ I've been circling in on.

Also, I wore lime green, stiletto-heeled, strappy sandals today, and not only did I not fall over, but nobody jumped up in the middle of my presentation and said, "Your shoes show that you're not a real computer scientist! Stop doing that type safety proof this instant!"

LinkReply

Comments:
[User Picture]From: gwillen
2010-09-14 07:13 pm (UTC)
Gradual typing is pretty interesting stuff. I will poke around some of the papers you guys are reading. Thanks for the link to them. :-)
(Reply) (Thread)
[User Picture]From: lindseykuper
2010-09-14 08:03 pm (UTC)
I'm really excited about gradual typing. Jeremy Siek also has a nice informal article, if those papers are too papery for your taste.
(Reply) (Parent) (Thread)