3 Dec
2009
3 Dec
'09
6:14 p.m.
John, Miguel (and others),
Don Stewart wrote, "the guarantees of purity the type system provides are extremely useful for verification purposes". My response to this is in theory. This is what caught my attention initially, but the language lacks polish and does not appear to be going in a direction where it shows signs where it will self-correct. It may even be beyond repair. I care about others and I don't want people to be misled. [...]
The burden of proof is on you to demonstrate that it _is_.
I admit it's tempting, but wouldn't you agree that, especially in this case, it's better not to feed the troll? Cheers, Stefan