mastouille.fr est l'un des nombreux serveurs Mastodon indépendants que vous pouvez utiliser pour participer au fédiverse.
Mastouille est une instance Mastodon durable, ouverte, et hébergée en France.

Administré par :

Statistiques du serveur :

585
comptes actifs

#mypy

0 message0 participant0 message aujourd’hui
fabs();<p>Anyone else think that the Union type annotation in Python is a code smell that something is too loosely defined?<br><a href="https://mastodon.gamedev.place/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://mastodon.gamedev.place/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a></p>
Matthew Martin<p><a href="https://mastodon.social/tags/ty" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ty</span></a> <a href="https://mastodon.social/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a> - but mypy already compiles itself to c via <a href="https://mastodon.social/tags/mypyc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypyc</span></a> so being faster isn't what I'd be expecting, it will be different and probably find different typing errors since for all the type checkers, it comes down to a matter of opinion. Do you think that will be a runtime error? That's in the future, who knows man.</p>
Tomas Ekeli<p><span>ok, a whole day of programming </span><a href="https://plud.re/tags/Python" rel="nofollow noopener noreferrer" target="_blank">#Python</a><span> with </span><a href="https://plud.re/tags/mypy" rel="nofollow noopener noreferrer" target="_blank">#mypy</a><span> and </span><a href="https://plud.re/tags/ruff" rel="nofollow noopener noreferrer" target="_blank">#ruff</a><span>.<br><br>this is much better than without, and ruff is very fast, but mypy is slooooow.<br><br>Also, the type system just isn't all that good</span></p>
Adam Johnson :django: :python:<p>I’m busy re-applying this “gradual import” technique on a client project today. Will slowly get them up to a full django-stubs installation.</p><p><a href="https://fosstodon.org/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> <a href="https://fosstodon.org/tags/MyPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MyPy</span></a></p><p><a href="https://adamj.eu/tech/2022/08/23/python-type-hints-gradually-add-types-for-third-party-packages/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">adamj.eu/tech/2022/08/23/pytho</span><span class="invisible">n-type-hints-gradually-add-types-for-third-party-packages/</span></a></p>
Python Rennes<p>Nous avons tous nos bonnes pratiques lorsqu'il s'agit de créer un nouveau <a href="https://social.breizhcamp.org/tags/projet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>projet</span></a> <a href="https://social.breizhcamp.org/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a>, avec l'utilisation de patterns et d'outils éprouvés : lint avec <a href="https://social.breizhcamp.org/tags/ruff" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ruff</span></a> et <a href="https://social.breizhcamp.org/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a>, hooks avec <a href="https://social.breizhcamp.org/tags/precommit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>precommit</span></a>, tests avec <a href="https://social.breizhcamp.org/tags/pytest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pytest</span></a>, intégration continue <a href="https://social.breizhcamp.org/tags/githubactions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>githubactions</span></a> : <a href="https://github.com/neubig/starter-repo" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/neubig/starter-repo</span><span class="invisible"></span></a> </p><p>Libre à chaque personne de faire évoluer le porojet selon ses propres goûts et contraintes.</p>
Olivia A-C<p>New account, so new <a href="https://transfem.social/tags/introduction" rel="nofollow noopener noreferrer" target="_blank">#introduction</a><span>. Let's do it again!<br><br>I have a </span><a href="https://transfem.social/tags/MastersDegree" rel="nofollow noopener noreferrer" target="_blank">#MastersDegree</a> in <a href="https://transfem.social/tags/ComputerScience" rel="nofollow noopener noreferrer" target="_blank">#ComputerScience</a> and <a href="https://transfem.social/tags/ComputerEngineering" rel="nofollow noopener noreferrer" target="_blank">#ComputerEngineering</a>. I went to <a href="https://transfem.social/tags/NMU" rel="nofollow noopener noreferrer" target="_blank">#NMU</a> for undergrad and <a href="https://transfem.social/tags/MSU" rel="nofollow noopener noreferrer" target="_blank">#MSU</a> for my graduate degree. I currently work at <a href="https://transfem.social/tags/UChicago" rel="nofollow noopener noreferrer" target="_blank">#UChicago</a> for the <a href="https://transfem.social/tags/TMWCenter" rel="nofollow noopener noreferrer" target="_blank">#TMWCenter</a><span>, which focuses on helping young children acquire language (and therefore other learning skills) faster.<br><br>In my spare time, I develop </span><a href="https://transfem.social/tags/OpenSourceSoftware" rel="nofollow noopener noreferrer" target="_blank">#OpenSourceSoftware</a><span> such as<br>- a </span><a href="https://transfem.social/tags/SphinxDoc" rel="nofollow noopener noreferrer" target="_blank">#SphinxDoc</a> extension that embed <a href="https://transfem.social/tags/Fediverse" rel="nofollow noopener noreferrer" target="_blank">#Fediverse</a><span> comments on your page<br>- a library to talk to </span><a href="https://transfem.social/tags/ManifoldMarkets" rel="nofollow noopener noreferrer" target="_blank">#ManifoldMarkets</a> from native <a href="https://transfem.social/tags/Python" rel="nofollow noopener noreferrer" target="_blank">#Python</a><span><br>- a </span><a href="https://transfem.social/tags/PredictionMarket" rel="nofollow noopener noreferrer" target="_blank">#PredictionMarket</a><span> manager using the above<br>- a </span><a href="https://transfem.social/tags/transpiler" rel="nofollow noopener noreferrer" target="_blank">#transpiler</a> from a subset of Python to <a href="https://transfem.social/tags/OpenStreetMaps" rel="nofollow noopener noreferrer" target="_blank">#OpenStreetMaps</a>'s <a href="https://transfem.social/tags/OverpassQL" rel="nofollow noopener noreferrer" target="_blank">#OverpassQL</a><span><br>- bug fixes to many other projects, including </span><a href="https://transfem.social/tags/mypy" rel="nofollow noopener noreferrer" target="_blank">#mypy</a>, <a href="https://transfem.social/tags/base58" rel="nofollow noopener noreferrer" target="_blank">#base58</a>, <a href="https://transfem.social/tags/attrs" rel="nofollow noopener noreferrer" target="_blank">#attrs</a>, <a href="https://transfem.social/tags/CPython" rel="nofollow noopener noreferrer" target="_blank">#CPython</a><span>, &amp; more<br><br>I spend a fair bit of my time these days on </span><a href="https://transfem.social/tags/MathResearch" rel="nofollow noopener noreferrer" target="_blank">#MathResearch</a>, specifically into the <a href="https://transfem.social/tags/ThueMorse" rel="nofollow noopener noreferrer" target="_blank">#ThueMorse</a><span> Sequence and its extensions.<br><br>I'm also a hobbyist editor on OpenStreetMap.<br><br></span><a href="https://transfem.social/tags/Demisexual" rel="nofollow noopener noreferrer" target="_blank">#Demisexual</a>, <a href="https://transfem.social/tags/transfem" rel="nofollow noopener noreferrer" target="_blank">#transfem</a>, and happily engaged to my <a href="https://transfem.social/tags/enby" rel="nofollow noopener noreferrer" target="_blank">#enby</a><span> sweetheart.<br><br>We have two cats: </span><a href="https://transfem.social/tags/OpheTheLoaf" rel="nofollow noopener noreferrer" target="_blank">#OpheTheLoaf</a> and <a href="https://transfem.social/tags/MayalaranTheCat" rel="nofollow noopener noreferrer" target="_blank">#MayalaranTheCat</a> (yes, from <a href="https://transfem.social/tags/StormlightArchive" rel="nofollow noopener noreferrer" target="_blank">#StormlightArchive</a>) See <a href="https://transfem.social/notes/a4im5yv5i02700my" rel="nofollow noopener noreferrer" target="_blank">here</a><span> for more on them!<br><br>I speak English fluently, Spanish haltingly, and am trying to learn Chinese<br><br></span><a href="https://transfem.social/tags/queer" rel="nofollow noopener noreferrer" target="_blank">#queer</a> <a href="https://transfem.social/tags/Chicago" rel="nofollow noopener noreferrer" target="_blank">#Chicago</a></p>
Arie van Deursen<p>Survey on use of types in Python among around 1000 developers. 88% of respondents “Always” or “Often” use Types in their Python code.</p><p>Study conducted by Meta, JetBrains, and Microsoft, results on a Google dashboard.</p><p><a href="https://engineering.fb.com/2024/12/09/developer-tools/typed-python-2024-survey-meta/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">engineering.fb.com/2024/12/09/</span><span class="invisible">developer-tools/typed-python-2024-survey-meta/</span></a></p><p><a href="https://mastodon.acm.org/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://mastodon.acm.org/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a> <a href="https://mastodon.acm.org/tags/pycharm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pycharm</span></a> <a href="https://mastodon.acm.org/tags/pyright" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pyright</span></a></p>
Olivia A-C<p>Oh dang, my <a href="https://tech.lgbt/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>introduction</span></a> post is waaay out of date now. Let's do it again!</p><p>I have a <a href="https://tech.lgbt/tags/MastersDegree" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MastersDegree</span></a> in <a href="https://tech.lgbt/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComputerScience</span></a> and <a href="https://tech.lgbt/tags/ComputerEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComputerEngineering</span></a>. I went to <a href="https://tech.lgbt/tags/NMU" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NMU</span></a> for undergrad and <a href="https://tech.lgbt/tags/MSU" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MSU</span></a> for my graduate degree. I currently work at <a href="https://tech.lgbt/tags/UChicago" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UChicago</span></a> for the <a href="https://tech.lgbt/tags/TMWCenter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TMWCenter</span></a>, which focuses on helping young children acquire language (and therefore other learning skills) faster.</p><p>In my spare time, I develop <a href="https://tech.lgbt/tags/OpenSourceSoftware" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenSourceSoftware</span></a> such as</p><ul><li>a library to talk to <a href="https://tech.lgbt/tags/ManifoldMarkets" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ManifoldMarkets</span></a> from native <a href="https://tech.lgbt/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a></li><li>a <a href="https://tech.lgbt/tags/PredictionMarket" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PredictionMarket</span></a> manager using the above</li><li>a <a href="https://tech.lgbt/tags/transpiler" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>transpiler</span></a> from a subset of Python to <a href="https://tech.lgbt/tags/OpenStreetMaps" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenStreetMaps</span></a>'s <a href="https://tech.lgbt/tags/OverpassQL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OverpassQL</span></a></li><li>bug fixes to many other projects, including <a href="https://tech.lgbt/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a>, <a href="https://tech.lgbt/tags/base58" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>base58</span></a>, <a href="https://tech.lgbt/tags/attrs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>attrs</span></a>, <a href="https://tech.lgbt/tags/CPython" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CPython</span></a>, &amp; more</li></ul><p>I spend a fair bit of my time these days on <a href="https://tech.lgbt/tags/MathResearch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MathResearch</span></a>, specifically into the <a href="https://tech.lgbt/tags/ThueMorse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ThueMorse</span></a> Sequence and its extensions.</p><p>I'm also a hobbyist editor on OpenStreetMap.</p><p><a href="https://tech.lgbt/tags/Demisexual" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Demisexual</span></a>, <a href="https://tech.lgbt/tags/transfem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>transfem</span></a>, and happily engaged to my <a href="https://tech.lgbt/tags/enby" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>enby</span></a> sweetheart.</p><p>We have two cats: <a href="https://tech.lgbt/tags/OpheTheLoaf" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpheTheLoaf</span></a> and <a href="https://tech.lgbt/tags/MayalaranTheCat" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MayalaranTheCat</span></a> (yes, from <a href="https://tech.lgbt/tags/StormlightArchive" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StormlightArchive</span></a>)</p><p><a href="https://tech.lgbt/tags/queer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>queer</span></a> <a href="https://tech.lgbt/tags/Chicago" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Chicago</span></a></p>
Sharlatan<p>Good news <a href="https://mastodon.social/tags/NumPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NumPy</span></a> is built 1.23.2-&gt;1.24.4 with the latest <a href="https://mastodon.social/tags/pytest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pytest</span></a> and <a href="https://mastodon.social/tags/MyPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MyPy</span></a>, any other versions up to 1.26.4 could not be built without a higher level of wizardry.</p><p><a href="https://mastodon.social/tags/Pandas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Pandas</span></a> has been built on the latest version!</p><p>Fixing failing dependency to build <a href="https://mastodon.social/tags/SciPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SciPy</span></a> hoping to refresh it to the latest version when chaning packages are resolved.</p><p>70+ commits are in the queue for the python team in <a href="https://mastodon.social/tags/Guix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Guix</span></a>. </p><p>Oh Brave New World...</p>
Sharlatan<p>I've updated <a href="https://mastodon.social/tags/MyPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MyPy</span></a> in python-team branch in <a href="https://mastodon.social/tags/Guix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Guix</span></a> as an attempt to refresh <a href="https://mastodon.social/tags/NumPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NumPy</span></a> (1.24.4 fails on some tests but the build phase is passed, 1.26.4 fails on build phase).</p><p>Did anyone try to pack it?</p>
Charles Tapley Hoyt<p>I'm trying to use mypy inside tox with tox-uv, but mypy's --install-types flag hardcodes the usage of pip. When you're using tox-uv, pip is no longer installed in the environment because uv does the heavy lifting with `uv pip install` as a faster alternative to `pip install`</p><p>Here's my attempt at making mypy more configurable so it can install types using uv:</p><p><a href="https://github.com/python/mypy/compare/master...cthoyt:mypy:uv-installer" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/python/mypy/compare</span><span class="invisible">/master...cthoyt:mypy:uv-installer</span></a></p><p><a href="https://scholar.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://scholar.social/tags/packaging" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>packaging</span></a> <a href="https://scholar.social/tags/typing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typing</span></a> <a href="https://scholar.social/tags/uv" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>uv</span></a> <a href="https://scholar.social/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a> <a href="https://scholar.social/tags/tox" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tox</span></a> <a href="https://scholar.social/tags/virtualenv" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>virtualenv</span></a></p>
Silmathoron ⁂<p>Are there people here using the <a href="https://floss.social/tags/Ruff" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Ruff</span></a> <a href="https://floss.social/tags/LSP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LSP</span></a> on <a href="https://floss.social/tags/KDE" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>KDE</span></a> with <a href="https://floss.social/tags/Kate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Kate</span></a> ?</p><p>[Edit, ruff doesn't do what I thought, full solution here: <a href="https://floss.social/@silmathoron/112943629376423938" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">floss.social/@silmathoron/1129</span><span class="invisible">43629376423938</span></a>]</p><p>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 <a href="https://floss.social/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a> (it's just super slow and CPU intensive).</p><p>[0]: <a href="https://docs.astral.sh/ruff/editors/setup/#kate" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">docs.astral.sh/ruff/editors/se</span><span class="invisible">tup/#kate</span></a></p><p><a href="https://floss.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://floss.social/tags/IDE" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IDE</span></a> <a href="https://floss.social/tags/linux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>linux</span></a></p>
Paolo Melchiorre<p>Enjoyed a morning walk listening to Intervista Pythonista italian podcast 🎙️</p><p>Marco Santoni &amp; Cesare Placanica hosted Alan Franzoni who discussed type-checking in Python and its application at Aiven with mypy 🐍</p><p>Highly recommend 👇<br><a href="https://podcasters.spotify.com/pod/show/marco-santoni/episodes/Type-checking-statico-su-grandi-codebase--Ep-55-e2lufum" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">podcasters.spotify.com/pod/sho</span><span class="invisible">w/marco-santoni/episodes/Type-checking-statico-su-grandi-codebase--Ep-55-e2lufum</span></a></p><p><a href="https://fosstodon.org/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> <a href="https://fosstodon.org/tags/TypeChecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TypeChecking</span></a> <a href="https://fosstodon.org/tags/Podcast" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Podcast</span></a> <a href="https://fosstodon.org/tags/MyPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MyPy</span></a> <a href="https://fosstodon.org/tags/IntervistaPythonista" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IntervistaPythonista</span></a></p>
partizan<p><a href="https://github.com/python/mypy/issues/17315" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/python/mypy/issues/</span><span class="invisible">17315</span></a></p><p>I was trying to integrate mongo-types into mongoengine, but for fields we need to write many overloads.</p><p>I don't want to do this, as it would clutter the codebase.</p><p>Django uses mypy plugin to do this kind of thing, but it works only for mypy.</p><p>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?</p><p><a href="https://twiukraine.com/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a> <a href="https://twiukraine.com/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a></p>
partizan<p>If you want to disable multiple error codes in single line comment for entire file, using mypy, here's how:</p><p>```<br># mypy: disable-error-code="override,misc"<br>```</p><p><a href="https://twiukraine.com/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://twiukraine.com/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a></p>
partizan<p>TIL: mypy is compiled by default with mypyc, for incredible (almost 3x) speed boost.</p><p><a href="https://twiukraine.com/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://twiukraine.com/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a></p>
jtmoulia 🐁<p>A guide on integrating <a href="https://mstdn.social/tags/emacs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>emacs</span></a> + <a href="https://mstdn.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> + <a href="https://mstdn.social/tags/hatch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hatch</span></a> using [mostly] builtin tooling and project local .dir-locals.el variables.</p><p>Specifically, this setup uses <a href="https://mstdn.social/tags/Eglot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Eglot</span></a> + <a href="https://mstdn.social/tags/pyright" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pyright</span></a> for live syntax checking, <a href="https://mstdn.social/tags/pytest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pytest</span></a> for code running, <a href="https://mstdn.social/tags/MyPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MyPy</span></a> for type-checking, and <a href="https://mstdn.social/tags/IPython" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IPython</span></a> as the shell</p><p>Feedback would be welcome -- trying to get it robust + idiomatic.</p><p><a href="https://jtmoulia.srht.site/guides/emacs-python-hatch/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jtmoulia.srht.site/guides/emac</span><span class="invisible">s-python-hatch/</span></a></p>
Matthew Martin<p>Okay, I'm ready to sell ad space in the type annotations of my open source code. <a href="https://mastodon.social/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a> </p><p>```python<br>from typing import TypeAlias</p><p>SquareSpaceChooseYourCanvas: TypeAlias = str<br>SquareSpaceSuccessStory: TypeAlias = str</p><p>def build_website(self, template: SquareSpaceChooseYourCanvas) -&gt; SquareSpaceSuccessStory:<br> """<br> Your Ad Here, call 1-800-doc-string<br> """<br> print(f"Building a website with the template '{template}'.")<br> return "Wee!"<br>```</p>
Glyph<p>PEP 593 is a bit vague on how you’re supposed to actually consume arguments to `Annotated`; here is my proposal.</p><p><a href="https://blog.glyph.im/2023/12/annotated-at-runtime.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.glyph.im/2023/12/annotate</span><span class="invisible">d-at-runtime.html</span></a></p><p><a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a></p>
mgorny-nyan (he) :autism:🙀🚂🐧<p>So I've bumped <a href="https://social.treehouse.systems/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a> to 1.5.1 today, and I was surprised to see that the diff didn't include any changes aside from the version number change. A little WTF.</p><p>Now ztrawhcse tells me on IRC that there are changes, actually:</p><p><a href="https://github.com/python/mypy/compare/v1.5.0...v1.5.1" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/python/mypy/compare</span><span class="invisible">/v1.5.0...v1.5.1</span></a></p><p>So I'm like: oh my, did they force push? So I refetch 1.5.1 but checksum matches. I'm deep in WTF, I download again via browser, still the same file.</p><p>Then I refetched 1.5.0… and that's like facepalm of the month. They retagged 1.5.0 to an earlier commit after we've bumped it in <a href="https://social.treehouse.systems/tags/Gentoo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Gentoo</span></a>.</p><p>Or to put it in other words, Gentoo users have been effectively running 1.5.1 for a week now. No need to thank us.</p><p><a href="https://social.treehouse.systems/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a></p>