Path: csiph.com!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!bofh.it!news.nic.it!robomod From: Antonio Terceiro Newsgroups: linux.debian.maint.python Subject: Re: mypy and typeshed Date: Thu, 30 Sep 2021 21:40:02 +0200 Message-ID: References: X-Original-To: "Michael R. Crusoe" X-Mailbox-Line: From debian-python-request@lists.debian.org Thu Sep 30 19:39:49 2021 Old-Return-Path: X-Amavis-Spam-Status: No, score=-8.932 tagged_above=-10000 required=5.3 tests=[BAYES_00=-2, BLOGSPOT=3, FROM_SUSPICIOUS_NTLD=0.499, HEADER_FROM_DIFFERENT_DOMAINS=0.249, LDO_WHITELIST=-5, MURPHY_DRUGS_REL8=0.02, PGPSIGNATURE=-5, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H2=-0.001, URI_TRY_3LD=0.001] autolearn=ham autolearn_force=no X-Policyd-Weight: NOT_IN_SBL_XBL_SPAMHAUS=-1.5 CL_IP_EQ_HELO_IP=-2 (check from: .terceiro. - helo: .relay6-d.mail.gandi. - helo-domain: .gandi.) FROM/MX_MATCHES_HELO(DOMAIN)=-2; rate: -5.5 Mail-Followup-To: Antonio Terceiro , "Michael R. Crusoe" , Stuart Prescott , Debian Python MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="wX8sM0loBc/ibISY" Content-Disposition: inline X-Gnd-Spam-Score: 222 X-Gnd-Status: SPAM X-Mailing-List: archive/latest/19394 List-ID: List-URL: List-Archive: https://lists.debian.org/msgid-search/YVYQDhDk84bhlGTc@debian.org Approved: robomod@news.nic.it Lines: 83 Organization: linux.* mail to news gateway Sender: robomod@news.nic.it X-Original-Cc: Stuart Prescott , Debian Python X-Original-Date: Thu, 30 Sep 2021 16:29:18 -0300 X-Original-Message-ID: X-Original-References: <2252926.q746WjKLvy@simurgh> Xref: csiph.com linux.debian.maint.python:13598 --wX8sM0loBc/ibISY Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Thu, Sep 23, 2021 at 09:25:26AM +0200, Michael R. Crusoe wrote: > Do we package mypy to [A] support other packages, or are we trying to [B] > deliver a "complete" offline developer experience? (even if that means > shipping type hints for python packages not in Debian) >=20 > If the goal is [A], then we should stick to the add-hoc approach: > "python-types-*" packages will only be made as needed for building other > Debian source packages in our archives. In this instance, developers using > the packaged version of mypy can use `mypy --install-types' to pull down > the packages they need from PyPI to their local system/virtualenv. >=20 > http://mypy-lang.blogspot.com/2021/06/mypy-0900-released.html >=20 > If the goal is [B], then we need to be comprehensive. Particularly, I try to develop all my Python work against Debian, and having a mypy that is broken by default without installing stuff that is not in the Debian archive is a major incovenience. > Either way we choose, updates to these type hints may need to be made (and > patches applied) to match the versions of the Python packages in the > archive (if they have fallen behind or ahead of what is in the typeshed > repository). >=20 >=20 > > Does it make sense for Debian to package snapshots of all of typeshed in > > one > > binary package to save a proliferation of small python-types-foo packag= es? > > >=20 > Hmm.. a joint source package makes sense (and might save the FTP team fr= om > reviewing 103 additional submissions), but as each "types-*" package in > PyPI has its own public version it would be weird to not match their > versions at all. > > Though I guess the monolithic package could have a very long "Provides" > line mentioning all the components and their versions. > > The Copyright file will be interesting! For the two "python-types-*" > packages I created by hand, I had to dig up the author information from t= he > git history at the urging of the FTP gatekeepers :-) >=20 > Personally I'm more of an [A] person (out of laziness), but I won't block > the [B] approach if there is sufficient interest that it doesn't primarily > fall on my shoulders. >=20 > Feedback from the wider Debian Python community is welcome! Maybe I didn't dedicate enough time for this, but I couldn't figure out how the pypi packages are produced from the git repository. Knowing this would help creating such typeshed package by means of some scripting (not necessarily volunteering, will be happy if someone beats me to it). --wX8sM0loBc/ibISY Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEst7mYDbECCn80PEM/A2xu81GC94FAmFWEAwACgkQ/A2xu81G C9654BAA1VwJvnY1Ie24TcAx6A+LoICpahqjr9J2BAzXyB8BdYggowtXCOf4PO/Q 0/XDI7DWwMY8VxvaKRofLQz+IFsy+NtPW0shi9OgboZDPzxOCcozdyycxeSxpUS8 C01j4dBbYMO+ClrgZvpF9wutMWt7ye9pDNHvzos/S9YexKNQtI9xKe2uVjeZSH25 tHs9hBW8GMc5S8a/tQWh9i7pLcoOSjQK87v8KN21Blv5k64ihCtrilPmKlxX26Sw 6iYlHRs3ZuVbo4wTVSuhfTzA9yxc4AiEyYAcb7tyjKRoFmzljho7DPxroLsT8KZp Oa3QPWwa/l+zq6CARH9f7yPAuZ+sMBB5EkMtV7BGfRJfrcz3gUkvsbavcLStjKlg X9fiFmCL43eoWDpGX5ivwB7IZ/3DllC09loQvl4qHUOAi6PzTk4kNL1AuatPnyHm aWW+faU4BiETe5X9VJgtoiEmndVXYmVS/GCTCpyLeZe660g/yvZ2SYxzTfNgYLhH z4ycc9U+/wyBPJWvwoqgXuPd9ZNMlsQQP5YAPgS2KVNeZdWB4v+OlzeGP6Q4oB2c aOBug+6w/XHFnSi4rgwEIqtZ0hC2PCFyyideOGdq57vuKQqtGb9RnSzezyB24bYJ RME2NrRgld922u9Q5CoWtr1to/n9virbYwkQwGKDwAz3VS3sfp4= =oMaN -----END PGP SIGNATURE----- --wX8sM0loBc/ibISY--