The Artima Developer Community
Articles | News | Weblogs | Books | Forums
Artima Forums | Articles | Weblogs | Java Answers | News
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 ... 277 278 279 280 281 282 283 284 285 ... 371  | » ]
James Watson

Posts: 2024
Nickname: watson
Registered: Sep, 2005

Re: Programming with "Duh" Typing Posted: Jul 30, 2007 9:14 AM
Reply to this message Reply
Advertisement
> James Watson wrote
> > ... unit tests also don't prove software to be correct
> and
> > that for most non-trivial applications, it is not
> feasible
> > to prove correctness at all.
>
> Seems like that a matter of definition - "correct",
> "correctness"?

You'll have to explain what you mean by that if you want a meaningful answer.

Flat View: This topic has 370 replies on 371 pages [ « | 277  278  279  280  281  282  283  284  285 | » ]
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