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.