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 6A42F7F1C3 for ; Fri, 23 Nov 2012 12:42:27 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of cyocum@gmail.com) identity=pra; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="cyocum@gmail.com"; x-sender="cyocum@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of cyocum@gmail.com designates 74.125.82.182 as permitted sender) identity=mailfrom; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="cyocum@gmail.com"; x-sender="cyocum@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-we0-f182.google.com) identity=helo; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="cyocum@gmail.com"; x-sender="postmaster@mail-we0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqsBAANgr1BKfVK2kGdsb2JhbABEhWC6TAgWDgEBAQEJCQ0HFAQjgmUBGx4DEhBPDxEBBQGILwEDDwydUIJsjDOCeIRUChknDVmIdQEFDI1FgkZhA5YAAYEcjUY/hBA X-IronPort-AV: E=Sophos;i="4.83,307,1352070000"; d="asc'?scan'208";a="182852425" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Nov 2012 12:42:27 +0100 Received: by mail-we0-f182.google.com with SMTP id u54so4237618wey.27 for ; Fri, 23 Nov 2012 03:42:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:subject:message-id:mime-version:content-type :content-disposition:user-agent; bh=2/6eeCPJWw4wQASvYZFxAfsPiytdP19GzUyyYceZU8k=; b=lhhTH3vJ8l86sShGpiyh2m6CXiuTmjZpQ2VWjVk2GfdosnQdpuhznVPmHzE+z7nc1A pOTtacRnoHJj0vtp5TU/A0iBkSOYGlndM8x7Eq0kiC0rV9eVCW0hJIhX/Efx6muwbfbX nmy4eYFXJmbgsbaaTLaoAqoFbjUREIDplTi4kj3kXYuKtk586WO6nX7DEwo7wTnV3rnz cT/5vpsCQJgbhvupeqGFLZeAt156UEYyjMToJAH6NCBRWUr4vCG1nXA1JxMwXJa9dm4i hNPcM2Rwe24oBEoXxHy/SbQ6h+QlERRCRuisgF/362AZ/QLGrrvyae0qAZt9sU8gKbw5 nfug== Received: by 10.216.30.206 with SMTP id k56mr1423321wea.180.1353670946990; Fri, 23 Nov 2012 03:42:26 -0800 (PST) Received: from localhost (dlib-yocum.ucs.ed.ac.uk. [129.215.169.90]) by mx.google.com with ESMTPS id gk9sm8213230wib.4.2012.11.23.03.42.26 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 23 Nov 2012 03:42:26 -0800 (PST) Date: Fri, 23 Nov 2012 11:43:29 +0000 From: Chris Yocum To: caml-list@inria.fr Message-ID: <20121123114328.GD31371@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="Km1U/tdNT/EmXiR1" Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) Subject: [Caml-list] Monad Library? --Km1U/tdNT/EmXiR1 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline 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 --Km1U/tdNT/EmXiR1 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iF4EAREIAAYFAlCvYWAACgkQDjE+CSbP7HolQgD+ORJ+qywJYNGBlKjJ2yJwjM4O xgOtoLLBveh4ByVXK4MA/3YB3ssR/yRU1CcydFGCeDw8D5DHmhBAcFI8KBryHLNn =xOZ8 -----END PGP SIGNATURE----- --Km1U/tdNT/EmXiR1--