caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Nuutti Kotivuori <naked+caml@naked.iki.fi>
To: <donna+spam@cs.cmu.edu>
Cc: <caml-list@inria.fr>
Subject: Re: [Caml-list] How useful do you find the OCaml debugger?
Date: Wed, 04 Feb 2004 14:52:29 +0200	[thread overview]
Message-ID: <87y8rjhur6.fsf@naked.iki.fi> (raw)
In-Reply-To: <!~!AAAAAJOwVq2HeURFjPF/cT+K05uE3isA@cs.cmu.edu> (donna's message of "Tue, 3 Feb 2004 23:31:33 -0500")

donna wrote:
> My advisor and I were having a dicussion about the utility of
> debuggers for functional langugages. He was of the opinion that they
> are not very useful at all (for a functional language), and wondered
> if anyone even uses, for instance, the OCaml debugger. Based on
> google-ing I have done, it looks like it *is* used, but it's hard to
> get a good impression from just a web crawl.  So:
>
> - Do you personally find the OCaml debugger useful?

Yes, very. Especially in OCaml for its ability to step backwards as
well as forwards in the program execution. And I use it in completely
functional code.

Personally I'd say that I use the OCaml debugger more often for OCaml
code than gdb for C code - but less often than I use the perl debugger
for perl code.

> - Is there any sort of general opinion in the OCaml community about
> the debugger?

I have no idea.

-- Naked

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


  parent reply	other threads:[~2004-02-04 12:52 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-02-04  4:31 donna+spam
2004-02-04  8:18 ` Jean-Christophe Filliatre
2004-02-04  8:46   ` Thomas Fischbacher
2004-02-04  9:19 ` [Caml-list] " Jan Kybic
2004-02-04 10:15 ` [Caml-list] " Richard Jones
2004-02-04 10:30   ` Pierre Boulet
2004-02-04 15:04     ` Christophe Raffalli
2004-02-04 19:26       ` Kip Macy
2004-02-04 10:36   ` Henri Dubois-Ferriere
2004-02-04 15:38     ` Damien Doligez
2004-02-04 12:52 ` Nuutti Kotivuori [this message]
2004-02-04 15:35 ` Damien Doligez
2004-02-04 16:45 ` Ken Rose
2004-02-04 19:12 ` Issac Trotts
2004-02-22 21:21 ` _JusSx_

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87y8rjhur6.fsf@naked.iki.fi \
    --to=naked+caml@naked.iki.fi \
    --cc=caml-list@inria.fr \
    --cc=donna+spam@cs.cmu.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).