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 E78317F20B for ; Thu, 14 Feb 2013 00:30:28 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@gmail.com) identity=pra; client-ip=74.125.82.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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: AswBAOMgHFFKfVI2k2dsb2JhbABFhXVauh8WDgEBAQEJCQsJFAQjgh8BAQQBDBcdARsdAQMBCwYDAgsPAgUhAgIPAQQPEQEFAQ4UExSHawEDCQYEkjePHotjT4J7hDoKGScNWYh8AQUMgReMIYMtgRMDliSBHY1UP4QpgWk X-IPAS-Result: AswBAOMgHFFKfVI2k2dsb2JhbABFhXVauh8WDgEBAQEJCQsJFAQjgh8BAQQBDBcdARsdAQMBCwYDAgsPAgUhAgIPAQQPEQEFAQ4UExSHawEDCQYEkjePHotjT4J7hDoKGScNWYh8AQUMgReMIYMtgRMDliSBHY1UP4QpgWk X-IronPort-AV: E=Sophos;i="4.84,660,1355094000"; d="scan'208";a="2136418" Received: from mail-wg0-f54.google.com ([74.125.82.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Feb 2013 00:18:38 +0100 Received: by mail-wg0-f54.google.com with SMTP id fm10so1400420wgb.21 for ; Wed, 13 Feb 2013 15:30:27 -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=w+srCGu7uqfIwyd6x/pb8Ef6PW8vs9MJ2N9vZIvleZE=; b=KxfK833UzQt5l/HS8ypyrMbq8J1+UZH3ojj8SpDc9gkxQgLrc8sCqEh/Pk3z1Opgbn kXZGLbrgNxopXZJjnT3duwHKPezcQFdsSAV9KWXtkqduP96XLHGbzDTJncdgn2Ua+961 BHHT/SVG7sckcuii5MbLIc4rTP6gFmQRQFscIcTMP+BoHtTjQCQ9ZN9ZdNJl5imhtBHd UyFnOw6cK95bRHs8plj78gW51H4dBMcV86/LyYAXYH+9Ef4VBmc8yPd9vqNOKh72MnMV wwJ/+1zowiuWPa9ecgG/+CwNOZsCfDvc4FwAMP4Y9KKVnbV2o1JTzcs0CCgt31v2FVol mPRA== X-Received: by 10.194.242.69 with SMTP id wo5mr41460534wjc.10.1360798227887; Wed, 13 Feb 2013 15:30:27 -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 fg6sm29398341wib.10.2013.02.13.15.30.25 (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Wed, 13 Feb 2013 15:30:26 -0800 (PST) From: Wojciech Meyer To: =?utf-8?B?VMO2csO2aw==?= Edwin Cc: caml-list@inria.fr References: <1360775393.2379.8@samsung> <511C0E73.3040808@etorok.net> Date: Wed, 13 Feb 2013 23:30:30 +0000 In-Reply-To: <511C0E73.3040808@etorok.net> (=?utf-8?B?IlTDtnLDtms=?= Edwin"'s message of "Thu, 14 Feb 2013 00:06:43 +0200") 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 T=C3=B6r=C3=B6k Edwin writes: > Don't forget that the preferred "GUI" is sometimes just a console applica= tion. > I'm using vim to edit files in remote ssh sessions (unless latency makes = it impractical), and even > on the desktop I much prefer the console version: mostly because its > so easy to put it into the background, do some other tasks (building / > debugging), then bring back the editor to fix things, and so > on. For some reason I also find it easier to switch between console tabs = in Konsole than between multiple windows. My pattern is to avoid console as much as possible, and open a buffer if I need to. So my Emacs is usually a single monolithic session captured in a tiling window manager, where I edit the code, send e-mails, sometimes spawn jobs , run top-level, talk on jabber or irc and refine my patches with magit. Gnome-terminal is open on a different screen, just in case I find it more comfortable to use it. (which usually happens at random times at random days), but must say it that spawning job in terminal is much more convenient than in Emacs. I also believe that can't live without terminal on SSH - even though I edit my files exclusively using Tramp. Probably your workflow is ideally orthogonal to mine, but that proves the requirement - that such framework should be generic and scalable as possible to cover many weird cases that tend to happen when people that use Unix tools. Interesting idea: providing an OCaml plugin to Visual Studio might bring up whole bunch of F# individuals that wanted to compile = to native code. There is strong move of MS to get towards the native code instead of .net. Also, we have some excellent UI console windowing libraries like lambda-term or zed so maybe perhaps that is the way to go? At least console encourages to use terminal, and it just works. There are some famous console UI applications like Midnight Commander used by many people. > I agree that the focus should be on functionality, if I see an IDE with f= eatures I like my first thought would be: > "thats nice, now how do I make that work in Vim?". > If an OCaml library, or even just a command-line tool is provided that im= plements feature X independently of the full editor, > then its a matter of writing some editor-specific scripts to hook it up. > > On the other hand care should be taken when advertising the editor for be= ginners: > - if editor lacks feature X, then a beginner might generalize that to > "Ocaml is the language without X" Sadly my response that it often was pointed out in the past - "OCaml is rubbish does not have a package manager - look at my ruby gems; it just works.". Well, yes, features and environment just takes equal time and effort to developing a language itself, and how many years it took to bring up OCaml to such a state? Look at, how many IDEs are for such language like C++, and mostly they cut, and that contributes that some people will think that C++ will be the language of their choice - they will be scared to run Emacs, but will just approve MS Eula online to install Visual Studio Express. > - will the editor be maintained with new ocaml releases? OCaml these days changed rapidly. Therefore having a maintaince headache with Camlp4 I can imagine it might be an issue. > - once the beginner is ready to move to more advanced features, are > they required to abandon the editor, or will it be customizable with > plugins? That's why the basic editor should be very limited, it took 40 years to bring up Emacs to the current state - surely we don't want to spend another 40 years to come up with new great Emacs for OCaml (only??). > - once the beginner is ready to move on to using editor>, how can the features of the ocaml editor be accomplished > there? The answer is: if the OCaml is popular enough and the editor of the his choice is also popular, then might be that we will have a set intersection, and actually some of these people will write a nice plugin for they favourite editors. However to do this we'd first need to make OCaml popular. The real bugs are in people that learn programming, they tend to be not hampered by the industry and still some their dreams about the tool they'd like to use in they daily routines. I think it's a fair chunk of work. > > Also are we talking about complete beginners to programming, or > beginners to OCaml that know other languages already? We need to distinguish them; Usually the first needs more support, the second one needs proper evangelising and brain washing + some impressive project to convince them to switch over. > I think that having an ocaml-specific editor with all the features people= typically want from the IDE > would not necessarily be bad though, in the sense that it shows whats > *possible* for an OCaml editor. And it'd be something people can > easily try out. > For example Java has an IDE written in Java that people (at least > those that I know) like a lot, unfortunately its not the open source > one: IntelliJ Idea. Yes, I've heard and wanted to mention. The commercial setting is different I can't see such thing happening in OCaml community, Java Enterprise is a strong industry and if any language needs strong support from the IDE than IMHO Java would be placed in the first league. > If something that has similar features and ease of use could be > implemented in OCaml that'd be a good advertisement for the language > itself too. > On the other hand integrating the new features with existing editors > *first* would IMHO probably be better. I agree. > > From what I've seen at beginners in other languages they used: (on Linux)= Kate, > Emacs (using the menus, not the shortcuts), mcedit, Code::Blocks, Eclipse= /Netbeans; Dev-C++ and the various > Visual* stuff on Win32. I didn't know Kate is still alive. Bloodshed Dev-C++ has been around since day one I tried using C++ on windows. > Out of those Kate seems to be the easiest to just start using, as it has = a terminal too (and it supports plugins/extensions), > but I don't know if / how well it'd work on Win32. > Unfortunately it is the first time I've heard of Geany, haven't seen anyo= ne use it. > > Best regards, > --Edwin -- Wojciech Meyer http://danmey.org