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 29B187F20B for ; Mon, 11 Feb 2013 01:49:43 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of martindemello@gmail.com) identity=pra; client-ip=209.85.212.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of martindemello@gmail.com designates 209.85.212.52 as permitted sender) identity=mailfrom; client-ip=209.85.212.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@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-vb0-f52.google.com) identity=helo; client-ip=209.85.212.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-vb0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjICAAI/GFHRVdQ0k2dsb2JhbABDwQ0IFg4BAQEBCQkLCRQEI4JmARsRDQMSEF0BEQEFAQ4BBwwyh2ABAw+ecYJwjDSCe4NjChknDVmIfAEFDJIBA4hmjT6BHY1UFimESg X-IPAS-Result: AjICAAI/GFHRVdQ0k2dsb2JhbABDwQ0IFg4BAQEBCQkLCRQEI4JmARsRDQMSEF0BEQEFAQ4BBwwyh2ABAw+ecYJwjDSCe4NjChknDVmIfAEFDJIBA4hmjT6BHY1UFimESg X-IronPort-AV: E=Sophos;i="4.84,639,1355094000"; d="scan'208";a="2222948" Received: from mail-vb0-f52.google.com ([209.85.212.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Feb 2013 01:49:42 +0100 Received: by mail-vb0-f52.google.com with SMTP id fa15so3497173vbb.11 for ; Sun, 10 Feb 2013 16:49:41 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:date:message-id:subject:from:to :content-type; bh=qHYpxI7tRgCEGYo4FmHgBxxR+FfvojQO+SSS9XEaidE=; b=kizat7eXOlEk+7vFkju+97bI0R/M5EJcxpsQwjL5WrswyEEhzBnRCtq7gClFGqyNdi jtz8qtUmYUXoa+plne9t/OyKTpmymYTjoHOfQ1ZUO7heoCJz6aOLoKRyB2chLCRx88OC fZi1ADgTEarc3Adnbs1ZT8YxC5bshiuvkakzdpZlkCivl5KnotOeM2u/3x0cKPVXuCRO IMBR5T1jzguCFH2Y15Yk//HWT/ugCpzMUikYN924Euj/Pd1gYeY3m/fp7mA5DYbkfasG U1q5H8gQrmv2ks+v98dMzCfXY2zySrjrcRP1X0ucQo8QJfpiWzGrE5iiP6fl3/m9n0gG EOig== MIME-Version: 1.0 X-Received: by 10.58.40.9 with SMTP id t9mr16808903vek.10.1360543781859; Sun, 10 Feb 2013 16:49:41 -0800 (PST) Received: by 10.220.141.209 with HTTP; Sun, 10 Feb 2013 16:49:41 -0800 (PST) Date: Sun, 10 Feb 2013 16:49:41 -0800 Message-ID: From: Martin DeMello To: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] geany as an ocaml ide 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