From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: N best things about Ada?
Date: Tue, 13 Jul 2010 19:21:00 +0200
Date: 2010-07-13T19:21:00+02:00 [thread overview]
Message-ID: <4c3ca07c$0$6889$9b4e6d93@newsspool2.arcor-online.net> (raw)
In-Reply-To: <Xns9DB47D44B90E7WarrensBlatherings@85.214.73.210>
On 13.07.10 18:18, Warren wrote:
> There is nothing better than early bug detection!
Indeed! Finding type errors in trace output after
run-time is another way of type checking. I don't find it so
productive. But it is both popular and respectable,
since, for example, Python applications on Google App Engine
work that way. And it does work.
Most of the time.
If you develop the skills to guess correctly ...
So your argument doesn't carry enough weight: Google is big,
GAE is inexpensive at first, Python is reasonably popular.
This all shows there *is* something better than
early bug detection!
Don't bother with early type checking performed by
language translators. Learn how to write correct code, instead!
Use test cases! O.K., they work a little different
in the testing environment...
Phew. Sorry. I guess you see what I'm currently doing.
I should take notes of the minutes spent in finding stupid
mistakes like mixing str/unicode + encoding vs binary strings
vs strings of limited size, the latter being a restriction
that is enforced after deployment only. Yes, most of this can
be explained. But it could be enforced by a compiler, using
type checking ...
How much does type checking save?
Can this be spelled out in time and money?
next prev parent reply other threads:[~2010-07-13 17:21 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-07-09 0:52 N best things about Ada? usenet
2010-07-09 1:23 ` Britt Snodgrass
2010-07-13 19:05 ` Pascal Obry
2010-07-13 19:26 ` Nasser M. Abbasi
2010-07-14 1:12 ` BrianG
2010-07-14 3:00 ` Britt Snodgrass
2010-07-14 3:52 ` Shark8
2010-07-14 19:08 ` Simon Wright
2010-07-09 2:19 ` Jeffrey R. Carter
2010-07-09 3:08 ` anon
2010-07-09 8:29 ` tonyg
2010-07-10 5:14 ` anon
2010-07-09 9:18 ` Alex R. Mosteo
2010-07-09 11:52 ` John McCormick
2010-07-09 17:27 ` (see below)
2010-07-12 14:05 ` Shark8
2010-07-12 15:13 ` Robert A Duff
2010-07-12 16:14 ` Shark8
2010-07-12 19:44 ` Simon Wright
2010-07-12 21:06 ` Nasser M. Abbasi
2010-07-13 16:18 ` Warren
2010-07-13 17:21 ` Georg Bauhaus [this message]
2010-07-13 17:34 ` Warren
2010-07-13 17:51 ` Jeffrey R. Carter
2010-07-14 18:46 ` Georg Bauhaus
2010-07-14 4:11 ` usenet
2010-07-17 1:18 ` Gautier write-only
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox