Okay, so, fans of the #TwistedFramework help me out here:
I am mucking around with writing a simple new thing that, in order to have type annotations that aren't *completely* useless, needs to deal with the fact that Protocol and Factory aren't annotated.
But adding annotations makes the entire framework notice that the pattern of paired-Protocol-and-Factory subclasses are inherently LSP violations, because .protocol and .factory are writable attributes and thus invariant.
I have been addicted to #mypy type checking my #python projects over the last week. After creating several helper scripts for the process of getting from >1000 errors to 0, I am working on making a centralized library to #opensource !
If you use the `--edu` flag, the system will show you educational guidance, and also showcase tutorials that are built-in to the CLI! (That feature isn't in yet, but I am excited to build it)
All of the lessons I have learned from making my projects MyPy Compliant, I hope I can use this tool to teach others, and also help myself with all my future Python Projects!
New account, so new #introduction. Let's do it again!
I have a #MastersDegree in #ComputerScience and #ComputerEngineering. I went to #NMU for undergrad and #MSU for my graduate degree. I currently work at #UChicago for the #TMWCenter, which focuses on helping young children acquire language (and therefore other learning skills) faster.
In my spare time, I develop #OpenSourceSoftware such as
- a #SphinxDoc extension that embed #Fediverse comments on your page
- a library to talk to #ManifoldMarkets from native #Python
- a #PredictionMarket manager using the above
- a #transpiler from a subset of Python to #OpenStreetMaps's #OverpassQL
- bug fixes to many other projects, including #mypy, #base58, #attrs, #CPython, & more
I spend a fair bit of my time these days on #MathResearch, specifically into the #ThueMorse Sequence and its extensions.
I'm also a hobbyist editor on OpenStreetMap.
#Demisexual, #transfem, and happily engaged to my #enby sweetheart.
We have two cats: #OpheTheLoaf and #MayalaranTheCat (yes, from #StormlightArchive) See here for more on them!
I speak English fluently, Spanish haltingly, and am trying to learn Chinese
#queer #Chicago
Survey on use of types in Python among around 1000 developers. 88% of respondents “Always” or “Often” use Types in their Python code.
Study conducted by Meta, JetBrains, and Microsoft, results on a Google dashboard.
https://engineering.fb.com/2024/12/09/developer-tools/typed-python-2024-survey-meta/
Oh dang, my #introduction post is waaay out of date now. Let's do it again!
I have a #MastersDegree in #ComputerScience and #ComputerEngineering. I went to #NMU for undergrad and #MSU for my graduate degree. I currently work at #UChicago for the #TMWCenter, which focuses on helping young children acquire language (and therefore other learning skills) faster.
In my spare time, I develop #OpenSourceSoftware such as
I spend a fair bit of my time these days on #MathResearch, specifically into the #ThueMorse Sequence and its extensions.
I'm also a hobbyist editor on OpenStreetMap.
#Demisexual, #transfem, and happily engaged to my #enby sweetheart.
We have two cats: #OpheTheLoaf and #MayalaranTheCat (yes, from #StormlightArchive)
How on earth are users of django-stubs getting the “id" field to work properly? Does nobody ever refer to it in code? Am I holding it wrong? I have so many instances of ‘error: "NominatingMemberProfile" has no attribute "id"' in my mypy output, and I can't help but wonder what the hell I'm doing wrong. #django #mypy #python
Are there people here using the #Ruff #LSP on #KDE with #Kate ?
[Edit, ruff doesn't do what I thought, full solution here: https://floss.social/@silmathoron/112943629376423938]
I've followed the setup instructions [0] but it does not seem to work properly... in particular it doesn't seem to detect functions, etc, so I don't get the "go to definition" functionality, while everything works fine if I use #mypy (it's just super slow and CPU intensive).
https://github.com/python/mypy/issues/17315
I was trying to integrate mongo-types into mongoengine, but for fields we need to write many overloads.
I don't want to do this, as it would clutter the codebase.
Django uses mypy plugin to do this kind of thing, but it works only for mypy.
Is there folks who know internals of mypy and it's plugins? how does it work? does it generate something like types for matching classes/functions? Would it be possible to export this information into pyi?
If you want to disable multiple error codes in single line comment for entire file, using mypy, here's how:
```
# mypy: disable-error-code="override,misc"
```
TIL: mypy is compiled by default with mypyc, for incredible (almost 3x) speed boost.
A guide on integrating #emacs + #python + #hatch using [mostly] builtin tooling and project local .dir-locals.el variables.
Specifically, this setup uses #Eglot + #pyright for live syntax checking, #pytest for code running, #MyPy for type-checking, and #IPython as the shell
Feedback would be welcome -- trying to get it robust + idiomatic.
@nedbat I couldn't find a cached version (quite probably I didn't look hard enough).
In my case, the offending part was:
class Foo:
bar: Bar = None
Tried:
class Foo:
bar: Optional[Bar] = None
This makes #mypy happy in that spot, but then I would have needed to disambiguate the type (via asserts and the like) all the time, so I went for something simple yet not entirely satisfactory:
class Foo:
bar: Bar = None # type: ignore
And everything else expects bar to be Bar, not None.
It's time for a re-#introduction!
I'm a #MastersStudent in #ComputerScience. In my spare time, I develop #OpenSourceSoftware such as
- a library to talk to #ManifoldMarkets from native #Python
- a #PredictionMarket manager using the above
- a transpiler from a subset of Python to #OpenStreetMaps's OverpassQL
- bug fixes to many other projects, including #mypy, #base58, #attrs, #cpython, and more
I'm also a hobbyist editor on OpenStreetMap.
