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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2C2BF7EF29 for ; Fri, 18 Dec 2015 09:53:08 +0100 (CET) IronPort-PHdr: 9a23:AnxYyRVHKSCUsQSsFlekHxKHp4TV8LGtZVwlr6E/grcLSJyIuqrYZheDt8tkgFKBZ4jH8fUM07OQ6PC+HzRYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh770o8WbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEBwnNXo07Yvlr0rtVwyKs1UGW2OZlRtTSyLC5hbmFsP/qCL8ve18w2+QOsfxUZg/VD3k4b09G0ygszsOKzNsqDKfscd3lq8O+B8= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=None smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@cirse-out.extra.cea.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=mailfrom; client-ip=132.167.192.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@cirse-out.extra.cea.fr) identity=helo; client-ip=132.167.192.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@cirse-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A6AADnyHNWnI7Ap4RdhAzAPoYNAoE2OxEBAQEBAQEBARABAQEBAQgLCQkhLoItgggBAQQjDwEFUQsYAgIFIQICDwJGEwgCEIgbqzWReQELASCBAYpThERjglCBSQWWfY8kh0qQA4N0OIJTgV6EEYFKAQEB X-IPAS-Result: A0A6AADnyHNWnI7Ap4RdhAzAPoYNAoE2OxEBAQEBAQEBARABAQEBAQgLCQkhLoItgggBAQQjDwEFUQsYAgIFIQICDwJGEwgCEIgbqzWReQELASCBAYpThERjglCBSQWWfY8kh0qQA4N0OIJTgV6EEYFKAQEB X-IronPort-AV: E=Sophos;i="5.20,445,1444687200"; d="scan'208";a="157554443" Received: from cirse-out.extra.cea.fr ([132.167.192.142]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Dec 2015 09:53:07 +0100 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse.extra.cea.fr (8.15.2/8.15.2/CEAnet-Internet-out-2.4) with ESMTP id tBI8r7GX015942 for ; Fri, 18 Dec 2015 09:53:07 +0100 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id A6B66201ED1 for ; Fri, 18 Dec 2015 10:00:06 +0100 (CET) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 92A33201E8C for ; Fri, 18 Dec 2015 10:00:06 +0100 (CET) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet1.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id tBI8r61k005932 for ; Fri, 18 Dec 2015 09:53:06 +0100 Message-ID: <5673C972.70006@cea.fr> Date: Fri, 18 Dec 2015 09:53:06 +0100 From: =?UTF-8?B?RnJhbsOnb2lzIEJvYm90?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] ANN: ocaml-session On 17/12/2015 19:51, Spiros Eliopoulos wrote: > ocaml-session is an session manager that handles cookie headers and backend storage for HTTP > servers. The library supports CoHTTP and Webmachine; Async and Lwt; and pluggable backing stores > based on a functor interface. I praise that you kept in your library the ability of CoHTTP to use different light-thread library, it helps smoothen the split in the community. Does people know if there is similarly a functorized RPC library, that would help to go from one world to the other? I love Async_rpc, but I'm not able to see if one can separate the kernel of the Async_rpc protocol, so that it could be used with an Lwt backend. -- François