From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 48B607F108 for ; Thu, 26 Nov 2015 11:59:31 +0100 (CET) IronPort-PHdr: 9a23:4SPv7RYkeRm9KWUPCKNBZuL/LSx+4OfEezUN459isYplN5qZpM2ybnLW6fgltlLVR4KTs6sC0LqL9fC4EjVQqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh730q8WYOlUArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZ2arjhZ6kzUZBfCT0nNSh1uJyq5lH/Sl6r63waW38alVJsCgfY6hiyZIrwoGOus+1x3CedFcLzRLEwHz+l6vEvABThjSNCMz8i7CmDgcV1iOdfoQm9jx152Y/dJo+PYqlQZKTYKO8dQCJ7X8peWmQVHoS5KYlJFesNMusbq4jmu3MBqhyxAQSpDeLrjDRPgymljuUBz+09HFSej0QbFNUUvSGI/dg= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tom.j.ridge@googlemail.com; spf=Pass smtp.mailfrom=tom.j.ridge@googlemail.com; spf=None smtp.helo=postmaster@mail-qg0-f52.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tom.j.ridge@googlemail.com) identity=pra; client-ip=209.85.192.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tom.j.ridge@googlemail.com"; x-sender="tom.j.ridge@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of tom.j.ridge@googlemail.com designates 209.85.192.52 as permitted sender) identity=mailfrom; client-ip=209.85.192.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tom.j.ridge@googlemail.com"; x-sender="tom.j.ridge@googlemail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qg0-f52.google.com) identity=helo; client-ip=209.85.192.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tom.j.ridge@googlemail.com"; x-sender="postmaster@mail-qg0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CsAABa5VZWlDTAVdFehA5vBq4bkXaFboE4BzsRAQEBAQEBAQEQAQEBAQcLCwkfMEEQAYFbggcBAQEDARIRHQEBLAwECwEKBAcNDR0CAiEBEgEFAQoSBgESEgwEh3YBAwoIDaAMgTE+MYpXcYRjAQWGFgoZJwMKhGMMARoGikyBBoJTgjWCbYFEhhYMjFKDaIUohheBdoFcSZJjg2SCJRIkgRcRJmaBSg0dgVY+NIEHhFkBAQE X-IPAS-Result: A0CsAABa5VZWlDTAVdFehA5vBq4bkXaFboE4BzsRAQEBAQEBAQEQAQEBAQcLCwkfMEEQAYFbggcBAQEDARIRHQEBLAwECwEKBAcNDR0CAiEBEgEFAQoSBgESEgwEh3YBAwoIDaAMgTE+MYpXcYRjAQWGFgoZJwMKhGMMARoGikyBBoJTgjWCbYFEhhYMjFKDaIUohheBdoFcSZJjg2SCJRIkgRcRJmaBSg0dgVY+NIEHhFkBAQE X-IronPort-AV: E=Sophos;i="5.20,346,1444687200"; d="scan'208";a="155204352" Received: from mail-qg0-f52.google.com ([209.85.192.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Nov 2015 11:59:29 +0100 Received: by qgeb1 with SMTP id b1so51974403qge.1 for ; Thu, 26 Nov 2015 02:59:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:content-type; bh=vo4JvruTb20/5sgfmv/UdT7L7iIsFZgX8bozmqQx244=; b=ZebypHmbXkmcHCCeKHTSESBoO5xnPVinc+o3zu8i9ErtsTU0GcSAGM/3m0ZhbjlhCF /HGZsASlp7maHgIKDml70IIfZFJgsJWKMQq3jWy8E1ysfBkIiTYmLOsMgV60FTGMZbGu iHdOg0l+AwXJHwe9SCiMvzMkoNWOk49amLVkkDbVuwsMsUxTJt+P9tZrWX1062vuPkCZ bQjo6hls1BKwaHj3qGBBCJItvdwESLZmEYwi81MmWhUc5FDfw2SclzuevM57443IEFEv UUmehQqVTJKrV+GRE5xa0VREG71P4accn7g0Z6kYb83n2xeBeLx8EB70+kVV9VwCU7PP Jlow== X-Received: by 10.140.30.68 with SMTP id c62mr47595208qgc.9.1448535568496; Thu, 26 Nov 2015 02:59:28 -0800 (PST) MIME-Version: 1.0 Sender: tom.j.ridge@googlemail.com Received: by 10.140.105.198 with HTTP; Thu, 26 Nov 2015 02:59:09 -0800 (PST) In-Reply-To: <5656CD70.3000908@gmail.com> References: <5655AE66.6000307@coherentgraphics.co.uk> <51DD10CD2D56489383A827D5FD9A247B@erratique.ch> <5656CD70.3000908@gmail.com> From: Tom Ridge Date: Thu, 26 Nov 2015 10:59:09 +0000 X-Google-Sender-Auth: OF4QARqSXCj1rY_7XExucqq2J9E Message-ID: To: Leonardo Laguna Ruiz , caml-list Content-Type: multipart/alternative; boundary=001a11390e0e014fe305256f788a Subject: Re: [Caml-list] Do you use a debugger with OCaml? If not, why not? --001a11390e0e014fe305256f788a Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I haven't used oqamldebug - perhaps it should be more widely publicized? Perhaps linked to from the ocamldebug doc? That said, println is my tool of choice, although I hear good things about printf :) I think that, because of lack of resources, we probably have to accept that, as far as debuggers and IDEs are concerned, we are going to be stuck where we are for the forseeable future (emacs+speedbar in my case). Recently I have been programming in scala. It is an interesting language. I wouldn't say it is better than OCaml, but the tooling and IDE support is much better (and the libraries... wow!), and as a consequence the programming experience is more enjoyable (for me personally, YMMV). Not having to write a make file is already a big win. On 26 November 2015 at 09:14, Leonardo Laguna Ruiz wrote: > I use oqamldebug. In general works very well. > > Ocamldebug is good but I agree that the UI needs improvements. When I was > programming F# I practically never used print debugging since the debugger > was very accessible and installing custom printers for your data structur= es > was trivial. > > Leonardo > > > On 2015-11-25 16:55, Daniel B=C3=BCnzli wrote: > >> Le mercredi, 25 novembre 2015 =C3=A0 12:49, John Whitington a =C3=A9crit= : >> >>> If not a debugger, why not? >>> >> For UI reasons. >> >> When I was doing ios work you could just set a break point in the ide by >> clicking in the margin, hit the run button and you'd simply stop there a= nd >> be able to inspect the state of your program. It was quick and easy so I >> would use it =E2=80=94 note however that sometimes it was easier to get = exactly >> what you wanted through a printf statement. >> >> Lacking such a trivial setup, printf is quicker. >> >> Best, >> >> Daniel >> >> >> >> >> >> >> >> >> > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a11390e0e014fe305256f788a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I haven't used oqamldebug - perhaps it should be more = widely publicized? Perhaps linked to from the ocamldebug doc?

That said, println is my tool of choice, although I hear good things = about printf :)

I think that, because of lack= of resources, we probably have to accept that, as far as debuggers and IDE= s are concerned, we are going to be stuck where we are for the forseeable f= uture (emacs+speedbar in my case).

Recently I have= been programming in scala. It is an interesting language. I wouldn't s= ay it is better than OCaml, but the tooling and IDE support is much better = (and the libraries... wow!), and as a consequence the programming experienc= e is more enjoyable (for me personally, YMMV). Not having to write a make f= ile is already a big win.=C2=A0


On 26 November 2015 at 09:14, Leon= ardo Laguna Ruiz <modlfo@gmail.com> wrote:
I use oqamldebug. In general works very well.

Ocamldebug is good but I agree that the UI needs improvements. When I was p= rogramming F# I practically never used print debugging since the debugger w= as very accessible and installing custom printers for your data structures = was trivial.

Leonardo


On 2015-11-25 16:55, Daniel B=C3=BCnzli wrote:
Le mercredi, 25 novembre 2015 =C3=A0 12:49, John Whitington a =C3=A9crit :<= br>
If not a debugger, why not?
For UI reasons.

When I was doing ios work you could just set a break point in the ide by cl= icking in the margin, hit the run button and you'd simply stop there an= d be able to inspect the state of your program. It was quick and easy so I = would use it =E2=80=94 note however that sometimes it was easier to get exa= ctly what you wanted through a printf statement.

Lacking such a trivial setup, printf is quicker.

Best,

Daniel










--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a11390e0e014fe305256f788a--