From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 7FF38BBAF for ; Sun, 24 Oct 2010 21:05:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqABAHogxEzRVdg0k2dsb2JhbACTNzEBhWkBhzZLCBUBAQEBCQkKCREDH6AAiViCF4UvLohXAQEDBYVDBIFaiHOFb4Mp X-IronPort-AV: E=Sophos;i="4.58,232,1286143200"; d="scan'208";a="63448140" Received: from mail-qw0-f52.google.com ([209.85.216.52]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Oct 2010 21:05:02 +0200 Received: by qwh5 with SMTP id 5so911500qwh.39 for ; Sun, 24 Oct 2010 12:05:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:mime-version:sender:received :in-reply-to:references:from:date:x-google-sender-auth:message-id :subject:to:cc:content-type; bh=CtIKEiG4/xoNcXl115EUsooNUXtWJETAKCpHX+yvweU=; b=uXK6QEjCTan1CCOr70KTBMP8p8Dc/l8zkAUdvP5jYjc7NePCBn9+5IrjPlJQtdFjjo mDBLTTB4gxhsbsmjrddw0eC/4cALrlyz8sh9/Ie+BAIZPQBSji/JfhwyjsOTqmp4i+gj YZPaG+BLYA1C9IZGwpdQ8CliUSI1FCzP3NK5I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; b=XrEbDbDH9LUtwUXyC9PF3tTTc1zt5L0tHcOiSAbfujYOMlOhpgWZTZP16/4Cw743Dt jbvs+x5S/VNOLJnzUiROiVbCnD5QBHOQiSsq+BUqN3FPlbHEnNKcneza9+ETW2An57CB qPSF6tGyuxY4GpfGp1tGJMIHF1UDYKboVNY5c= Received: by 10.229.192.21 with SMTP id do21mr5395933qcb.57.1287947101232; Sun, 24 Oct 2010 12:05:01 -0700 (PDT) MIME-Version: 1.0 Sender: gabriel.scherer@gmail.com Received: by 10.229.28.210 with HTTP; Sun, 24 Oct 2010 12:04:41 -0700 (PDT) In-Reply-To: <199263.93336.qm@web111505.mail.gq1.yahoo.com> References: <20101024163319.GA6217@siouxsie> <199263.93336.qm@web111505.mail.gq1.yahoo.com> From: bluestorm Date: Sun, 24 Oct 2010 21:04:41 +0200 X-Google-Sender-Auth: suMEtbNIREMU6lHm_9ReVFw3omM Message-ID: Subject: Re: [Caml-list] Asynchronous IO programming in OCaml To: oliver@first.in-berlin.de Cc: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=0016363b88ac75608b0493618d11 X-Spam: no; 0.00; ocaml:01 monads:01 monads:01 wadler:01 wadler:01 ocaml:01 monadic:01 haskell:01 haskell:01 cheers:01 beginner's:01 bug:01 monadic:01 cheers:01 beginner's:01 --0016363b88ac75608b0493618d11 Content-Type: text/plain; charset=ISO-8859-1 A very good introduction to monads for the programmer, in my opinion, is "Monads for functional programming", by Philip Wadler http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf If one wish to stay in OCaml country, there is a blog post by Brian Hurt : http://enfranchisedmind.com/blog/posts/a-monad-tutorial-for-ocaml/ On Sun, Oct 24, 2010 at 8:50 PM, Dario Teixeira wrote: > Hi, > > > Can you recommend papers on monadic programming? > > Or how did you mastered it? > > "Mastered" it might be too strong a word... :-) Anyway, my recommendation > is to simply start using it and let practice do its thing. (In my case > practice came from developing Ocsigen/Eliom apps). > > As for books or tutorials, I would suggest taking a look at material for > learning Haskell. Recently, some well-publicised Haskell books targeted > at beginners have come out [1,2]. No introduction to Haskell is really > complete without also discussing monads. (Reading Haskell is fairly > straightforward for those familiar with Ocaml, btw). > > Cheers, > Dario Teixeira > > [1] http://book.realworldhaskell.org/ > [2] http://learnyouahaskell.com/ > > > > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > --0016363b88ac75608b0493618d11 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
A very good introduction to monads for the programmer, in my opin= ion, is "Monads for functional programming", by Philip Wadler
=A0=A0http://homepages.inf.ed.ac.uk/wadler/papers/ma= rktoberdorf/baastad.pdf

If one wish to stay in OCaml country, there is a blog p= ost by Brian Hurt :



On Sun, Oct 24, 2010 at = 8:50 PM, Dario Teixeira=A0<darioteixeira@yahoo.com>=A0wrote:
Hi,

> Can you recommend papers on monadic progr= amming?
> Or how did you mastered it?

"Mastered&quo= t; it might be too strong a word... :-) =A0Anyway, my recommendation
is = to simply start using it and let practice do its thing. =A0(In my case
practice came from developing Ocsigen/Eliom apps).

As for books or t= utorials, I would suggest taking a look at material for
learning Haskell= . =A0Recently, some well-publicised Haskell books targeted
at beginners = have come out [1,2]. =A0No introduction to Haskell is really
complete without also discussing monads. (Reading Haskell is fairly
stra= ightforward for those familiar with Ocaml, btw).

Cheers,
Dario Te= ixeira

[1]=A0http://book.realworldhaskell.org/
[2]=A0http://lea= rnyouahaskell.com/




_______________________________________________
Caml-list mailing l= ist. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-listArchives:=A0http://cam= l.inria.fr
Beginner's list:=A0http://groups.yahoo.com/group/ocaml_beginnersBug reports:=A0http://caml.inria.fr/bin/caml-bugs

--0016363b88ac75608b0493618d11--