From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id AIgvJdtwoV9WaAAA0tVLHw (envelope-from ) for ; Tue, 03 Nov 2020 15:01:47 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id kB8WIdtwoV+nfAAA1q6Kng (envelope-from ) for ; Tue, 03 Nov 2020 15:01:47 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 100F59406F7 for ; Tue, 3 Nov 2020 15:01:46 +0000 (UTC) Received: from localhost ([::1]:42058 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kZxof-0006Hg-J3 for larch@yhetil.org; Tue, 03 Nov 2020 10:01:45 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:36188) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kZxXh-0008Gb-8r for guix-devel@gnu.org; Tue, 03 Nov 2020 09:44:13 -0500 Received: from mugam.systemreboot.net ([139.59.75.54]:56612) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kZxXc-0001KY-Ns; Tue, 03 Nov 2020 09:44:12 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Type:MIME-Version:Message-ID:Date: References:In-Reply-To:Subject:Cc:To:From:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=g/JABI0k/lNMvA2b+/pTwt4xiINTQg320vu+7dy71EU=; b=UgUKdY695VaNHcs8PHvHDAzRg cRZsnF67H3AZ4ouk8LQFEjaIDJmhunbSC+LbI9VLbbHECq/CQ+pJ4RkC+F6rnuIm2TdPI0wsj3VeB 6qd8iYgFpj4XgvWufthpj2yrzDlUdjXQ/pja8YwyZxk7k+/p7jAOaR6kVI7cppIouhA+Dctvo4qtc NmUeLkQI6mvmz0vTgzsQv1+ZOwd8rjJWyYMlRlXK6u2QvBFH2rYQUsG/LhVKTfiXYmm5MWM2jCTSl pgZEh5tmz1VPWzAfs6KSfU5+SCCFUcvOn/t9tALPDBq0Tx3Q4WoAAF+nBSJrQInqjEch5EJ0Yx724 mjYZRYlrg==; Received: from [192.168.2.1] (helo=steel) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_AES_256_GCM_SHA384 (Exim 4.94) (envelope-from ) id 1kZxUc-002GU5-1Y; Tue, 03 Nov 2020 20:11:02 +0530 From: Arun Isaac To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: Etymology of derivation In-Reply-To: <87blgeeesw.fsf@gnu.org> References: <87v9eolvwy.fsf@systemreboot.net> <87sg9rlt93.fsf@systemreboot.net> <87blgeeesw.fsf@gnu.org> Date: Tue, 03 Nov 2020 20:13:54 +0530 Message-ID: <875z6mlcut.fsf@systemreboot.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Received-SPF: pass client-ip=139.59.75.54; envelope-from=arunisaac@systemreboot.net; helo=mugam.systemreboot.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/11/03 09:44:03 X-ACL-Warn: Detected OS = ??? X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=fail (headers rsa verify failed) header.d=systemreboot.net header.s=default header.b=UgUKdY69; dmarc=fail reason="SPF not aligned (relaxed)" header.from=systemreboot.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -2.01 X-TUID: FrWYMHjuz1u6 --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable > Lower-level APIs are available to interact with the daemon and the > store. To instruct the daemon to perform a build action, users > actually provide it with a =E2=80=9Cderivation=E2=80=9D. A derivation is= a low-level > representation of the build actions to be taken, and the environment > in which they should occur=E2=80=94derivations are to package definitions= what > assembly is to C programs. The term =E2=80=9Cderivation=E2=80=9D comes f= rom the fact > that build results _derive_ from them. This paragraph explains well what derivations are. But, it only helps a bit with the rather confusing etymology of the word. "derive" and "derivation" raise very familiar mathematical notions in our mind, that it may not be possible to really explain our use of "derivation" very easily. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQFPBAEBCAA5FiEEf3MDQ/Lwnzx3v3nTLiXui2GAK7MFAl+hbKsbHGFydW5pc2Fh Y0BzeXN0ZW1yZWJvb3QubmV0AAoJEC4l7othgCuzLfgIAMLNptRRaAetUYZZDpYk 7ZzZlgFT3Ov6mbCmxuhQ0F4fTQ32lbmppaTJFuoexoc6hkGuQrlLfAivRusoYeC6 QuM5yYpsq/m2OTrnxohNDiA9gdWjaLIUGU7EfXO55Ff1CzrJDWeNw8d0Kj5d0nK2 7GA0oLlwo/kCMTmPTnepzzTQ0DTjcC+cmM9ssAXn+FbNVAXkWPtAs4LEVRM5YNYH wDLcxdTMU0HzXugtuJz+W2MiZ/h3CgkAISEJE4CXOFQK4xQik/Fg0tqtZsCFZX2o NLIZEqqTyyLgW8fC14GzHpE72ikFIwD/t8hb+HM+FUbsV8l3BhqN10WdTvlQqGVZ Kw0= =dlU0 -----END PGP SIGNATURE----- --=-=-=--