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 588AC7F0AF for ; Mon, 14 Mar 2016 13:30:53 +0100 (CET) IronPort-PHdr: 9a23:Zm2QZBFHSv6PfXlt/VGin51GYnF86YWxBRYc798ds5kLTJ74p8SwAkXT6L1XgUPTWs2DsrQf27WQ4v6rAjZIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niKbjpdaIOU1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4gyLeVhOC7WcwVWAfkxwAQ1SUrUKyYpCknSzhqet7kDedO4XcV704VC6m6LgjHBDvkzgGMXsntWv/lcF6yq5W9kGPvRt6lqHdapuUOf42RajdcMkXXyIVUc9bTS1MBsWnZIsCFecbFeldpoj54VAJqE3tVkGXGOrzx2oQ1TfN1qog3rFkTFjL Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f182.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.182 as permitted sender) identity=mailfrom; client-ip=209.85.223.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f182.google.com) identity=helo; client-ip=209.85.223.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BIAQBaruZWkrbfVdFdhBhtBoJvpwOFVIp3gXAhhWwCgSEHOhIBAQEBAQEBARABAQEBBwsLCSEvgi2CFAEBAQMBDAYRHQEbDwMLAQMBCwYDAgQHDQ0dAgIiAREBBQEKEgYTEhCHbAEDCggOjk6PQYExPjGLNoFqgleFLAoZJwMKFTyDcwEBAQcBAQEBARUBBQoFhgmEQoRnglOBOgWGIAyMV4RIgU+EH4gSgjCMVY0/ER6BDw8YCIIpHoFROy6KYwEBAQ X-IPAS-Result: A0BIAQBaruZWkrbfVdFdhBhtBoJvpwOFVIp3gXAhhWwCgSEHOhIBAQEBAQEBARABAQEBBwsLCSEvgi2CFAEBAQMBDAYRHQEbDwMLAQMBCwYDAgQHDQ0dAgIiAREBBQEKEgYTEhCHbAEDCggOjk6PQYExPjGLNoFqgleFLAoZJwMKFTyDcwEBAQcBAQEBARUBBQoFhgmEQoRnglOBOgWGIAyMV4RIgU+EH4gSgjCMVY0/ER6BDw8YCIIpHoFROy6KYwEBAQ X-IronPort-AV: E=Sophos;i="5.24,335,1454972400"; d="scan'208,217";a="168551591" Received: from mail-io0-f182.google.com ([209.85.223.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Mar 2016 13:30:51 +0100 Received: by mail-io0-f182.google.com with SMTP id z76so220051334iof.3 for ; Mon, 14 Mar 2016 05:30:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=d+3l2A7TGxdYlFPswGoFoHHff5j1bfwcgkc8jKl5gBc=; b=mh6nYJHY6i4cx+NvaOvoQfcXnt+GFuLnlA1D9dWgT4jSE+VPBiHM8cAiwiFQNsD30i f2PB9ojH/bqtlPUXPsQ9bteJFMTpho0zgt0LLOjZ1TedUilGlBIpjPRG21pTkaNbTi9x Lktdpbf2V1GtBJ3+KzeRrBFTajWTDObO2fZsVACchaLzVJ26OA2RD+6NfKT+ICxuDLBW nUg3aqbclSzTT8csNaOSJZK3EjNOsOkyXlgATiGwIyIlPefbuatiHJhByGI9RKRjVjS7 FiIzHKAJDMOlMIGTVoYA1LD7f9weEn/tBUidXsTOLQdMizTAIU5G0PFQpfN5tzE12XqP EoaA== 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; bh=d+3l2A7TGxdYlFPswGoFoHHff5j1bfwcgkc8jKl5gBc=; b=FZ1nFVUM9KAOX9KhoLsIj4cCzBm1mwQbu2zz7Iishyuc7OV5W7MHc9wcM7FpsaMEgK 1tEmcGXFq1aa6JEXbSpRBK0g4O2qG0vEad6IyQNljk8OmNgTkpJhHO8GqowuvgF4U8+o fsS0HeKXjZSaC0/qUGiJrgYC91SfO39OWiPuuF1fIeUCEsF76sf5H8qeskzl+iWp14av 0FWpApY8SWGLDLcrBa2TItZMKbZ49TUMhx3aU1n4n8E6yCxASJR99JrLVxo/THvmydEJ wH9saI7RfpGh5ZR/uRZvBohX8WWmCATWmQBwLAZyn1IYmvDASJag5kepyvCKWe9olYRx OXfA== X-Gm-Message-State: AD7BkJKSqQtn8oEVnsWgrRT8NefbIOOrl+jQ8vL4ckbTqsdTLPrnY2y68Opvd29nuQRWq1WM0WAPTdAXmdK98A== X-Received: by 10.107.33.7 with SMTP id h7mr23324144ioh.30.1457958650476; Mon, 14 Mar 2016 05:30:50 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.17.4 with HTTP; Mon, 14 Mar 2016 05:30:11 -0700 (PDT) In-Reply-To: <20160314103608.GB21595@frosties> References: <20160314103608.GB21595@frosties> From: Gabriel Scherer Date: Mon, 14 Mar 2016 13:30:11 +0100 Message-ID: To: Goswin von Brederlow Cc: Yotam Barnoy , Ocaml Mailing List Content-Type: multipart/alternative; boundary=001a1140f4867581ad052e01734b Subject: Re: [Caml-list] Flambda/compiler walkthrough + modularity --001a1140f4867581ad052e01734b Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable A nice quality of in-code comments that a video session does not have is locality: the explanations are closed to the explainees, so hopefully they can evolve in synch. Another nice quality (shared with blog posts) is that it can be proposed by third-parties and crowd-sourced with moderate efficiency: you can help document the OCaml implementation by sending a pull-request with comments on the parts you fought to understand. This has notably been done by Alain Frisch for the parsetree representation during the 4.01 development phase, and recently (4.03 development cycle, GPR#310) in types.mli and typedtree.mli by Fr=C3=A9d=C3=A9ric Bour, Gabriel= Radanne and Thomas Refis, with helpful feedback from Alain Frisch and Jacques Garrigue. Anyone can help by submitting their own contribution to documentation-as-comments. On Mon, Mar 14, 2016 at 11:36 AM, Goswin von Brederlow wrote: > On Fri, Mar 11, 2016 at 12:04:17PM -0500, Yotam Barnoy wrote: > > While thinking about the best way to learn the new Flambda code in the > > minimal amount of time, I thought to myself, "wouldn't it be amazing to > > have Pierre Chambart and Mark Shinwell just do a video walkthrough of > their > > code". And then I thought about the rest of the codebase, about Jacques > > Garrigue doing a walkthrough of the typechecker code, and each expert(s) > > talking about the parts they know really well, and about how amazing it > > would be if we had this resource on youtube. It would be the ultimate > form > > of documentation by the foremost experts on aspects OCaml, welcoming > > programmers to contribute to the OCaml compiler in the easiest way > possible. > > > > A step further would be if this was done on Twitch or some similar live > > broadcasting platform, so people could actually ask live questions as t= he > > session took place. The resulting video would be posted to youtube. > > > > What do you guys think? > > > > -Yotam > > I would watch that. > > MfG > Goswin > > -- > 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 > --001a1140f4867581ad052e01734b Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
A nice quality of in-code comments that a video session do= es not have is locality: the explanations are closed to the explainees, so = hopefully they can evolve in synch. Another nice quality (shared with blog = posts) is that it can be proposed by third-parties and crowd-sourced with m= oderate efficiency: you can help document the OCaml implementation by sendi= ng a pull-request with comments on the parts you fought to understand.
<= br>This has notably been done by Alain Frisch for the parsetree representat= ion during the 4.01 development phase, and recently (4.03 development cycle= , GPR#310) in types.mli and typedtree.mli by Fr=C3=A9d=C3=A9ric Bour, Gabri= el Radanne and Thomas Refis, with helpful feedback from Alain Frisch and Ja= cques Garrigue.

Anyone can help by submitting their own contribution= to documentation-as-comments.

On Mon, Mar 14, 2016 at 11:36 AM, Goswin von Brederlow <g= oswin-v-b@web.de> wrote:
On Fri, Mar 11, 2016 at 12:04:17PM -0500, Yotam Barnoy wrote:
> While thinking about the best way to learn the new Flambda code in the=
> minimal amount of time, I thought to myself, "wouldn't it be = amazing to
> have Pierre Chambart and Mark Shinwell just do a video walkthrough of = their
> code". And then I thought about the rest of the codebase, about J= acques
> Garrigue doing a walkthrough of the typechecker code, and each expert(= s)
> talking about the parts they know really well, and about how amazing i= t
> would be if we had this resource on youtube. It would be the ultimate = form
> of documentation by the foremost experts on aspects OCaml, welcoming > programmers to contribute to the OCaml compiler in the easiest way pos= sible.
>
> A step further would be if this was done on Twitch or some similar liv= e
> broadcasting platform, so people could actually ask live questions as = the
> session took place. The resulting video would be posted to youtube.
>
> What do you guys think?
>
> -Yotam

I would watch that.

MfG
=C2=A0 =C2=A0 =C2=A0 =C2=A0 Goswin

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a1140f4867581ad052e01734b--