SAL at Microsoft

[bearophile]

> Good "pluggable type systems" are a general solution usable for many other purposes too,

I guess you don't like this, right? If I ask you a special-purpose solution for just printing functions, you answer me that it's a wired solution, etc. If I answer with a more general solution like pluggable type systems, you think it's too much work to implement, etc. So there's no way out.

Bye,
bearophile