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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 348FC7EE4B for ; Wed, 2 Oct 2013 19:06:50 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.45 as permitted sender) identity=mailfrom; client-ip=209.85.214.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f45.google.com) identity=helo; client-ip=209.85.214.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqIBAEZSTFLRVdYtm2dsb2JhbABZgz9SrkKKFIhEgRAIFg4BAQEBAQYLCwkUKIIlAQEEAUABGxILAQMBCwYFCxohIgERAQUBCgQOBhMSh2EBAwkGDJ5vjFKDCoQbChknAwpkiQABBQyPQQQHhCMDhSSSXYEviniDbRgphFA6 X-IPAS-Result: AqIBAEZSTFLRVdYtm2dsb2JhbABZgz9SrkKKFIhEgRAIFg4BAQEBAQYLCwkUKIIlAQEEAUABGxILAQMBCwYFCxohIgERAQUBCgQOBhMSh2EBAwkGDJ5vjFKDCoQbChknAwpkiQABBQyPQQQHhCMDhSSSXYEviniDbRgphFA6 X-IronPort-AV: E=Sophos;i="4.90,1019,1371074400"; d="scan'208";a="35296768" Received: from mail-bk0-f45.google.com ([209.85.214.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Oct 2013 19:06:48 +0200 Received: by mail-bk0-f45.google.com with SMTP id mx11so475108bkb.32 for ; Wed, 02 Oct 2013 10:06:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=Wj+vFfGXCDV3gOlWin8HRXgC2NSgqwuZf8Y38Z7eQb8=; b=Ft2muAU2ATr3bMxfSjrhTVHO5KF2QwspL7i5F+Yml4qBpVUmZNh1fi12ZZlMIgHUnu iyZlDaT1vtQjCtlYyP2V+lc9XG/+IBiuCU+1TH6eE1X1tW+5ACshFsTj/gF+CRT1Mt1W EPGXcZsEwvSvQCWNkgAlZp9gviriftjtkYQrZoV9gyf0c1s/Tl6LG5IGd5R1mJlM3/mZ wZ9+VoDfT31C1OI2m0wQZV0MKbOKSO3rBJY9dIyWDNrj741Ef0h/dpZfWQZOslk8lE5d pwtng7CyekUpCYBItpLUv/OsrlWiSX8jPOdGsDtv4CkAhvD62UuhR6mzgWeupWM4JpEl cowA== X-Received: by 10.204.228.10 with SMTP id jc10mr3252492bkb.26.1380733607792; Wed, 02 Oct 2013 10:06:47 -0700 (PDT) MIME-Version: 1.0 Received: by 10.204.236.193 with HTTP; Wed, 2 Oct 2013 10:06:07 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Wed, 2 Oct 2013 19:06:07 +0200 Message-ID: To: David MENTRE Cc: caml users Content-Type: multipart/alternative; boundary=485b3970d64e39036104e7c518fb Subject: Re: [Caml-list] OCaml editor running tests or other tasks in background? --485b3970d64e39036104e7c518fb Content-Type: text/plain; charset=ISO-8859-1 I think the most advanced project regarding IDE integration nowadays is Merlin ( https://github.com/def-lkb/merlin ), which gives direct feedback on syntax and typing errors. It doesn't have any knowledge of unit tests or coverage checking, but it would probably be the right tool to start with to integrate such a feature. Note that there has been a bit of back-and-forth on the instant feedback feature. Previous iterations were deemed a bit too visually invasive, and some people don't like to risk being interrupted by their IDE while they think about their code. I think it's always better to have the feature available, but there is clearly some tuning to have, and potential for overdoing it. The other project that jumps to mind is the Why3 IDE ( http://why3.lri.fr/). It seems they're not hype enough to have video stuff available, but from what I remember the GUI does a pretty good job of giving feedback on how external provers run, and pieces of code that were previously verified and aren't anymore. On Wed, Oct 2, 2013 at 6:00 PM, David MENTRE wrote: > Hello, > > Somebody has recently shown me the NCrunch (http://www.ncrunch.net/) > plug-in running under Microsoft Visual Studio and I was quite > impressed by it. This plug-in allows to define and run a test suite on > a C# program. The very nice thing about NCrunch is that the tests are > run in the background, without any user intervention (without even the > need to save files!). A set of coloured icons are displayed next to > each test to see if the test succeeded or not and some additional > pop-ups or right-clicks bring additional information. This approach > brings a very fluent way to develop some code and test it > simultaneously. > > In the same spirit, I have seen the Dafny development environment for > proved programs > (https://research.microsoft.com/en-us/projects/dafny/), still on > Visual Studio, where this time Verification Conditions and proofs of > the program being edited are generated and run in the background, with > coloured icons displaying the result. Once again, no need for the user > to click on icons or do any specific action. > > So my question: are there similar OCaml editors available or being > worked on that would allow running tasks in the background and > displaying result in the editor without user intervention? > > There is apparently a lot of development in the OCaml development > environment these days so somebody might already work on something > similar. > > By "OCaml editor", I am voluntarily ambiguous: I am interested in both > editor to program in OCaml and editor programmed in OCaml (or > interfaced with OCaml) and which could be used for other languages. > > Best regards, > david > > -- > 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 > --485b3970d64e39036104e7c518fb Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
I think the most advanced project regarding IDE integ= ration nowadays is Merlin ( h= ttps://github.com/def-lkb/merlin ), which gives direct feedback on synt= ax and typing errors. It doesn't have any knowledge of unit tests or co= verage checking, but it would probably be the right tool to start with to i= ntegrate such a feature.

Note that there has been a bit of back-and-forth on the inst= ant feedback feature. Previous iterations were deemed a bit too visually in= vasive, and some people don't like to risk being interrupted by their I= DE while they think about their code. I think it's always better to hav= e the feature available, but there is clearly some tuning to have, and pote= ntial for overdoing it.

The other project that jumps to mind is the Why3 IDE (= http://why3.lri.fr/ ). It seems they&#= 39;re not hype enough to have video stuff available, but from what I rememb= er the GUI does a pretty good job of giving feedback on how external prover= s run, and pieces of code that were previously verified and aren't anym= ore.


On Wed, Oct 2, 2013 at 6:00 PM, David MENTRE <dmen= tre@linux-france.org> wrote:
Hello,

Somebody has recently shown me the NCrunch (http://www.ncrunch.net/)
plug-in running under Microsoft Visual Studio and I was quite
impressed by it. This plug-in allows to define and run a test suite on
a C# program. The very nice thing about NCrunch is that the tests are
run in the background, without any user intervention (without even the
need to save files!). A set of coloured icons are displayed next to
each test to see if the test succeeded or not and some additional
pop-ups or right-clicks bring additional information. This approach
brings a very fluent way to develop some code and test it
simultaneously.

In the same spirit, I have seen the Dafny development environment for
proved programs
(https://research.microsoft.com/en-us/projects/dafny/), still o= n
Visual Studio, where this time Verification Conditions and proofs of
the program being edited are generated and run in the background, with
coloured icons displaying the result. Once again, no need for the user
to click on icons or do any specific action.

So my question: are there similar OCaml editors available or being
worked on that would allow running tasks in the background and
displaying result in the editor without user intervention?

There is apparently a lot of development in the OCaml development
environment these days so somebody might already work on something
similar.

By "OCaml editor", I am voluntarily ambiguous: I am interested in= both
editor to program in OCaml and editor programmed in OCaml (or
interfaced with OCaml) and which could be used for other languages.

Best regards,
david

--
Caml-list mailing list. =A0Subscription management and archives:
ht= tps://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

--485b3970d64e39036104e7c518fb--