- From: <bugzilla@farnsworth.w3.org>
- Date: Tue, 29 Apr 2008 15:20:13 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=4273 ------- Comment #25 from tim@cbcl.co.uk 2008-04-29 15:20 ------- Regarding Comment #24, could you perhaps give a concrete example? I'm not quite sure how having an unsound type system could be circumvented by employing optimistic static typing. We have implemented both pessimistic and optimistic static typing. The latter just introduces run-time type checks where pessimistic checking determines that a runtime type check error is not inevitable. This bug report is one of the older unresolved reports. Is the solution proposed in Comment #20 likely to be adopted in the near future?
Received on Tuesday, 29 April 2008 15:20:51 UTC