A few questions

bearophile bearophileHUGS at lycos.com
Sun Jul 29 09:24:03 PDT 2012


Timon Gehr:

> Non-null types in Spec# are unsound.

Really? I didn't know it. Surely its non-null design looks quite 
refined and thought-out. But maybe as say it's not enough still. 
Do you have a link where it shows it's unsound?

Thank you,
bye,
bearophile


More information about the Digitalmars-d-learn mailing list