The Artima Developer Community
Sponsored Link

Weblogs Forum
Programming with "Duh" Typing

370 replies on 371 pages. Most recent reply: Aug 8, 2007 9:54 AM by James Watson

Welcome Guest
  Sign In

Go back to the topic listing  Back to Topic List Click to reply to this topic  Reply to this Topic Click to search messages in this forum  Search Forum Click for a threaded view of the topic  Threaded View   
Previous Topic   Next Topic
Flat View: This topic has 370 replies on 371 pages [ « | 1 ... 291 292 293 294 295 296 297 298 299 ... 371  | » ]
Isaac Gouy

Posts: 527
Nickname: igouy
Registered: Jul, 2003

Re: Programming with "Duh" Typing Posted: Jul 30, 2007 10:47 AM
Reply to this message Reply
Advertisement
> > James Watson wrote
> It's not clear to me why it is necessary to define
> 'correct' or 'correctness' or explain that they are
> synonyms. I don't see you defining every common English
> word that you use.
>
> If it is the case that you aren't clear what 'correct'
> means in this context, why did you challenge me instead of
> Achilleas since he introduced the term into the
> conversation (or reintroduced it anyway.)

I stated what I thought was meant by "correct" [Jul 26, 2007 2:51 PM] and when you write "... unit tests also don't prove software to be correct" you seem to be talking about something different.

Flat View: This topic has 370 replies on 371 pages [ « | 291  292  293  294  295  296  297  298  299 | » ]
Topic: Programming with "Duh" Typing Previous Topic   Next Topic Topic: Python 3000 Plea for Help

Sponsored Links



Google
  Web Artima.com   

Copyright © 1996-2019 Artima, Inc. All Rights Reserved. - Privacy Policy - Terms of Use