Thursday, 3 December 2009

Trip report #1

So far I'm having a great visit. The fact that I missed a day seems to be balanced by the fact that I'm currently awake by 5am every morning :-(

Yesterday, I think (hope) we made the finishing touches to the technical detail of our C# 4.0 paper. Now we have a big rush to write all the surrounding text. I anticipate a lot of typing on the flight home!

I went to a talk by Manuel on Code Contracts, which is the coolest stuff. If you are a C# developer you should download this package and play. It allows you to write pre- and post-conditions in your code and use them to generate runtime tests, do compile-time verification, and generate documentation. It's very nice. Moreover, this extension is through a library, so it really is the C# compiler that you know and love. Totally awesome. (Although I have some ideas to discuss with Matt when I get back about how to make it even better!)

Last night, I had a great meal with Nik at Trellis in Kirkland. I had the steak which was spectacularly good, although I would have served some potatoes amongst the other root vegetables. But the meat was divine.

No comments: