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 49CDA820A1 for ; Sun, 8 Sep 2013 14:43:48 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mwh@cs.umd.edu) identity=pra; client-ip=128.8.127.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mwh@cs.umd.edu"; x-sender="mwh@cs.umd.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mwh@cs.umd.edu designates 128.8.127.44 as permitted sender) identity=mailfrom; client-ip=128.8.127.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mwh@cs.umd.edu"; x-sender="mwh@cs.umd.edu"; 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@egg.cs.umd.edu) identity=helo; client-ip=128.8.127.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mwh@cs.umd.edu"; x-sender="postmaster@egg.cs.umd.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As8BAKZwLFKACH8snGdsb2JhbABbgz+De75egSQWDgEBAQEBBhYJPIIlAQEEASMdAQETJAEECwkCDgoCAiYCAiE2BhMeh1IDCQYMmX2aX3SDVgEFhBINV4geBoEpi2mBJYEWMweCaTSBAJYPiBWGC4FlhwaBVQ X-IPAS-Result: As8BAKZwLFKACH8snGdsb2JhbABbgz+De75egSQWDgEBAQEBBhYJPIIlAQEEASMdAQETJAEECwkCDgoCAiYCAiE2BhMeh1IDCQYMmX2aX3SDVgEFhBINV4geBoEpi2mBJYEWMweCaTSBAJYPiBWGC4FlhwaBVQ X-IronPort-AV: E=Sophos;i="4.90,864,1371074400"; d="scan'208";a="31967859" Received: from egg.cs.umd.edu ([128.8.127.44]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Sep 2013 14:43:46 +0200 Received: from [10.0.1.7] (pool-173-79-38-163.washdc.fios.verizon.net [173.79.38.163]) (Authenticated sender: mwh) by egg.cs.umd.edu (Postfix) with ESMTPSA id 35300682633; Sun, 8 Sep 2013 08:43:48 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=cs.umd.edu; s=csmx; t=1378644228; bh=cWnK/gJJ+ZCh4lc012kPs3kZ2dy/tqwLKNNPDl08edU=; h=Content-Type:Mime-Version:Subject:From:In-Reply-To:Date:Cc: Content-Transfer-Encoding:Message-Id:References:To; b=KG53Yi3ndyOrQeTDAHbVdsTumENgvRPtPhFCIv+47VPsNsYcq7A+nBvBSIxbon0fr sJrJnEI6h9O8SGhpD87CCGPHiapdmN/Xm4lk4YCenuYOlm9BtK/u4rhap/nq+HgHV7 Sh2zIhkjUoJ/EJ6W5XZ/wp6ZKaPe304T36AQpn3c= Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\)) From: Michael Hicks In-Reply-To: Date: Sun, 8 Sep 2013 08:43:43 -0400 Cc: Suminda Dharmasena , "caml-list@inria.fr" Content-Transfer-Encoding: quoted-printable Message-Id: <2DB5C985-28BF-4088-AEB1-DA79775E27D5@cs.umd.edu> References: To: Kristopher Micinski X-Mailer: Apple Mail (2.1508) X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.3.8 (egg.cs.umd.edu [0.0.0.0]); Sun, 08 Sep 2013 08:43:48 -0400 (EDT) X-CSD-MailScanner-ID: 35300682633.A4B71 X-CSD-MailScanner: Found to be clean X-CSD-MailScanner-SpamCheck: not spam, SpamAssassin (not cached, score=-49.99, required 5, autolearn=not spam, ALL_TRUSTED -50.00, T_DKIM_INVALID 0.01) X-CSD-MailScanner-From: mwh@cs.umd.edu X-CSD-MailScanner-Watermark: 1379249029.27199@yCCYoQt8Nagqns3C1gXIKA Subject: Re: [Caml-list] IDE UPenn uses OcaIDE for its introductory courses, and we've used it at UMD as= well. I think it helps students make the transition from Java to OCaml wit= h less pain, when they are used to developing the former in Eclipse. But I = agree with you that Eclipse is a more obvious win for Java than OCaml. -Mike On Sep 8, 2013, at 8:41 AM, Kristopher Micinski wr= ote: > OcaIDE exists: >=20 > http://www.algo-prog.info/ocaide/ >=20 > Along with others as well. >=20 > I've personally never been a real fan of using Eclipse for OCaml developm= ent. I feel like the good reasons to use Eclipse are for languages with hu= ge overhead in naming conventions and boilerplate, Java being the case in p= oint 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 int= erface files. Of course, YMMV. >=20 > Kris >=20 >=20 >=20 > On Sun, Sep 8, 2013 at 2:34 AM, Suminda Dharmasena = wrote: > Hi, >=20 > Is it possible to have a Eclipse based IDE? Perhaps Xtext may help in put= ting one together. >=20 > Suminda > -- > Suminda Sirinath Salpitikorala Dharmasena, B.Sc. Comp. & I.S. (Hon.) Lond= ., P.G.Dip. Ind. Maths. J'Pura, MIEEE, MACM, CEO Sakr=C4=AB=C5=8D! =E2=96= =A3 Address: 6G =E2=80=A2 1st Lane =E2=80=A2 Pagoda Road =E2=80=A2 Nugegoda= 10250 =E2=80=A2 Sri Lanka. =E2=96=A3 Mobile: +94-(0)711007945 =E2=96=A3 Te= le: +94-(0)11-5 864614 / 5 875614 / 2 825908 =E2=96=A3 Web: http://www.sakr= io.com =E2=96=A3 >=20 > This email is subjected to the email Terms of Use and Disclaimer: http://= www.sakrio.com/email-legal. Please read this first. > -- >=20