Of course it will be considered. I don't think we are there yet though.
First, Tom needs to say he is ready for merging though. Second we need to
do some peer review on the code. However, I don't think anyone in the team
is again his work.
Excellent, thanks Daniël.
James
Let's first get people of type unsafe languages. Type safety with range
checking etc. are a big improvement over type unsafe languages. Yes,
Pascal is already the language to use if you are interrested in software
correctness.
And perhaps Tom Verhoeff's work will lead to contract programming. B
There's a company already doing that:
http://www.praxis-his.com/sparkada/intro.asp
I've read their book. Cool stuff.
James
___
fpc-pascal maillist - fpc-pascal@lists.freepascal.org
http://lists.freepascal.org/mailman/listinfo/fpc-pascal
Real world need for DbC, or some way to show due diligence:
http://www.lightbluetouchpaper.org/2007/08/10/house-of-lords-inquiry-personal-internet-security/
Quote:
"The third area, and this is where the committee has been most far-sighted, and
therefore in the short term this may well be their
