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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 805DB7EE94 for ; Mon, 24 Dec 2012 13:38:57 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=74.125.83.49; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of mmatalka@gmail.com designates 74.125.83.49 as permitted sender) identity=mailfrom; client-ip=74.125.83.49; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ee0-f49.google.com) identity=helo; client-ip=74.125.83.49; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-ee0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al8BABpM2FBKfVMxjWdsb2JhbABEqw6JPwGJEQgWDgEBAQEJCQsJEgYjgh4BAQQBQAEUBxIFBgEDAQsGBQsaISIBEQEFAQoSBhMICgKHbAEDCQYMl3aMM4J7hBEKGScDClmIdgEFDIxLhEMDklmDM4Ecih2DLxYphBY X-IronPort-AV: E=Sophos;i="4.84,347,1355094000"; d="scan'208";a="187480197" Received: from mail-ee0-f49.google.com ([74.125.83.49]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Dec 2012 13:38:56 +0100 Received: by mail-ee0-f49.google.com with SMTP id c4so3464629eek.8 for ; Mon, 24 Dec 2012 04:38:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=rhPXRsoA+urD169GC2xcJZsF+3qVrOSbGFvBsg1BVnw=; b=bM47olzk0c698W4G0roxymIGQ6JgSp43Ucm00HRJ+XMkt8B9VikHtlfGylR4ihtcCz BjC89h3yeZMteDowMEfJvQ1t4DSPRrxFgaRcNz4/+db11uDXk3wYPtikNLvmkhTMhuU/ gB38Nf+Tz9I+yro/2yhdlHjMrApmwSNX0ZU8tldhF5n458J3bN8u2SOP8pYAmNlaVKl/ c1ArB8jNuC3R3I/2vdzju+/J1WXLuB0QMQUNuf7gx+nTwiMwQqGWkZu4uHxxqXI+xkDM SAc5z/ot2WoOfH8nqY0bhSTrJ1VUBZvg0bWFmbSWINswIKGFNTojqnQP3FrjlzMCi0R4 aWVQ== MIME-Version: 1.0 Received: by 10.14.213.134 with SMTP id a6mr55342746eep.45.1356352736369; Mon, 24 Dec 2012 04:38:56 -0800 (PST) Received: by 10.223.146.201 with HTTP; Mon, 24 Dec 2012 04:38:56 -0800 (PST) Received: by 10.223.146.201 with HTTP; Mon, 24 Dec 2012 04:38:56 -0800 (PST) In-Reply-To: References: Date: Mon, 24 Dec 2012 13:38:56 +0100 Message-ID: From: Malcolm Matalka To: Gour Cc: caml-list Content-Type: multipart/alternative; boundary=e89a8f923f3a0a9c2604d1987b6f Subject: Re: [Caml-list] new user - old questions --e89a8f923f3a0a9c2604d1987b6f Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Check ocaml.org, there are tutorials, references, and book suggestions. I bootstrapped myself with a tutorial, then read through language spec. Ocaml is thankfully not a complicated language to get productive with. /M On Dec 24, 2012 1:30 PM, "Gour" wrote: > Hello! > > Some years ago I was looking for adequate language for one open-source > project to be done in free time and although I took a look at OCaml, > somehow, I didn't like syntax and went playing with Haskell. > > Never really grokked monads and had feeling that despite nice syntax, > some things are more complicated for pragmatic programming than they > should be. > > I managed to scare enough few potential contributors and had to > postpone the project for 'sometime in the future'. > > Later, I was exploring D (v2), but it seems that the language is never > finished, code breaks often from one version to another, poor GUI > bindings support etc. > > Shortly thought about using Python+Cython, but dynamic language never > sounded right for my project. > > In utter despair I went to evaluate Ada which seems as nice (a bit > verbose) language, mature, actively developed, good ecosystem, but > somehow I was missing lack of FP features. > > For a short time I took a look at Nimrod - nice & interesting language, > but very small community and lack of FP features. > > Then, I do not know exactly how, I got inspired to take a look at OCaml > and in a very short time, I could see that there is a language with > quite OK syntax, actively developed, not small community enabling me to > use FP language with thinking too much about monads and category theory > in order to do practical things. > > The remaining thing is to get hints how to proceed, iow.: > > a) Real World Ocaml is going to be released in Oct 2013, so I wonder is > there any online/paperback book you can recommend? I'm on Debian wheezy > which means no 4.0 yet, but probably we'll try to take advantage of new > features in due course of time > > b) it looks that Emacs is the best-supported editor for OCaml. How is > support in Vim/Geany? What do you recommend? > > Now I wonder about Typerex which looks cool, but I was told on #ocaml > that it's "dead project" and was recommended to use tuareg mode? > > That's actually everything or most important...editor & good book to > start with? > > > Sincerely, > Gour > > > -- > Whenever and wherever there is a decline in religious practice, > O descendant of Bharata, and a predominant rise of irreligion =97 > at that time I descend Myself. > > http://www.atmarama.net | Hlapicina (Croatia) | GPG: 52B5C810 > > > > -- > 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 --e89a8f923f3a0a9c2604d1987b6f Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: quoted-printable

Check ocaml.org, there are = tutorials, references, and book suggestions. I bootstrapped myself with a t= utorial, then read through language spec. Ocaml is thankfully not a complic= ated language to get productive with.

/M

On Dec 24, 2012 1:30 PM, "Gour" <gour@atmarama.net> wrote:
Hello!

Some years ago I was looking for adequate language for one open-source
project to be done in free time and although I took a look at OCaml,
somehow, I didn't like syntax and went playing with Haskell.

Never really grokked monads and had feeling that despite nice syntax,
some things are more complicated for pragmatic programming than they
should be.

I managed to scare enough few potential contributors and had to
postpone the project for 'sometime in the future'.

Later, I was exploring D (v2), but it seems that the language is never
finished, code breaks often from one version to another, poor GUI
bindings support etc.

Shortly thought about using Python+Cython, but dynamic language never
sounded right for my project.

In utter despair I went to evaluate Ada which seems as nice (a bit
verbose) language, mature, actively developed, good ecosystem, but
somehow I was missing lack of FP features.

For a short time I took a look at Nimrod - nice & interesting language,=
but very small community and lack of FP features.

Then, I do not know exactly how, I got inspired to take a look at OCaml
and in a very short time, I could see that there is a language with
quite OK syntax, actively developed, not small community enabling me to
use FP language with thinking too much about monads and category theory
in order to do practical things.

The remaining thing is to get hints how to proceed, iow.:

a) Real World Ocaml is going to be released in Oct 2013, so I wonder is
there any online/paperback book you can recommend? I'm on Debian wheezy=
which means no 4.0 yet, but probably we'll try to take advantage of new=
features in due course of time

b) it looks that Emacs is the best-supported editor for OCaml. How is
support in Vim/Geany? What do you recommend?

Now I wonder about Typerex which looks cool, but I was told on #ocaml
that it's "dead project" and was recommended to use tuareg mo= de?

That's actually everything or most important...editor & good book t= o
start with?


Sincerely,
Gour


--
Whenever and wherever there is a decline in religious practice,
O descendant of Bharata, and a predominant rise of irreligion =97
at that time I descend Myself.

http://www.atmarama.n= et | Hlapicina (Croatia) | GPG: 52B5C810



--
Caml-list mailing list. =A0Subscription management and archives:
ht= tps://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
--e89a8f923f3a0a9c2604d1987b6f--