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 E567D7FA15 for ; Mon, 30 Nov 2015 18:56:40 +0100 (CET) IronPort-PHdr: 9a23:G11A9BJ3ByHNSurlsdmcpTZWNBhigK39O0sv0rFitYgUI/7xwZ3uMQTl6Ol3ixeRBMOAu68C27qd7/GocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLnh6vuqtX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD88Qa6tVYXK7mU6M9RL1eRHR6YiFmrPHs4CXESEO153cTXy1Cjh1NRQqD9hD2UZqytirhqsJy3y6VOcDzRLEwHz+l6vE4ZgXvjXI3PiA4/XuftMV2xK5W6C2mqgdj0ojZKNWFPeR/c7mbY98FbWVEV8dVESdGB9XvPMM0E+MdMLMA/MHGrFwUoE7iVAQ= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xavier.vdw@gmail.com; spf=Pass smtp.mailfrom=xavier.vdw@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f43.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of xavier.vdw@gmail.com) identity=pra; client-ip=74.125.82.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.vdw@gmail.com"; x-sender="xavier.vdw@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of xavier.vdw@gmail.com designates 74.125.82.43 as permitted sender) identity=mailfrom; client-ip=74.125.82.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.vdw@gmail.com"; x-sender="xavier.vdw@gmail.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-wm0-f43.google.com) identity=helo; client-ip=74.125.82.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.vdw@gmail.com"; x-sender="postmaster@mail-wm0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BRAAAMjVxWmytSfUpehA5vBq5Jj26BZiGFbgKBLAc5EwEBAQEBAQEBEAEBAQEBBgsLCSEugi2CBwEBAQMBEhEdARsSCwEDAQsGBQsNDR0CAiEBAREBBQEKEgYTEgwEh3YBAwoIDZxUgTE+MYtIgWqCeYZRChknAwpWg3sBAQEBAQUBAQEBAQEBFgEFDoZHg3eBBoJTHoIXgm2BRAWGEQyMUoNohSqGF4F3gVtJkmaDZYIlEiSBFxERAYJEDRYHgVc9NAGFcAEBAQ X-IPAS-Result: A0BRAAAMjVxWmytSfUpehA5vBq5Jj26BZiGFbgKBLAc5EwEBAQEBAQEBEAEBAQEBBgsLCSEugi2CBwEBAQMBEhEdARsSCwEDAQsGBQsNDR0CAiEBAREBBQEKEgYTEgwEh3YBAwoIDZxUgTE+MYtIgWqCeYZRChknAwpWg3sBAQEBAQUBAQEBAQEBFgEFDoZHg3eBBoJTHoIXgm2BRAWGEQyMUoNohSqGF4F3gVtJkmaDZYIlEiSBFxERAYJEDRYHgVc9NAGFcAEBAQ X-IronPort-AV: E=Sophos;i="5.20,365,1444687200"; d="scan'208";a="155651900" Received: from mail-wm0-f43.google.com ([74.125.82.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Nov 2015 18:56:39 +0100 Received: by wmuu63 with SMTP id u63so140648509wmu.0 for ; Mon, 30 Nov 2015 09:56:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=GiYxvElqrwAweAnykaWwqTKJXPYyUhuvystA/aIkhNo=; b=VzJV+xL3bZHYLyMwSiWvoyuIq8RgdU/WSDzadul9XRBij+z9c0sYYPAYAQ26SyOV7U VCKxMUH4+AiXDFl85Xnk2bN8mANQ7SaOfFUXtmobkusYlV9K4yTuaR4CpCsOKNHzaYW6 ACp8ogWcETvjJqVcWlqAHFakG6osUocs6p+UsbOzXKVjLquZkDWnGB56nr0kVVUNs56P 1MrDQP5/sbMP6UCiGuWIffbQQgk3q8U6ROL4G2pr6naa+DY01W6HRC3Hdz0MeOC3+B8X QY5BMP6RleIFzuQ1VtWFlJQd3bvdqTsUGLIfZg2u4xSYz1udWYxAylZ0UqnKw+0rlB9R 685A== MIME-Version: 1.0 X-Received: by 10.194.71.16 with SMTP id q16mr76120979wju.49.1448906199600; Mon, 30 Nov 2015 09:56:39 -0800 (PST) Received: by 10.27.10.100 with HTTP; Mon, 30 Nov 2015 09:56:39 -0800 (PST) In-Reply-To: References: <5655AE66.6000307@coherentgraphics.co.uk> <51DD10CD2D56489383A827D5FD9A247B@erratique.ch> <5656CD70.3000908@gmail.com> Date: Mon, 30 Nov 2015 18:56:39 +0100 Message-ID: From: Xavier Van de Woestyne To: Tom Ridge Cc: Leonardo Laguna Ruiz , caml-list Content-Type: multipart/alternative; boundary=047d7bfcf3905715410525c5c3a6 Subject: Re: [Caml-list] Do you use a debugger with OCaml? If not, why not? --047d7bfcf3905715410525c5c3a6 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I started implementing a small debugger using PPX. Actually the tool provide only "logs" but if I have more time, I will write more features (like loop/recursion log/breakpoint, watch etc). https://github.com/xvw/ppx_debugger The code was writted fast, It'll open to improvement. 2015-11-26 11:59 GMT+01:00 Tom Ridge : > 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 debugg= er >> was very accessible and installing custom printers for your data structu= res >> 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=A9cri= t : >>> >>>> 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 = and >>> 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 >> > > --=20 Xavier Van de Woestyne xavier.vdw@gmail.com - TEL BE : 0474 49 53 83 | TEL FR : 06 73 38 72 84 --047d7bfcf3905715410525c5c3a6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
<= span class=3D"">I started implementing a small debu= gger using PPX. Actually the tool provide only "logs" but if I ha= ve more time,
I will write more features (like loop/recursion = log/breakpoint, watch etc).

https://github.com/xvw/ppx_debugger

The code w= as writted fast, It'll open to improvement.

2015-11-26 11:59 GMT= +01:00 Tom Ridge <tom.j.ridge+list@googlemail.com>:
I haven't used= oqamldebug - perhaps it should be more widely publicized? Perhaps linked t= o 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).<= /div>

Recently I have been programming in scala. It is a= n 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 persona= lly, YMMV). Not having to write a make file is already a big win.=C2=A0

On 26 November 2015 at 09:14, Leonardo 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




--
Xavier Van de Woestyne
xavier.vdw@gmail.com - TEL BE : 0474 = 49 53 83 | TEL FR : 06 73 38 72 84
--047d7bfcf3905715410525c5c3a6--