I'm designing and writing a compiler for an imperative language with Hindley-Milner typing. In other words, something like ML with better syntax for assignment and without all the bits that're hard to implement (this *is* an undergrad thesis, after all...).
I'm really excited about this, it sounds like it's going to be a lot of fun to work on.
no subject
Date: 2005-09-12 04:18 pm (UTC)I'm really excited about this, it sounds like it's going to be a lot of fun to work on.