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 ... 272 273 274 275 276 277 278 279 280 ... 371  | » ]
James Watson

Posts: 2024
Nickname: watson
Registered: Sep, 2005

Re: Programming with "Duh" Typing Posted: Jul 30, 2007 8:43 AM
Reply to this message Reply
Advertisement
> > A test T in a statically typed language can guarantee
> that
> > the software is correct while the same program written
> in
> > a different language can still pass test T and yet fail
> in
> > other areas (that wouldn't fail in a statically
> compiled
> > language).
>
> I would like to point out that proving statically that
> software is correct is impossible. A static type system
> only proves that what you typed makes some kind of
> sense...but what kind of sense? it's unknown unless you
> run the program.

You've made that point numerous times. No one is saying that static typing proves software is correct.

What a lot of people DON'T seem to realize that 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.

Flat View: This topic has 370 replies on 371 pages [ « | 272  273  274  275  276  277  278  279  280 | » ]
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