From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id CIfsLtce0mPU8gAAbAwnHQ (envelope-from ) for ; Thu, 26 Jan 2023 07:33:59 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id wLzlLtce0mMKUAAA9RJhRA (envelope-from ) for ; Thu, 26 Jan 2023 07:33:59 +0100 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 989FC1A804 for ; Thu, 26 Jan 2023 07:33:59 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pKvpF-0006HS-7I; Thu, 26 Jan 2023 01:33:33 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pKvpE-0006H2-6N for guix-devel@gnu.org; Thu, 26 Jan 2023 01:33:32 -0500 Received: from knopi.disroot.org ([178.21.23.139]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pKvpC-0002dN-OK for guix-devel@gnu.org; Thu, 26 Jan 2023 01:33:31 -0500 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 832E541186; Thu, 26 Jan 2023 07:33:29 +0100 (CET) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id xXixuMH4EenD; Thu, 26 Jan 2023 07:33:28 +0100 (CET) Content-Type: multipart/signed; boundary=3133fa0c821c840114cf78835710ca5997430a5c5d8b8b3facb675c2ba6f; micalg=pgp-sha512; protocol="application/pgp-signature" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1674714808; bh=Oz3CrpxXZXnHkRRMPwcDzPMYEcQT7FlxPzyElEFmv/4=; h=Date:Subject:From:To:Cc:References:In-Reply-To; b=iT2sZhNg17O5HK83gEv8RQrSXUmEgwth61BBm1O+r0sVzcxhgSVFHcjmZsoO7hYNu E/mTFElWsg7baZLAGe0qX+gP/xNfqY5rlFH9FmducFhro4P0ikP2K1i5ydFo1qA2fg PdYhkVe7kH5HuHOtgxAyMOjqoa1rnBRFtHm+cUY+X1VmJ84pmJtLPaj7Snpy4+CmUz u7p+2CNa+QBlCIDSWm8k3m7d8ag2JrVmCg/5xuac9K+NsaGFT8FnnDPActmXSEFM3Y tnJ/vPGePYXExKHKY4tbNTGOV7394764nzYdvu6M6dxlQrgva/SGs4H/FvhLwzBVa3 1HrS7OpOedPZw== Date: Thu, 26 Jan 2023 06:33:27 +0000 Message-Id: Subject: Re: Struggling to write Dissecting Guix, Part 2 From: "(" To: "Wojtek Kosior" Cc: References: <20230125165445.24771f77.koszko@koszko.org> In-Reply-To: <20230125165445.24771f77.koszko@koszko.org> Received-SPF: pass client-ip=178.21.23.139; envelope-from=paren@disroot.org; helo=knopi.disroot.org X-Spam_score_int: -19 X-Spam_score: -2.0 X-Spam_bar: -- X-Spam_report: (-2.0 / 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, MIME_HEADER_CTYPE_ONLY=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.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1674714839; a=rsa-sha256; cv=none; b=frz9KWTnOm18RL3rNWpe6sFQq5e3nUr6L/zCC3OEgibASQ0ACkLNSWYhJ6bTvliXeMkYeh 9edB7KGIjShgpuEHUoQjv6/sAIAqt4Pt/vCdZwAjf4syemJIrExGWsing0Rb/S4jPVX+fr qRfY0a5ZXSVVDO4iLCUIlKQcmxxkoqQR4IPfHbYI4heHtXtvpvcqpYMsN+wXeMoLAbaas4 frZjrdaIe8oaP6lkjegc71X754M7+o8+BxrOvlQTCoWLSNyzN2DwTVp+mAXBvYyyN17x7H naNQkYh58AxZ+aw4qyhKVHpYoJvDq6C919eBDokLQhpZDZOfryAI43COvnwYOA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1674714839; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:content-type:content-type: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=adaPMrNoqDLZ04DrzVfuTenRYQe8PSQkXo05zpx7ELI=; b=BiqpdDtQDCiry83ZGN61P4sWO0lDAmXeWzK9Xk8yCFp5i/K2yJXuPBwB4g/5JKniz1zB7+ PxjKDGu8ZV8JPHky2j8fQFEbYJfMKIoDmmN9oLxixIa8rs7e6gQzrgKHIK4GGjaJ7sMBfD eQrQB+QtSGS0pUYbjBw81z7jHWETeKZzymAgiUdqUFRbG4W5M9pxE4deA9Y+YkmS5nHuY0 wqHVrvgpsjM+udTj4hJILZRD12EHPh3zr111e8sNplQt2b9fftN4YqCC+5XGQDr0w/qFa3 QXJYl85wACbzX0gqArozqzmskWmtNdCso+On7LeMNq8Z1Fw9mlbvuLEumOcHpQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=disroot.org header.s=mail header.b=iT2sZhNg; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=reject) header.from=disroot.org X-Migadu-Scanner: scn0.migadu.com X-Migadu-Spam-Score: -5.86 X-Spam-Score: -5.86 X-Migadu-Queue-Id: 989FC1A804 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=disroot.org header.s=mail header.b=iT2sZhNg; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=reject) header.from=disroot.org X-TUID: XD0NhJD0mxwB --3133fa0c821c840114cf78835710ca5997430a5c5d8b8b3facb675c2ba6f Mime-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 On Wed Jan 25, 2023 at 3:54 PM GMT, Wojtek Kosior wrote: > While Guile is dynamically typed, functions we define in it generally > do expect their arguments to be of certain types. And they also > generally guarantee their return values to be of certain types. So even > though there's no static type checking, it is still possible (and often > practical) to treat the functions as being typed. I suppose that's true :) -- ( --3133fa0c821c840114cf78835710ca5997430a5c5d8b8b3facb675c2ba6f Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQGzBAABCgAdFiEE6Vh10NblKE5doNlW7ImHg/nqI20FAmPSHrgACgkQ7ImHg/nq I21W1gwAoqon44eOIl55hB0+gPkzE/K8nyHbfLhqs8JPZVPjxT81S/r4PJOs831R /oRRpNYFyXT8EIKLFmbL3/SC60YL9ohUnnENiXsT96kliONkOJL5lKbMnfNhMlNI a9vN/4ILALc7H1L/7Ucy4ZVZ1dRGznOVzPL270vXD/fA9AUCrkGGX+9btk3MwV2/ co74lw702Vi1YoqknbTrqCVHR6/cO1zy862YyDJlb2BV2iyhZgI+i+TCJPNSjY2Z MYy+uCW45rls15I/QC5rnpk3GgF+SPUepgrUF+s++Sii3eve76ucvCjH++i+hYtz 3EQ48Jf/1Y6Bq4pxa/ZPrl50X8j3+1YRbsrmZ3bVOexfGow/CKykWUXjC2JcJ11Z r/jejnTXPiK2Z8gZ7lbnzlGj8ZYba2Yhlxkf+qVjX4pxr73SMfj1xmUP1Z964sWU ainNn54rOvlfgqfw3gD8XBHtuymgV1Ebe7tEGdwDBFzmNbibzctt9psmWA0cvNG6 z2pSVRw4 =G65D -----END PGP SIGNATURE----- --3133fa0c821c840114cf78835710ca5997430a5c5d8b8b3facb675c2ba6f--