Recent searches

No recent searches

Search options

Only available when logged in.
mstdn.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A general-purpose Mastodon server with a 500 character limit. All languages are welcome.

Administered by:

Server stats:

12K
active users

mstdn.social: AboutStatusProfiles directoryPrivacy policyTerms of service

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.1

#PythonTyping

0 posts0 participants0 posts today
partizan<p>Which type-checker are you using?</p><p><a href="https://twiukraine.com/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>python</span></a> <a href="https://twiukraine.com/tags/PythonTyping" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PythonTyping</span></a></p>
Borjan Tchakaloff<p><span class="h-card" translate="no"><a href="https://fosstodon.org/@europython" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>europython</span></a></span> I went through 3/4th of the proposals so far. There are *too many* interesting proposals, even more so than previous years I find. What a nice predicament to experience!</p><p>Especially excited to see (relatively) many people wanting to share their stories and retrospectives (which has been historically lacking from soloists &amp; small teams), <a href="https://freiburg.social/tags/eventsourcing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>eventsourcing</span></a> for all knowledge levels, and more nuances on <a href="https://freiburg.social/tags/pythontyping" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pythontyping</span></a> (it's not a yes/no story for <a href="https://freiburg.social/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>python</span></a> ).</p>
Niko Föhr<p>Bumped to typing.cast() function, which has been there since Python 3.5. This blog post explained well what it does and when you might need it:</p><p><a href="https://adamj.eu/tech/2021/07/06/python-type-hints-how-to-use-typing-cast/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">adamj.eu/tech/2021/07/06/pytho</span><span class="invisible">n-type-hints-how-to-use-typing-cast/</span></a></p><p><a href="https://fosstodon.org/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>python</span></a> <a href="https://fosstodon.org/tags/typing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>typing</span></a> <a href="https://fosstodon.org/tags/pythontyping" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pythontyping</span></a></p>
partizan<p><a href="https://mstdn.social/tags/Python" class="mention hashtag" rel="tag">#<span>Python</span></a> <a href="https://mstdn.social/tags/PythonTyping" class="mention hashtag" rel="tag">#<span>PythonTyping</span></a></p><p>Sometimes I contribute types to opensource projects, and while some projects are welcoming type contributions, others either not consider it a priority or even oppose including types.</p><p>For me typing greatly improves development process. How about you?</p><p>Are you using types in your projects?</p>
partizan<p>Turns out using `func(kwargs)`becomes very inconvinient, when you&#39;re using type-checking.</p><p>Pyright 1.1.312 landed a change:</p><p>&gt; ... The new behavior matches that of mypy and assumes that the unpacked dict may supply arguments for all otherwise-unmatched keyword parameters even if they have default argument values.</p><p><a href="https://github.com/microsoft/pyright/issues/5545" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.com/microsoft/pyright/i</span><span class="invisible">ssues/5545</span></a></p><p>And now i need `# type: ignore` for each `kwargs`.</p><p><span class="h-card" translate="no"><a href="https://mastodon.social/@hynek" class="u-url mention">@<span>hynek</span></a></span> any ideas how to approach this?</p><p>Or maybe someone on <a href="https://mstdn.social/tags/EuroPython" class="mention hashtag" rel="tag">#<span>EuroPython</span></a> ?</p><p><a href="https://mstdn.social/tags/Python" class="mention hashtag" rel="tag">#<span>Python</span></a> <a href="https://mstdn.social/tags/PythonTyping" class="mention hashtag" rel="tag">#<span>PythonTyping</span></a></p>
TrendingLive feeds
About