What is a type?

There's a nice and humorous metaphor in Luca Cardelli's "On Understanding Types, Data Abstraction, and Polymorphism" paper about how we can view types in programming languages which I really like and wanted to share:

A type may be viewed as a set of clothes (or a suit of armor) that protects an underlying untyped representation from arbitrary or unintended use. It provides a protective covering that hides the underlying representation and constrains the way objects may interact with other objects. In an untyped system untyped objects are naked in that the underlying representation is exposed for all to see. Violating the type system involves removing the protective set of clothing and operating directly on the naked representation.

You can download freely the paper from author's site, and please take care of your objects, buy them a warm sweater during winter, don't rip their clothes off too often! Have a nice read ;)

Stewed bramley apple sausages!

Today we bought some sausages stuffed with bramley apple! Bramley apple originated in the UK, they are very sour, that's why most often served cooked. Last time we had venison sausages, also very good, but these today were fantastic! :) We stewed them with red cabbage and a bit of mustard sauce.

I'm not sure what kind of wine should one drink to pork sausages, but Riesling served more than well ;) After such a delicious dinner I've smoked my pipe in our garden... it's a shame the day wasn't sunny, but well, you can't have eveyrthing :/ Hopefully it will get more sunny at the end of May!

Since some time I much more prefer pipe with wine than whisky, and again Riesling is a great companion :)

Bavarian beer and food

Yesterday I was with my colleagues in a Bavarian Beerhouse. It's located on Old Street. They have a great selection of german beers of course. I've tried three of them and made some nice pictures :)

The dark Krombacher was realyy good. According to wikipedia Krombacher is one of Germany's best selling beer brand. Erdinger is a wheat beer, not my favorite type of beer but when your thirsty every beer is good, even ale :P I don't remember much about taste of Kaltenberg... but I do remember the food you can order there... so here it is Bavarian Beerhouse 'Wurstplatte' :D

I didn't try myself, but taking into account happy faces of my colleagues after they have cleaned out the plate I'm sure it was goooood :) So, if you're around don't hesitate, just go there and enjoy best german beer and Wurst!

Weekend = Good Food

Ok, I really like weekends. The main reason is of course spare time which can be used to make gooood food and for slacking off, programming etc. :P Speaking of which...

Yep. The pictures speak for themselves ;) I was happy, Ewa was happy... and even our vagabond garden cat was happy!

In other words, I wish you all a good weekend! :))

Leaving Wrocław...

Why start a blog? Well... why not! There's so much interesting stuff going on. For example few months ago I left Wrocław and I moved to London to start my new job, which I really already like BTW ;) So... I think a few pictures is always a good start :D

That's my new workplace. Doesn't look so bad, right? I know it looks like a bank from outside, but definitively not from the inside. Maybe I can post some pictures next time. Anyway, IMO looks nice :) Ahh.. I work on the orange floor :D

These two were taken in march 2011. It was my first visit to London. They show Camden Town, an interesting district of London. You won't see districts like this in Wrocław ;) 

The last one I like the most, it shows that this city is colourful ;)