guix-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Types and builds for mypy


From: Maxim Cournoyer
Subject: Re: Types and builds for mypy
Date: Tue, 25 Oct 2022 19:47:59 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux)

Hi Phil,

Phil <phil@beadling.co.uk> writes:

> Thanks for your reply Maxim,
>
> Maxim Cournoyer writes:
>
>
>> 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.
>
> Mypy is certainly a prominent consumer, but you're right - PEP 561 type stub
> packages are also used by PyCharm, pytype, and I've heard CPython can
> use them to compile, to name a few.
>
> So I think my revised opinion is mypy should stay where it is, but I do
> like the idea of keeping all the types in one module?

I'd actually be fine with having mypy in a (gnu packages python-types)
module along its types packages.

[...]

> Cool thanks - leave this with me, I have a working package so can submit
> a patch shortly!

Excellent!

-- 
Thanks,
Maxim



reply via email to

[Prev in Thread] Current Thread [Next in Thread]