From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Literate programming Date: Mon, 04 Feb 2013 22:52:08 +0100 Message-ID: <877gmnsq5z.fsf@gnu.org> References: <87obfzhmbk.fsf@karetnikov.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([208.118.235.92]:46405) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U2TxT-00044S-Sf for bug-guix@gnu.org; Mon, 04 Feb 2013 16:52:13 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U2TxS-0004Mq-Ul for bug-guix@gnu.org; Mon, 04 Feb 2013 16:52:11 -0500 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:2821) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U2TxS-0004Mk-No for bug-guix@gnu.org; Mon, 04 Feb 2013 16:52:10 -0500 In-Reply-To: <87obfzhmbk.fsf@karetnikov.org> (Nikita Karetnikov's message of "Mon, 04 Feb 2013 15:30:50 -0500") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org To: Nikita Karetnikov Cc: bug-guix@gnu.org Nikita Karetnikov skribis: > What do you think about literate programming [1,2,3]? I don=E2=80=99t think it=E2=80=99s appropriate here. We have (or should ha= ve) user doc for command-line tools, a manual for the API, as well as an on-line reference in the form of docstrings; the code itself is reasonably commented, I think, and in a functional style that hopefully simplifies reasoning a bit (I know there=E2=80=99s more to it than just writing functi= onal code, but still, it=E2=80=99s better than TeX macros ;-)). WDYT? Ludo=E2=80=99.