Re: Static vs. Dynamic typing
Re: Static vs. Dynamic typing
- Subject: Re: Static vs. Dynamic typing
- From: Chris Hanson <email@hidden>
- Date: Wed, 2 Jul 2003 11:38:49 -0500
On Wednesday, July 2, 2003, at 03:15 AM, Rich Warren wrote:
I have a problem with this. Testing can never guarantee a program's
correctness--at least not any programs of any real complexity. There
is no
way to exhaustively test a program.
That depends. Do mean interpret testing as exercising your application
via its human interface after it's written? I believe Eckel is
referring to test-driven development, where you write code-level unit
tests before writing any other code. In TDD, your program's
correctness (not in the CS sense but in the bug & feature & behavior
sense) really is defined by the suite of programmer unit tests and
customer acceptance tests.
TDD coupled with a dynamic language occupies a sweet spot in software
development. You get reasonable correctness, fast development, and
fewer lines of code for complex projects.
I strongly recommend Kent Beck's book "Test-Driven Development" for
anyone interested in learning more. And to get started with writing
unit tests, get yourself OCUnit <
http://www.sente.ch/software/ocunit/>.
-- Chris
--
Chris Hanson, bDistributed.com, Inc. | Email: email@hidden
Custom Application Development | Phone: +1-847-372-3955
http://bdistributed.com/ | Fax: +1-847-589-3738
http://bdistributed.com/Articles/ | Personal Email: email@hidden
_______________________________________________
cocoa-dev mailing list | email@hidden
Help/Unsubscribe/Archives:
http://www.lists.apple.com/mailman/listinfo/cocoa-dev
Do not post admin requests to the list. They will be ignored.