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 DC4327EE49 for ; Sun, 15 Sep 2013 17:16:51 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.128.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.128.169 as permitted sender) identity=mailfrom; client-ip=209.85.128.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@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-ve0-f169.google.com) identity=helo; client-ip=209.85.128.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-ve0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnMCAErONVLRVYCplGdsb2JhbABbgz+DfL1AgRcWDgEBAQEHCwsJEiqCJQEBBSMPAQUIARQHHAIDDAYDAgsGBAEBAQICBRYIAwICCQMCAQIBEREBBQELCQgGAQwGAgEBh2wBAw8MjGqPU4wAUYMHg2MKGScNZIhJAQUMgR2NAYFQgmmBNQOXe44qgWFBhGiBVQ X-IPAS-Result: AnMCAErONVLRVYCplGdsb2JhbABbgz+DfL1AgRcWDgEBAQEHCwsJEiqCJQEBBSMPAQUIARQHHAIDDAYDAgsGBAEBAQICBRYIAwICCQMCAQIBEREBBQELCQgGAQwGAgEBh2wBAw8MjGqPU4wAUYMHg2MKGScNZIhJAQUMgR2NAYFQgmmBNQOXe44qgWFBhGiBVQ X-IronPort-AV: E=Sophos;i="4.90,909,1371074400"; d="scan'208";a="26911816" Received: from mail-ve0-f169.google.com ([209.85.128.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Sep 2013 17:16:50 +0200 Received: by mail-ve0-f169.google.com with SMTP id db12so2366905veb.0 for ; Sun, 15 Sep 2013 08:16:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=Pe/SVPy2+g1dYpUlTfqP+kmNPBp9jvpqdBBTBHkxBxU=; b=SaWYFE72/Cn9xk2XD1b0nMAkLBa4TtxlcS7arDtd8LXxIkXTM0Se8MQ5ESScMVxFUu 13ZqCxBJuxbE3yl79aDjl3aam0ja4eicEsnUC8M7qwgnF0+LPriPof90B46oyNyMjGa0 gIu1FAWbzvzBGoekKQUtH05cihg1vYnQo6U5fX5Vg5Fj3KCrUGu0iuF/s7JhDfDQ8z1y 0mBmcFDWrHvWuwQlOMjlwWXJaAgHP7kG+0uBrqtHwVttJA7xCPOYWcE0VliUVRWlcORz kDn/jRFFDrwb7K97dhdAk+yoaeESaQfJUcFExsJZwhLq7AVG9Rv9jIeaBU++Ago6RaOx okMg== X-Received: by 10.221.56.194 with SMTP id wd2mr22743828vcb.7.1379258209477; Sun, 15 Sep 2013 08:16:49 -0700 (PDT) Received: from vagvlan536.1448.wlan.wireless-pennnet.upenn.edu (vagvlan536.1448.wlan.wireless-pennnet.upenn.edu. [158.130.214.13]) by mx.google.com with ESMTPSA id s17sm14531760vdg.5.1969.12.31.16.00.00 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 15 Sep 2013 08:16:47 -0700 (PDT) Message-ID: <5235CF61.5040805@gmail.com> Date: Sun, 15 Sep 2013 11:16:49 -0400 From: Hongbo Zhang User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:17.0) Gecko/20130801 Thunderbird/17.0.8 MIME-Version: 1.0 To: jon@ffconsultancy.com, Caml List References: <034701cead6e$894e7030$9beb5090$@ffconsultancy.com> In-Reply-To: <034701cead6e$894e7030$9beb5090$@ffconsultancy.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] IDE On 9/9/13 11:09 AM, Jon Harrop wrote: > > FWIW, Intellisense is an invaluable way to explore APIs when using F#. Coming back to OCaml now feels cumbersome. The development of GUI apps is perhaps the most extreme example: my productivity is maybe 100x higher with F# than OCaml solely because of Intellisense (nothing to do with GUI designer tools). try utop, it's not as good as Visual studio, but it's very useful to explore API. Personally I used it a lot to explore the OCaml compiler's API, which is quite helpful > > Cheers, > Jon. > > From: caml-list-request@inria.fr [mailto:caml-list-request@inria.fr] On Behalf Of Kristopher Micinski > Sent: 08 September 2013 13:41 > To: Suminda Dharmasena > Cc: caml-list@inria.fr > Subject: Re: [Caml-list] IDE > > OcaIDE exists: > > http://www.algo-prog.info/ocaide/ > > Along with others as well. > > I've personally never been a real fan of using Eclipse for OCaml development. I feel like the good reasons to use Eclipse are for languages with huge overhead in naming conventions and boilerplate, Java being the case in point example. By contrast, in OCaml most people use the module system and I've usually been able to get by with swapping between a few buffers of interface files. Of course, YMMV. > > Kris > > > On Sun, Sep 8, 2013 at 2:34 AM, Suminda Dharmasena wrote: > Hi, > > Is it possible to have a Eclipse based IDE? Perhaps Xtext may help in putting one together. > > Suminda > > -- > Suminda Sirinath Salpitikorala Dharmasena, B.Sc. Comp. & I.S. (Hon.) Lond., P.G.Dip. Ind. Maths. J'Pura, MIEEE, MACM, CEO Sakrīō! ▣ Address: 6G • 1st Lane • Pagoda Road • Nugegoda 10250 • Sri Lanka. ▣ Mobile: +94-(0)711007945 ▣ Tele: +94-(0)11-5 864614 / 5 875614 / 2 825908 ▣ Web: http://www.sakrio.com ▣ > > This email is subjected to the email Terms of Use and Disclaimer: http://www.sakrio.com/email-legal. Please read this first. > -- > > >