Talk About Network

Google


Register and Login
Nick
Password
Register create new account Sign up is FREE and you can post replies, new topics, bookmark posts and more!
Recover lost password


Programming > Functional > Re: introspecti...
Latest [ Topics | Posts ] Archive Post A New Topic Post a Reply
<< Topic < Post Post 67 of 103 Topic 2681 of 2987
Post > Topic >>

Re: introspection in SML

by Rainer Joswig <joswig@[EMAIL PROTECTED] > Dec 11, 2007 at 09:41 PM

In article <fjmrq5$b9j$1@[EMAIL PROTECTED]
>,
 Vesa Karvonen <vesa.karvonen@[EMAIL PROTECTED]
> wrote:

> Rainer Joswig <joswig@[EMAIL PROTECTED]
> wrote:
> > In article <fjmhhd$29k$1@[EMAIL PROTECTED]
>,
> >  Vesa Karvonen <vesa.karvonen@[EMAIL PROTECTED]
> wrote:
> 
> > > Paul Rubin <http://phr.cx@[EMAIL
PROTECTED]
> wrote:
> > > [...]
> 
> Let me just first point out that:
> 
> > > Note that I'm not arguing that debuggers wouldn't be useful.  My
point
> > > is that it is typically more productive (in the long run) to avoid
> > > using debuggers and instead invest on types, tests, assertions,
> > > logging, etc...  These are things that can (and usually do) make it
> > > easier to work with the program over time.
> 
> > When I see an 'error', you want to see it directly in the program.
> 
> No, that is not true.  First of all, I really don't want to see your
> errors.  Second, I prefer to see errors in compiler error messages or
> in test case outputs.  This way the same error will not be made again.
> 
> > Most Lisp environments record source locations. No need for grep.
> [...]
> > If you'd use, say, LispWorks, you directly inspect windows and their
> > contents. From there you get to source code or you can invoke
> > functions on the objects from the REPL.
> 
> OTOH, if you need to add a feature or fix a bug related to a piece of
> code that doesn't have such a "live" and easily accessible object with
> source locations associated with it then you'll have to find the code
> in some other manner.

Sure, that's constructed. There are enough situations where
the source code is a mouse click away.
 
> > If I'm interested, I can force the program anytime into the
> > debugger.
> 
> Yeah, and you will end up looking at roughly a random location in your
> program.  Not very useful, IMHO.

Don't think that it will be at a random location.

> 
> > > A good place for a breakpoint is (very) near, just before,
> > > the place you ultimately want to look at.  Before you know such a
good
> > > place for a breakpoint, the debugger is typically mostly useless in
a
> > > large program, because it is typically prohibitively time consuming
to
> > > (single) step through the execution of a large program.
> 
> > That's why you step selectively.
> 
> Been there, done that.  When you start stepping selectively, you are
> talking about at least tens of seconds of time (probably several
> minutes) and in that time one can typically find a place related to a
> feature request faster using other means.
> 
> > With a usual Lisp environment you can inspect the stack trace, fix
> > the error and retry or continue - without stopping the program.
> 
> I used to program in Visual C++ that implemented a similar feature
> (edit-and-continue) for C and C++.  Frankly, I found it to be of very
> limited use (even ignoring the fact that it didn't work very well at
> the time --- I don't expect the Lisp environments to have such
> problems).  The main problem is that usually the place where the bug
> is and the place where it is actually noticed are not the same place.
> This is especially the case in statically typed languages, that
> eliminate many trivial "in situ" errors anyway.  So, by the time you
> get to the debugger and could fix the bug and continue, it is
> typically difficult to recover the correct result and propagate it
> everywhere where it might have been copied.  It is easier to just
> rerun the application.

You might want to try a good Lisp environment (say, LispWorks)
some time.

> 
> > > > what's in the data structures, etc.
> > > 
> > > Static types make this significantly easier...
> 
> > significant easier than what?
> 
> Compared to untyped languages, (statically) typed languages make it
> significantly easier to figure out (statically) what kind of data will
> be held in data structures and variables in general.

What is an untyped language? Forth and Assembler. Most other
languages we are talking about are typed. Lisp is typed.
Dynamically typed. Objects carry type information
at runtime. You can point to an object, find its type,
find the definition, find applicable methods and so on.

> 
> [...]
> > Yeah, and with an interactive environment you see the real data, too.
> 
> Nobody said you couldn't.  Who are you arguing with?

You. That's what you don't get when you have no debugger. You
cannot interact with that data. All you see is post-mortem
information.
 
> > > Debuggers aren't magical.  A debugger cannot tell you what the code
is
> > > supposed to do.
> 
> > Nobody said that. With who are you argueing?
> 
> If you are suggesting that my statement is incorrect, then I guess I'm
> arguing with you.

That's a straw man.

> 
> -Vesa Karvonen

-- 
http://lispm.dyndns.org/
 




 103 Posts in Topic:
introspection in SML
"michele.simionato@[  2007-12-01 22:57:46 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-02 12:29:39 
Re: introspection in SML
stephen@[EMAIL PROTECTED]  2007-12-12 04:29:43 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-12 12:09:12 
Re: introspection in SML
Paul Rubin <http://phr  2007-12-12 19:54:28 
Re: introspection in SML
George Neuner <gneuner  2007-12-13 01:15:15 
Re: introspection in SML
stephen@[EMAIL PROTECTED]  2007-12-13 03:48:06 
Re: introspection in SML
Joachim Durchholz <jo@  2007-12-13 12:30:35 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-13 12:09:24 
Re: introspection in SML
Joachim Durchholz <jo@  2007-12-13 19:17:57 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-13 20:25:28 
.net
Joachim Durchholz <jo@  2007-12-14 10:54:42 
Re: .net
Jon Harrop <usenet@[EM  2007-12-14 10:45:26 
Re: .net
Joachim Durchholz <jo@  2007-12-14 21:30:03 
Re: .net
Jon Harrop <usenet@[EM  2007-12-14 21:55:11 
Re: .net
Paul Rubin <http://phr  2007-12-14 14:45:47 
Re: introspection in SML
George Neuner <gneuner  2007-12-13 14:23:15 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-13 11:56:14 
Re: introspection in SML
stephen@[EMAIL PROTECTED]  2007-12-14 03:43:12 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-14 09:48:46 
Re: introspection in SML
stephen@[EMAIL PROTECTED]  2007-12-15 03:22:38 
Re: introspection in SML
Paul Rubin <http://phr  2007-12-14 19:30:15 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-16 00:15:30 
Re: introspection in SML
stephen@[EMAIL PROTECTED]  2007-12-16 03:19:46 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-16 04:32:16 
Re: introspection in SML
stephen@[EMAIL PROTECTED]  2007-12-16 16:58:45 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-16 21:26:46 
Re: introspection in SML
"michele.simionato@[  2007-12-02 05:53:58 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-02 19:21:18 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-04 09:13:44 
Re: introspection in SML
stephen@[EMAIL PROTECTED]  2007-12-17 00:34:20 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-17 13:42:35 
Re: introspection in SML
"michele.simionato@[  2007-12-02 22:33:29 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-04 08:47:26 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-04 13:27:12 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-04 15:42:47 
Re: introspection in SML
Pascal Costanza <pc@[E  2007-12-04 16:06:56 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-04 18:35:13 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-04 20:37:24 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-04 20:26:57 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-04 21:46:16 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-04 21:49:25 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-04 22:59:39 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-04 23:24:15 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-05 00:48:18 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-05 15:18:29 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-05 18:26:05 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-05 17:43:26 
Re: introspection in SML
George Neuner <gneuner  2007-12-06 01:55:46 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-11 14:49:44 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-05 07:01:35 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-04 18:23:23 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-04 20:50:35 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-04 08:44:08 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-04 10:04:33 
Re: introspection in SML
"michele.simionato@[  2007-12-04 02:35:04 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-04 10:50:40 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-04 15:00:59 
Re: introspection in SML
"michele.simionato@[  2007-12-04 22:10:33 
Re: introspection in SML
Paul Rubin <http://phr  2007-12-04 22:55:22 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-05 07:58:10 
Re: introspection in SML
Paul Rubin <http://phr  2007-12-05 00:25:34 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-11 17:31:25 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-11 18:21:58 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-11 19:57:41 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-11 20:26:45 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-11 21:41:51 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-11 22:14:00 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-11 23:43:34 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-14 14:32:06 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-11 20:19:53 
Re: introspection in SML
Joachim Durchholz <jo@  2007-12-12 13:40:03 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-05 22:38:17 
Re: introspection in SML
"michele.simionato@[  2007-12-05 08:22:07 
Re: introspection in SML
rossberg@[EMAIL PROTECTED  2007-12-11 16:38:54 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-12 01:55:14 
Re: introspection in SML
rossberg@[EMAIL PROTECTED  2007-12-11 17:22:20 
Re: introspection in SML
Rainer Joswig <joswig@  2007-12-12 02:32:44 
Re: introspection in SML
Pascal Costanza <pc@[E  2007-12-12 08:04:13 
Re: introspection in SML
Paul Rubin <http://phr  2007-12-11 23:37:53 
Re: introspection in SML
Pascal Costanza <pc@[E  2007-12-12 09:23:57 
Re: introspection in SML
"michele.simionato@[  2007-12-11 22:53:33 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-12 08:34:11 
Re: introspection in SML
Vesa Karvonen <vesa.ka  2007-12-12 08:59:00 
Re: introspection in SML
rossberg@[EMAIL PROTECTED  2007-12-12 00:01:43 
Re: introspection in SML
rossberg@[EMAIL PROTECTED  2007-12-12 00:12:41 
Re: introspection in SML
Pascal Costanza <pc@[E  2007-12-12 09:24:36 
Re: introspection in SML
"michele.simionato@[  2007-12-12 00:50:11 
Re: introspection in SML
rossberg@[EMAIL PROTECTED  2007-12-12 01:05:12 
Re: introspection in SML
Pascal Costanza <pc@[E  2007-12-12 13:23:56 
Re: introspection in SML
"michele.simionato@[  2007-12-12 01:16:11 
Re: introspection in SML
"michele.simionato@[  2007-12-12 04:39:28 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-12 13:10:31 
Re: introspection in SML
"michele.simionato@[  2007-12-12 05:48:51 
Re: introspection in SML
Jon Harrop <usenet@[EM  2007-12-12 15:49:28 
Re: introspection in SML
rossberg@[EMAIL PROTECTED  2007-12-12 07:50:27 
Re: introspection in SML
Pascal Costanza <pc@[E  2007-12-12 17:26:12 
Re: introspection in SML
Paul Rubin <http://phr  2007-12-12 11:47:44 
Re: introspection in SML
Pascal Costanza <pc@[E  2007-12-12 22:59:03 
Re: introspection in SML
rossberg@[EMAIL PROTECTED  2007-12-12 09:13:50 
Re: introspection in SML
Pascal Costanza <pc@[E  2007-12-12 20:27:50 
Re: introspection in SML
Florian Weimer <fw@[EM  2007-12-15 13:50:58 
Re: introspection in SML
Philippa Cowderoy <fli  2007-12-16 22:06:48 

Post A Reply:
  Go here to Signup

AddThis Feed Button


About - Advertising - Contact - Frequently Asked Questions - Privacy Policy - Terms of Use - Signup

Contact
tan12V112 Sun Sep 7 2:50:11 CDT 2008.