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 8A3897F1C3 for ; Fri, 23 Nov 2012 21:59:32 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michal.kurcewicz@gmail.com) identity=pra; client-ip=209.85.220.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="michal.kurcewicz@gmail.com"; x-sender="michal.kurcewicz@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of michal.kurcewicz@gmail.com designates 209.85.220.182 as permitted sender) identity=mailfrom; client-ip=209.85.220.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="michal.kurcewicz@gmail.com"; x-sender="michal.kurcewicz@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-vc0-f182.google.com) identity=helo; client-ip=209.85.220.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="michal.kurcewicz@gmail.com"; x-sender="postmaster@mail-vc0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQBAMfir1DRVdy2mGdsb2JhbABEwDIIFg4BAQEBAQgJDQcUJ4IeAQEFQAEbHQEDDAYFCwMKLiEBAREBBQEcBhOHegEDDwygNowzgniEYwoZJw1ZiHUBBQyLQmmEQQOULIFVgRyKFoMwFimEEQ X-IronPort-AV: E=Sophos;i="4.83,309,1352070000"; d="scan'208";a="182921188" Received: from mail-vc0-f182.google.com ([209.85.220.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Nov 2012 21:59:31 +0100 Received: by mail-vc0-f182.google.com with SMTP id fo13so17859404vcb.27 for ; Fri, 23 Nov 2012 12:59:31 -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=r1xiyIZh++n15joaLX7zz1ud/1e1BRQEQ2fjWYd4oYg=; b=le0EVJ31D7b60+4CKmuO0oTkzcI5y10CIzRvVFHmaChD/CeKz67t48DJJEEJ8yToI3 5wVs3KBD4w8brnvZtFQbrz0QrazD8XX/krpP8QqbooPvX4XjTp1nBhKkYdH2NlS0Fqnv z6uYISl5WWSmND6OctvxsajK/+iwsELObJWV/hYkW0drG1CABlqo7iOojIKDz6dR0z0a Jhh0iKZ7dHEmm2qrgSqHC+Z7sRzGj6e2A1VeZ5IUBq4UE0jAaT/MDq9/PAJhHocmXvhk 1Ao+/zh5CBHCGz/yiYTtFGnXjODCWhZxVOuEjyCtX2IPpTVkGfGFcXH3Q7fkCtpBOYxR Ybgg== MIME-Version: 1.0 Received: by 10.52.98.105 with SMTP id eh9mr6835235vdb.11.1353704370909; Fri, 23 Nov 2012 12:59:30 -0800 (PST) Received: by 10.58.233.67 with HTTP; Fri, 23 Nov 2012 12:59:30 -0800 (PST) In-Reply-To: <20121123114328.GD31371@gmail.com> References: <20121123114328.GD31371@gmail.com> Date: Fri, 23 Nov 2012 21:59:30 +0100 Message-ID: From: =?ISO-8859-2?Q?Micha=B3_Kurcewicz?= To: Chris Yocum Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Monad Library? If Core is too complex for you then you may take a look at spotlib - a small and elegant library written by Jun Furuse: https://bitbucket.org/camlspotter/spotlib I use it together with pa_monad_custom for all my monad needs. Best, --mk On Fri, Nov 23, 2012 at 12:43 PM, Chris Yocum wrote: > Hi, > > I was looking into using Monads in my programs but I am slightly at a > loss as to what library is in general use. There is pa_monad but that > seems to be a ocamlp4 exention and not a library. There is > http://lambda.jimpryor.net/monad_library/ but that doesn't seem to be > in opam or in godi so I am unsure as to its status. > > Does anyone have any suggestion for a well supported monad library for > Ocaml? > > All the best, > Chris