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 296607FA5E for ; Mon, 15 May 2017 17:00:24 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=antronbachin@gmail.com; spf=Pass smtp.mailfrom=antronbachin@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of antronbachin@gmail.com) identity=pra; client-ip=209.85.216.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of antronbachin@gmail.com designates 209.85.216.172 as permitted sender) identity=mailfrom; client-ip=209.85.216.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@gmail.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@mail-qt0-f172.google.com) identity=helo; client-ip=209.85.216.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="postmaster@mail-qt0-f172.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AXd52TxZX3da3BbNbeHRBWaH/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8+7bnLW6fgltlLVR4KTs6sC0LuK9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6ybL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJVyJOHoyy?= =?us-ascii?q?YIQSAeQCM+hWsY7zqkASrRunAAmgGOPvxiNKi3LwwKY00/4hEQbD3AE4A98Otm?= =?us-ascii?q?jUrNLzNKwPTO261rXHzTXCb/NQxDzw75LHchY9ofGWWrJwd9HexlMzGAPFj1WQ?= =?us-ascii?q?r5foPzyQ1usXsmib6/BsWv6oi24isgx8pCWkyMkrionMnI0Vy1bE+D12wIY0Od?= =?us-ascii?q?24SFN7bsW+HJRMsCGaMo17Sd4hTWFwoCs21KEKtJqhcCUJyJkr3QDTZ+GGfoSS?= =?us-ascii?q?/x7uVvidLS9liH55e7+znQi+/Ey6xuHhWMS500xGoyRFn9TKq3sDzQbc6tKdRf?= =?us-ascii?q?t45kqh2SiA1wTU6uxcJEA7j6vbK5o4zr4pipofrV3PHiHrlEj0kqOabEok+u+v?= =?us-ascii?q?6+ToZrXpuIWQOJNzigH7Kqgum8q/DvokMgUWQWSX5eCx2Kfg8ED5WrlGkOA6n6?= =?us-ascii?q?jDvJzHJ8kXuLa1AwpP3YYi7xa/AS2m0NMdnXQfNl1Ffg6Hj5LuO1HIO//3F+uw?= =?us-ascii?q?g1StkDdt3P3GMbjhDY/MLnjHirvuYbF960tExAop0d9f/45UCq0GIP/rRkD+rt?= =?us-ascii?q?nYDhsgPwywwubnE8l925gFWWOPB6+ZKLndvUWJ5uIpOemMZZUatCzzK/g/tLbS?= =?us-ascii?q?iioSkFoZNY2oxodfPHuxG/AjJ0SCfVLthM0AGCEEpFxtYvbtjQirVyJUYT6YVq?= =?us-ascii?q?k85zdzXIugEZ3EQIqki7yA2g+0G5RXYiZNDVXaQiSgTJmNR/pZMHHaGcRmiDFR?= =?us-ascii?q?EOH5E4I=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C+BgB8wRlZhqzYVdFcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhAwDgQmDa6UMjm8OGosuQhUBAQEBAQEBAQEBARIBAQEICwsIKC+?= =?us-ascii?q?CMyQBgmodARseAxIQDwImAiURAQUBIoodAQMVDpw5g0U/jAeCBAUBHIMKBYNWC?= =?us-ascii?q?hknDVaCOAEBAQEGAQEBAQEBAQEYAgEFCQEIeYddhWyEeS+CEh8FngqHHIt/ggS?= =?us-ascii?q?FO4MzECOGRpAAgnszgRU1gSwvICFtAQaCTIIDH4ILWohfAQEB?= X-IPAS-Result: =?us-ascii?q?A0C+BgB8wRlZhqzYVdFcHAEBBAEBCgEBFwEBBAEBCgEBhAw?= =?us-ascii?q?DgQmDa6UMjm8OGosuQhUBAQEBAQEBAQEBARIBAQEICwsIKC+CMyQBgmodARseA?= =?us-ascii?q?xIQDwImAiURAQUBIoodAQMVDpw5g0U/jAeCBAUBHIMKBYNWChknDVaCOAEBAQE?= =?us-ascii?q?GAQEBAQEBAQEYAgEFCQEIeYddhWyEeS+CEh8FngqHHIt/ggSFO4MzECOGRpAAg?= =?us-ascii?q?nszgRU1gSwvICFtAQaCTIIDH4ILWohfAQEB?= X-IronPort-AV: E=Sophos;i="5.38,345,1491256800"; d="scan'208";a="273188147" Received: from mail-qt0-f172.google.com ([209.85.216.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 May 2017 17:00:23 +0200 Received: by mail-qt0-f172.google.com with SMTP id f55so47806191qta.3 for ; Mon, 15 May 2017 08:00:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:content-transfer-encoding:mime-version:subject:message-id:date :to; bh=HP7l9+8ZAyWuft2qqehrgxOu7iq9RV9kErEQHOT7j7w=; b=IBw1D52FddpeJ9+Zu9/6VGO0rTV+xCR05q4i7sb5WRCZ/CZRZ8PFWI/Bpau9C63SdI 06P8tvvfe5Bc35JurQNqhyOrjH5x+zsVahPKQ7PYGh/8/AJBYYXInPUfjgctr0Rm1s3e RiATmC4QtxcKkidHmpoMQ6hTvQRFbxmDC/ShvxevJwQGAyGtRWpeGa6pJtYslBOM1W5M k0lhixvnBRyud8ZLp3bMUII5pBy4a73UNrwNU88aabMauQIBgPfud6+L9dm5C070vf8F mu4k8nPvtYpOwbnoufiVnRBeWlXnJGD5Bqxsr10FyJQPLSj0jMXqXuQKxv0bsOVCuOux kKeQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:content-transfer-encoding:mime-version :subject:message-id:date:to; bh=HP7l9+8ZAyWuft2qqehrgxOu7iq9RV9kErEQHOT7j7w=; b=QDB2FE5YQhjHy15z4q13FZeQgpA0UHRzlZ+CIPZ7j28WHoowGrYiuYUzTuh2g24oEf ftPjDY42NrYEriDg1bf2jXuW1JbWuXBG+/f9bNXZu+H8iCNggaSP0s0Oi6mFp/s8PK7G QVPfSEmd37DPSmNmxOge5Fc9TDK6rTD4BH1ENnkbu6kqiIZcaGEydkD8D4Wds8Brwo8C O3zDuipVKXkiqF69wDUBwxCYbfgo+bkY7CDxPzvI59g0ECGBltwb1rrQkZgzvfMwnS+b wOcU6IjjNaOAlcLpOpi6He/CbPbBBh48fPLeNWpAkZfUUcjc1cnBPSw9/sgcMPYbDa4n 6BNg== X-Gm-Message-State: AODbwcCrzkDqfFPzXRvIiqqaa04sRMfcxXkKTHBM9iElDCl4b6xV6MPT wsPUW23VoHGxix// X-Received: by 10.237.61.80 with SMTP id h16mr5570789qtf.103.1494860421625; Mon, 15 May 2017 08:00:21 -0700 (PDT) Received: from [192.168.1.157] (pool-108-29-138-35.nycmny.fios.verizon.net. [108.29.138.35]) by smtp.gmail.com with ESMTPSA id g185sm8339841qkc.7.2017.05.15.08.00.19 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 15 May 2017 08:00:20 -0700 (PDT) From: Anton Bachin Content-Type: text/plain; charset=utf-8 X-Mao-Original-Outgoing-Id: 516553218.013477-7ae8545388d9c30ce3726d7a30c011f3 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 10.2 \(3259\)) Message-Id: Date: Mon, 15 May 2017 11:00:18 -0400 To: Caml List X-Mailer: Apple Mail (2.3259) Subject: [Caml-list] Human-friendly Lwt: documenting and refactoring the Lwt core Greetings everyone, Lwt is making an effort to become more reader- and contributor-friendly. https://github.com/ocsigen/lwt/pull/354 To summarize, from the PR: the core, lwt.ml, has been reorganized to make it more readable. It has been equipped with thorough comments, including a friendly overview of all concepts used by the core. We hope this change opens Lwt up to more contributions of all kinds. It should unblock major upcoming work, such as porting Lwt to multicore effects. Understanding Lwt better also makes it possible to write the much-promised new manual. The new Lwt core is meant to be a permanent work in progress: if you don't understand it, or find that something in it is *still* written in a confusing way, please ask/let the Lwt maintainers know. We *want* to help readers understand, and to improve that code! And, anyway, your query will very likely teach *us* something. Any review of the PR would be very helpful, to Lwt and to all of its users =E2=80=93 even if you read only to find typos. Also, if you have acce= ss to a stress test, it would be very useful to put the refactored core through the paces. There are instructions at the bottom of the PR. If the stress test is open source, maybe we can use it as a guide for writing a stress test specifically for Lwt, because Lwt really needs to have at least one of those. Happy concurrent programming, Anton