From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p9QBYpgl017301 for ; Wed, 26 Oct 2011 13:34:51 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEDABPwp07RVdQ2kGdsb2JhbABCmgY0hzUBh0EIIgEBAQEJCQ0HFAQhgW4BAQEDAQsHAhcVARsSCwEDAQsGBQQHGiEiAQwBBAEFAQMBBhIZEhCHXgiXJAqLUAqCVoVJPYhwAgUKgzSFLASCWJEyhhyHFz06g1E X-IronPort-AV: E=Sophos;i="4.69,408,1315173600"; d="scan'208";a="114711158" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Oct 2011 13:34:45 +0200 Received: by mail-vw0-f54.google.com with SMTP id 11so2313555vws.27 for ; Wed, 26 Oct 2011 04:34:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:reply-to:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=AYsg6kgxZCc5Lq2GJOAjpf0hkqpvKF8cXOqasfMyOvQ=; b=TI+pz3DHNp+3weccC0Wx8lbgfmFbyFWcWi+Jq+f0LJHOixMPU9dW6DWi2m8E8PgYN1 CppLcwAcUzqwWhLSuLaAvUM2dggkMziqkwBOU0+dbXKepD9lWmBu/iSjZwXhOrsnauyT lsX89HLP8SxPtxN1u47lh8tRepaisrZAHy00c= MIME-Version: 1.0 Received: by 10.52.30.194 with SMTP id u2mr32134759vdh.13.1319628885721; Wed, 26 Oct 2011 04:34:45 -0700 (PDT) Received: by 10.220.77.85 with HTTP; Wed, 26 Oct 2011 04:34:45 -0700 (PDT) Reply-To: yminsky@gmail.com In-Reply-To: <20111026111858.GA21504@ccellier.rd.securactive.lan> References: <1319614400.18639.148.camel@thinkpad> <20111026111858.GA21504@ccellier.rd.securactive.lan> Date: Wed, 26 Oct 2011 07:34:45 -0400 Message-ID: From: Yaron Minsky To: rixed@happyleptic.org Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=bcaec51d2810f800e504b0320ae5 Subject: Re: [Caml-list] [ANN] Async, a monadic concurrency library --bcaec51d2810f800e504b0320ae5 Content-Type: text/plain; charset=ISO-8859-1 It's an excellent question, and one I don't yet have a good feel for. It would be great to find some kind of modus vivendi which would allow the libraries to interoperate. For now, it hasn't been too big of an issus, since the external libraries we've needed haven't been Lwt-based. But it would be nice to solve the problem nonetheless. y On Wed, Oct 26, 2011 at 7:18 AM, wrote: > > As an aside, we use lots of OCaml libraries developed outside our walls: > > RES, PCRE, Lacaml, Postgres bindings and OUnit and xml-light, to name > some > > off the top of my head. > > What if someday you want to use an external library that uses lwt ? > Will it be possible to mix the two ? > Since this kind of monadic library can easily impose its behavior on all > other library around (if for nothing else than the exception mechanism > to use), I have the feeling that for us mere users choosing between lwt > and async is to choose between two large sets of incompatible libraries, > am I wrong ? > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > --bcaec51d2810f800e504b0320ae5 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable It's an excellent question, and one I don't yet have a good feel fo= r. =A0It would be great to find some kind of modus vivendi which would allo= w the libraries to interoperate.

For now, it hasn't = been too big of an issus, since the external libraries we've needed hav= en't been Lwt-based. =A0But it would be nice to solve the problem nonet= heless.

y

On Wed, Oct 26, 201= 1 at 7:18 AM, <rixed@happyleptic.org> wrote:
> As an aside, we use lots of OCaml libraries develope= d outside our walls:
> RES, PCRE, Lacaml, Postgres bindings and OUnit and xml-light, to name = some
> off the top of my head.

What if someday you want to use an external library that uses lwt ? Will it be possible to mix the two ?
Since this kind of monadic library can easily impose its behavior on all
other library around (if for nothing else than the exception mechanism
to use), I have the feeling that for us mere users choosing between lwt
and async is to choose between two large sets of incompatible libraries,
am I wrong ?


--
Caml-list mailing list. =A0Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


--bcaec51d2810f800e504b0320ae5--