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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 413177FFB5 for ; Fri, 11 Mar 2016 16:23:23 +0100 (CET) IronPort-PHdr: 9a23:mncBwhFN/5YnAfbZZGcUYJ1GYnF86YWxBRYc798ds5kLTJ74p8ywAkXT6L1XgUPTWs2DsrQf27WQ4/GrBjZIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niKbiqtaMOU1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4gyLeVhOC7WcwVWAfkxwAQ1SUrUKyYpCknDHzsGV62TKtF8r8Sqx8DTq45qFgTx7zzi0APTkl2Grag4p+lvQIjgimoklOypTTZsmwNfxlfbKVKcIfRGxaXdd5VSVHD5igdYYCE6wKOuMO/Nq1nEcHsRbrXVrkP+jo0DIdwyKv0A== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yminsky@janestreet.com; spf=Pass smtp.mailfrom=yminsky@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BdAAA14uJWjnDIaSZdhBBtBqlrkDkBDYFtIYVsAoEpBzgUAQEBAQEBAQEQAQEBAQcWCVCCLYIVAQEEEhEdAQEsCwEPCwsNAgIJHQICIhIBBQEKEgYTEhCHbQMSAwugLYExPjGKT2eEQQEEhg0DhEkBAQEBAQEBAQEBAQEBAQEBAQEBARAGCnKFHIRChDiDAoE6hiUMh36JGYVtiA+CL4xTjTMRHoEPHgEBgjgNEQiBZkyKUQEBAQ X-IPAS-Result: A0BdAAA14uJWjnDIaSZdhBBtBqlrkDkBDYFtIYVsAoEpBzgUAQEBAQEBAQEQAQEBAQcWCVCCLYIVAQEEEhEdAQEsCwEPCwsNAgIJHQICIhIBBQEKEgYTEhCHbQMSAwugLYExPjGKT2eEQQEEhg0DhEkBAQEBAQEBAQEBAQEBAQEBAQEBARAGCnKFHIRChDiDAoE6hiUMh36JGYVtiA+CL4xTjTMRHoEPHgEBgjgNEQiBZkyKUQEBAQ X-IronPort-AV: E=Sophos;i="5.24,321,1454972400"; d="scan'208";a="207252504" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Mar 2016 16:23:21 +0100 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout1.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1aeOuO-0001vk-5m for caml-list@inria.fr; Fri, 11 Mar 2016 10:23:20 -0500 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BW4uLo-AAABz2-EG; 2016-03-11 10:23:20.132385-05:00 Received: from mail-yw0-f171.google.com ([209.85.161.171]) by mxgoog2.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1aeOuO-00073r-0A for caml-list@inria.fr; Fri, 11 Mar 2016 10:23:20 -0500 Received: by mail-yw0-f171.google.com with SMTP id h129so96420472ywb.1 for ; Fri, 11 Mar 2016 07:23:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=Z2LA6s/x3wAzFw7er5GCQNS3adgBxmgh13wxxL88ElM=; b=HcAwD63ux/WycNOSjquIdS2TCQIvyRRW/yk5VvZoeE3BgjK5/r0RZSUE/+80aEQ98y qUj2j3vhAS1G3GuLZTov/1YFSf+gXB8OHoLQYSSSvNzO/1H8XCKP9qOzFL52+11bbRld TQ3SWASjfoFOhYfTdcm4F75HBFQlRY71jD7VA= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=Z2LA6s/x3wAzFw7er5GCQNS3adgBxmgh13wxxL88ElM=; b=IzF209meldcSFh4+Bf7ZEtyL3QZhX6+q6o4G1h99tDBipvATSXXDt0cvH60SfORFCd IdWkCS7IyoluSHbaVxPl7eUV4/Hb4LvkKeVYrH2igWIsZOmK0Wj6TeRdgRdk7Kcw9cRD nvZiFLP2T8bXAmDrXMukj1pBPHeiYmLxHjRuz0bxJ0R4TsA5rm+ENxoMcV1iZShauvbz haGOBQXqwmWb/DPKhuvgrsWLZTAPIZtcssImSt07rjfVT/rxT4bEzRx9EfLK7IaUykmI OOc8RTtufHKggvQXkZiHIOLuw9iKUtPX946pmy1vHkkc4op7AgMWNFBrnrKuYBxxnJZP /I8w== X-Gm-Message-State: AD7BkJIo0fH5AVbwa5wSGU7dyfyVhzsv81AxvvaX/SFdKz9lXP5eS8UMl2QbdZUlAHkSh6+8P5jk82GE8KMOqdfWOjiADseQS65iK9YeiqMzOZqi5ksVWgoLeh/9WuofMwAWSy6DPer97mL4ry3+ X-Received: by 10.129.37.3 with SMTP id l3mr5239270ywl.128.1457709799698; Fri, 11 Mar 2016 07:23:19 -0800 (PST) X-Received: by 10.129.37.3 with SMTP id l3mr5239265ywl.128.1457709799560; Fri, 11 Mar 2016 07:23:19 -0800 (PST) MIME-Version: 1.0 Received: by 10.13.226.65 with HTTP; Fri, 11 Mar 2016 07:22:59 -0800 (PST) In-Reply-To: <56E2C676.3010702@cea.fr> References: <56E2C676.3010702@cea.fr> From:Yaron Minsky Date: Fri, 11 Mar 2016 10:22:59 -0500 Message-ID: To:=?UTF-8?Q?Fran=C3=A7ois_Bobot?= Cc:"caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Question about Lwt/Async Not easily at present, I think. Obviously. if you run two runtimes in two threads, you can do it, but it's ugly. If you had lwt-on-async-runtime available, as was discussed in the thread, then you could do it, but you'd need some extra overhead to create matching pairs of Lwt.t's and Deferred.t's, since those two types would not be equal. So, with some overhead, yeah, I think you could do it. y On Fri, Mar 11, 2016 at 8:21 AM, Fran=C3=A7ois Bobot wrote: > On 07/03/2016 18:03, Yaron Minsky wrote: >> >> - Async is more portable than it once was. There's now Core_kernel, >> Async_kernel and Async_rpc_kernel, which allows us to do things like >> run Async applications in the browser. I would think Windows >> support would be pretty doable by someone who understands that world >> well. >> >> That said, the chain of dependencies brought in by Async is still >> quite big. This is something that could perhaps be improved, either >> with better dead code analysis in OCaml, or some tweaks to >> Async_kernel and Core_kernel themselves. >> > > Is it possible and simple to write a Lwt_Async_rpc based on Async_rpc_ker= nel > which would expose Lwt.t functions that dispatch or serve Async_rpc rpcs? > > Thanks, > > -- > Fran=C3=A7ois > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs