From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id wIz5LD2lVWOpPQAAbAwnHQ (envelope-from ) for ; Sun, 23 Oct 2022 22:34:05 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id 0PvtLD2lVWN9hAAA9RJhRA (envelope-from ) for ; Sun, 23 Oct 2022 22:34:05 +0200 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 8465415077 for ; Sun, 23 Oct 2022 22:34:05 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1omgR9-0008Dj-KB for larch@yhetil.org; Sun, 23 Oct 2022 15:15:07 -0400 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 1omEw1-0000q1-LB for guix-devel@gnu.org; Sat, 22 Oct 2022 09:53:11 -0400 Received: from mail-qt1-x82e.google.com ([2607:f8b0:4864:20::82e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1omEvz-0006hn-Jn for guix-devel@gnu.org; Sat, 22 Oct 2022 09:53:09 -0400 Received: by mail-qt1-x82e.google.com with SMTP id s3so3266353qtn.12 for ; Sat, 22 Oct 2022 06:53:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=RV+j10qm1xPoUnjQ4YzwCJtl/DgvGYYisDP0k2gpztw=; b=Fnwzk6dLUTZMOHDMFvycXvHCi+0mBtKJDJfUdy02DdUaLBookMYR74JaDZcd54LvKB S7aU5Ps9EceoRulwMVsVRRIadJuj5UQOyO6tP99JrqpKcGpNMTEFBbf1+glOEn6eGwpw 4h2u0oJNipBtdGDDeAh5PfS0J8kk9a0OQXvg0eUmiL3G3/nh2uFDSjBRCBEoB7jC5G/I 8O6KMIMFlGg67XYa3r0bkxVZPGIk8ewmO7M3txGYcHwnHehPESrjUpFRuu1LVTv6TYbY 3KGqux+nSmVknCg824DYUhPAtYk/l0vAzv3tjxv4TvRhhakBJZDSGMTMsVysijmWZqC4 PTMQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=RV+j10qm1xPoUnjQ4YzwCJtl/DgvGYYisDP0k2gpztw=; b=gXXPIbVZQOVrXuPDk/EoKcgn3LNZTc5NMBxauZgcNylMPySqR8hatw2QQalFhIJsFj eOTqbrfC+PBb5ySur63t9M5zyZBhh0TMlNj01I+hNqlMPxk11F5BIOPvzXrniet93QLu OPgy/idLs4Mi+/g8UvQ9rth2qDZh1pQupHQSqx64MDtL7LIskjlGunJo3MAfLoFgkAuZ pdy/STLhUyO3FXefQz85WqjUXQT92yV1Zzz0hRobvTAmmJaBsSsp3vPgRBORw2e0f6F1 vYWXZiYdwmrhw4GLQOXDj+HNI64scl0YoojXJj/Yktk8DL37pYMUSg2XX5vw9FmfPQx3 3HOA== X-Gm-Message-State: ACrzQf38Fc4xDu0lSnLNQs25eRz7ETNWsbnUyqKNob53m9/iXzSEMKmV llxvEz8vijKzIDVotuywj4DpRY3/J+M= X-Google-Smtp-Source: AMsMyM4wsj9KIu9X147kbhFi61UGxTE3mTecHSob/Z2swiJhWuT9w+NYkeoKITjJLI0fe25hxYjEkA== X-Received: by 2002:ac8:7fc2:0:b0:39c:e97a:cb88 with SMTP id b2-20020ac87fc2000000b0039ce97acb88mr20816981qtk.629.1666446785722; Sat, 22 Oct 2022 06:53:05 -0700 (PDT) Received: from hurd (dsl-141-173.b2b2c.ca. [66.158.141.173]) by smtp.gmail.com with ESMTPSA id cm24-20020a05622a251800b0039492d503cdsm9764071qtb.51.2022.10.22.06.53.04 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 22 Oct 2022 06:53:05 -0700 (PDT) From: Maxim Cournoyer To: Philip Beadling Cc: "guix-devel@gnu.org" Subject: Re: Types and builds for mypy References: Date: Sat, 22 Oct 2022 09:53:04 -0400 In-Reply-To: (Philip Beadling's message of "Tue, 18 Oct 2022 10:09:46 +0000") Message-ID: <87y1t8t16n.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=2607:f8b0:4864:20::82e; envelope-from=maxim.cournoyer@gmail.com; helo=mail-qt1-x82e.google.com 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, 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" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1666557245; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: 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=RV+j10qm1xPoUnjQ4YzwCJtl/DgvGYYisDP0k2gpztw=; b=KNFX/gL6kvCve7yfq30+Cu0ObvnzDkb3r3j5DX06zEsN9ERlJtknG1exwibwCbskoyEyUC RDl68DMoDR4DPAW95mlOZ3SAtWOMMYpLnnC/v8pm6nNVjd7HX4YRJ9yKu/TQRYL/ga7gGu bPBIcCggh2XVVWLSzDkQJFbUikNmoq4zEGa0SEYerOm244iQjL1ubwGNG2SFUk+jlWgCBd 8JNLMM8Z+0+eiKn2l1OytVZrGvQtIEpJKkZsmNVq01koKTLMVvIqC34VfrmhGHfvkHSGaM 0jfqVjjiewhYec5J8iih6ZEkXDHIYvRBYZRTSS8HTE+zvqcbiaWipEvPzmOCRA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1666557245; a=rsa-sha256; cv=none; b=VPjLcGBp+KWkFvpYSyyZ0t+NSVnjFlgqc204bl0fM+1RjBKFBsEOFiualfTfKsbDhEmtgK k2V9yp2lsAWxltsesMFvAbgdS/EToUt29kvTpR3TQiTeE2uWWCSmcGPzeA6ceijHMYuG6e cP14RveXVhsSVItl11TJwlDFrvF6lW/Giw3nvm6i2ct3R+ZeHTVr8fr1NZTgwLaY/Xxa/Z zCRAjUHcqf+/SBc5FzFNCcDIjlbmPqo/JuO0X56mr3NNU3wB22MGHHHEiCdT0zABdyFH/m H/H0THIQaLqxQoAuvISSx19kBmZqfXYMFCTpNj4R3Cr1JL8rZsqQtpjLvjWFnQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=Fnwzk6dL; dmarc=pass (policy=none) header.from=gmail.com; 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" X-Migadu-Spam-Score: -1.41 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=Fnwzk6dL; dmarc=pass (policy=none) header.from=gmail.com; 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" X-Migadu-Queue-Id: 8465415077 X-Spam-Score: -1.41 X-Migadu-Scanner: scn1.migadu.com X-TUID: +/rzkZ8QBfVT Hi, Philip Beadling writes: > Hi all > > Users of mypy and python will have noticed since the promotion of mypy to v0. 971 it is now neccesary to provide separate python packages containing types of non core libraries. > > The way we've been collecting these, outside of Guix proper, is in a single module called python-types, which can then simply be added as a native-input to any python build requiring mypy. > > The alternative is to colocate the types with their packages, or perhaps colocate them all with mypy itself. Is MyPy the only consumer of Python type annotations? I think so, but I'm not sure. If it's the only one, it'd make sense to move mypy and all the annotation types to (gnu packages python-types), I think. > My preference is to put them all in one module, I think. > > Is there formal strategy in Guix for how to organise these packages? I'd be happy to make available our current python-types.scm as a starting point? > > Finally and slightly related I note that by default the 971 package of > mypy is not C compiled using mypyc. It's a simple tweak to turn this > on in the package and it makes huge performance difference when using > mypy (on average 4x faster is quoted). Again, happy to offer up a > modified or inherited package if other people are frustrated by the > slow down? I think if it doesn't negatively impact its use, we should go ahead and make this change in the mypy package. Happy to review patches! -- Thanks, Maxim