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 7A0E17F20B for ; Wed, 13 Feb 2013 22:17:01 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@gmail.com) identity=pra; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of wojciech.meyer@gmail.com designates 74.125.82.54 as permitted sender) identity=mailfrom; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@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-wg0-f54.google.com) identity=helo; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="postmaster@mail-wg0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AugBAP8BHFFKfVI2k2dsb2JhbABFhk+nLpJyFg4BAQEBCQkLCRQEI4IfAQEEASMdARsRAQsBAwELBgULAwoCAgUEHQICDwEEDxEBBQEKGBMJCQkEh2ABAwkGBAihOotjT4J7hDAKGScDClmIfAEFDIEXjCEHDIMagRMDliSBHY1UP4QpgWkCHgQ X-IPAS-Result: AugBAP8BHFFKfVI2k2dsb2JhbABFhk+nLpJyFg4BAQEBCQkLCRQEI4IfAQEEASMdARsRAQsBAwELBgULAwoCAgUEHQICDwEEDxEBBQEKGBMJCQkEh2ABAwkGBAihOotjT4J7hDAKGScDClmIfAEFDIEXjCEHDIMagRMDliSBHY1UP4QpgWkCHgQ X-IronPort-AV: E=Sophos;i="4.84,658,1355094000"; d="scan'208";a="2774699" Received: from mail-wg0-f54.google.com ([74.125.82.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Feb 2013 22:17:00 +0100 Received: by mail-wg0-f54.google.com with SMTP id fm10so1319626wgb.33 for ; Wed, 13 Feb 2013 13:17:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-type :content-transfer-encoding; bh=5R+nXVyavKItradbofhASzlTrAX7E4CYgWWQ+cUMTvI=; b=0nfuCLpryYjHdaD9qPQXnWzAkUBiIh3/wIuAjVX2JLYajr2GS6reQk3LOtmmPUAu1N 4f7dKmODfENFnV1Adiw0eqhyJ3zbjAN5bB3PLmQG6KqaobSMcCCsw/S5FzD0L6OViLKk trqPVu0k+J38s9shoC9YQSMyaHxtMfnqM/KWu73QqaGaSIIUaZVQpfkq6Msfqai6JngF f11YthP2vc5ZCxYNOezHda79vOsxp40MG3KvTEwjqKS6A/75JLYfquiHF114vPF0WO9G a7QKeVs4/Pw78rGNitPxcTwvbYCzpj9/Zb1OVx4cLO60qircOawgxnQipTc78ZLTc5mT 2WqA== X-Received: by 10.194.86.38 with SMTP id m6mr25232320wjz.13.1360790220411; Wed, 13 Feb 2013 13:17:00 -0800 (PST) Received: from spec-desktop.danmey.org (cpc1-cmbg12-0-0-cust201.5-4.cable.virginmedia.com. [86.9.116.202]) by mx.google.com with ESMTPS id fx5sm48580377wib.11.2013.02.13.13.16.57 (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Wed, 13 Feb 2013 13:16:59 -0800 (PST) From: Wojciech Meyer To: Gerd Stolpmann Cc: Louis Gesbert , Martin DeMello , "caml-list\@inria.fr" References: <1360775393.2379.8@samsung> Date: Wed, 13 Feb 2013 21:17:02 +0000 In-Reply-To: <1360775393.2379.8@samsung> (Gerd Stolpmann's message of "Wed, 13 Feb 2013 18:09:53 +0100") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.94 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: AW: AW: [Caml-list] geany as an ocaml ide Gerd Stolpmann writes: > I can well imagine such a toolkit - basically an editor without user > interface. It would just consist of the underlying modules, and would > solve all difficult tasks - like incremental indentation, or > transparent network file access. Other developers can then pick things > up - only parts, or everything - and I'm sure we'll see then a couple > of GUIs on top of this, some expressive, some minimalistic, some > specializing on certain domains (web, GUI, etc.), some cloning emacs. > And, as you write, existing editors can be "upgraded" by providing > bindings. I think the major point we raised here, that we all want the same from the editor: syntax highlighting, parsing in the background, invoking tools, editing over the network etc. However, each of us, have a completely different taste of how we interact with the editor and how we use the GUI. For one person this might be Emacs which wins, other prefer Code::Blocks. What matters here is not to focus on GUI but the features that would be accessible from the different frontends. (which seem to be a little hard, given diversity of the solutions on the market, but perhaps possible) > Let's call this "editor" ModelOnly (following the common > model/view/controller abstraction). Certainly one does not exclude the other option! I just drew the border of the simple editor, and design requriments for the "ModelOnly". > I completely agree that there are totally different requirements if you > compare the needs of beginners and professionals. However, this is > mostly a matter of presentation, and implementation-wise, there is a > lot of overlap, and also an editor for beginners would profit from a > good model library. One could think about different incarnations of the same editor, did anybody think about Emacs, beginner mode, with CUA bindings and limited access to the functionality just so to make it easily accessible for the beginners? > > Gerd > >> >> -- >> Wojciech Meyer >> http://danmey.org >> >> PS: tramp is also one of the must have features to me in Emacs. >> >> Gerd Stolpmann writes: >> >> >> > Just to make an example: Personally, I'm still sticking to emacs >> > (although latest tuareg-mode is error-prone), mainly because it has >> one >> > killer feature: Tramp. You need to know that I'm often not building >> my >> > programs on the machine I'm sitting at, but I'm remotely logging in >> to >> > another machine (often over continents). Tramp is an emacs module to >> > edit files remotely via ssh/sftp. >> Yes, I also require tramp. >> > >> > My guess is that there are many other users who would profit from >> such >> > a feature. Nevertheless, it is not popping up anywhere else - >> strange >> > enough, since we left the "PC" era long ago where everything had to >> > happen locally on your own computer. The IDEs seem not to have left >> > this era, and in a time where everything moves to the cloud this is >> > really anachronistic. >> > >> > It is clear to me that many features of IDEs are more difficult to >> > implement with such a requirement, as the latency to open files is >> way >> > higher. But on my side there is nothing to discuss, as remotely >> editing >> > files is more important than anything else. >> > >> > Another point from the perspective of a professional: There is >> > absolutely no need to integrate build support into the IDE (like >> > OCamlEditor tries to do). We have already utilities for this, and >> these >> > are scriptable - which is a MUST-HAVE for all professional use >> (think >> > of continuous integration, for instance). >> > >> > Gerd >> > >> > >> > Am 12.02.2013 12:29:41 schrieb(en) Louis Gesbert: >> >> Hi, >> >> >> >> No offence taken :). OCamlEditor indeed looks like a very >> interesting >> >> project, >> >> with lots of features already present. But the scope and project >> >> goals are not >> >> the same though, so I think ocp-editor still has a place on its >> own ; >> >> >> >> One of our main goals is to make IDE bricks available publicly, so >> I >> >> think the >> >> projects can benefit to one another. I would be glad to borrow some >> >> widgets from >> >> OCamlEditor, and it could use automatic indentation or better >> >> toplevel process >> >> interaction. >> >> >> >> If the author -- Francesco Tovagliari -- is around here, I would be >> >> glad to know >> >> how he feels about this ? >> >> >> >> -- >> >> Louis Gesbert, OCamlPro >> >> >> >> Le mardi 12 f=C3=A9vrier 2013 00:24:36, Martin DeMello a =C3=A9crit : >> >> > Hi Louis, >> >> > >> >> > That looks very interesting. Sorry if this seems like a rude >> >> question; >> >> > I truly don't mean it that way, but if your editor needs a few >> >> months >> >> > of work, why not work on a stripped-down interface for >> OCamlEditor >> >> > [http://ocamleditor.forge.ocamlcore.org/] instead? I remember >> when I >> >> > was learning web development I enjoyed using Evrsoft's "1st Page" >> >> IDE, >> >> > which had modes that would add or remove bits from the interface >> as >> >> > you progressed from beginner to power user, and something like >> that >> >> > would be very nice to have for OCaml. >> >> > >> >> > martin >> >> > >> >> > On Mon, Feb 11, 2013 at 3:40 AM, Louis Gesbert >> >> > >> >> > wrote: >> >> > > OCaml is definitely lacking in this area; I am at the moment >> >> working >> >> > > precisely on solving this issue, with a dedicated Gtk editor >> that >> >> runs >> >> > > on Linux, OSX and Windows. It is pretty basic at the moment but >> >> already >> >> > > has code edition and working toplevel interaction (no >> compilation >> >> or >> >> > > project yet). >> >> > > >> >> > > Release is intended in a few months from now, with sufficient >> >> features >> >> > > for beginners and students. If successful, it will then be >> >> extended to >> >> > > handle bigger projects (multi-file, build system integration, >> >> etc.). >> >> > > >> >> > > Until then, you may see the project's github page at >> >> > > https://github.com/OCamlPro/ocp-edit-simple (name temporary) >> >> > > >> >> > > -- >> >> > > Louis Gesbert, OCamlPro >> >> > > >> >> > > Le Monday 11 February 2013 01:49:41, Martin DeMello a =C3=A9crit : >> >> > >> I spent some time last night going through all the "what is a >> >> good >> >> > >> (beginner's) ide for ocaml?" threads I could find online, and >> >> trying >> >> > >> out the various options suggested. I ruled out the following: >> >> > >> >> >> > >> * vim, emacs and eclipse (not beginner-friendly; people who >> want >> >> to >> >> > >> use them will know how to do it) >> >> > >> * anything that did not provide a binary install for Windows >> and >> >> OSX, >> >> > >> and wasn't a simple configure/make/make install on linux >> >> > >> * anything that needed fiddling with config files just to >> >> install it >> >> > >> * anything that needed the OCaml sources to be independently >> >> present >> >> > >> and configured (!) >> >> > >> * anything that was abandoned, or didn't seem to support >> OCaml 4 >> >> > >> >> >> > >> I was left with Geany and Komodo Edit as possibilities, and >> >> Geany won >> >> > >> out by letting me open up a test.ml file and immediately being >> >> able to >> >> > >> find and run the OCaml compiler. At least on Linux, it was a >> >> perfect >> >> > >> beginner-friendly experience. >> >> > >> >> >> > >> So what do people think about ocaml.org officially promoting >> >> Geany as >> >> > >> the answer to "I'm learning OCaml; what is a good IDE?"? I'd >> be >> >> happy >> >> > >> to write up a page on it and contribute it. >> >> > >> >> >> > >> martin >> >> > > >> >> > > -- >> >> > > 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 >> >> >> >> -- >> >> 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 >> >> >> > >> > >> > >> > -- >> > ------------------------------------------------------------ >> > Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de >> > Creator of GODI and camlcity.org. >> > Contact details: http://www.camlcity.org/contact.html >> > Company homepage: http://www.gerd-stolpmann.de >> > ------------------------------------------------------------ >> >> -- >> 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 >> -- Wojciech Meyer http://danmey.org