I noticed many FPU people at Rob Pike's talk on Go today at Melbourne University.
Afterwards I was talking to Mark Brown about Habit, a strict dialect of Haskell for systems programming, that Mark Jones and others are working on.
I promised to send Mark a link, but then I realised it is probably of interest to lots of people on the FPU list. The only information I can find is a Galois tech talk:
http://web.cecs.pdx.edu/~mpj/DevelopingGoodHabits.pdf
Cheers,
Bernie.