[pavpanchekha]

Thanks; though I'm unclear what Qi gives me in any of these examples over ML or similar. I really would like to see examples of its specific features (the type system, say).

[yaongi]

This is the Qi II book, it has a lot of information and code examples: http://www.lambdassociates.org/Book/page000.htm