It has been an immense pleasure working with @nontrivialzeros, @ndm_haskell, and others on this huge milestone! We announced experimental support for tensor shapes in #Pyrefly as part of this release: pyrefly.org/en/docs/tensor-s…. A hobby project I started in November led to a demo to the team in December - and it's so exciting to see that just a few months later, we can release it to the world to play with. With just a few annotations at module boundaries, @PyTorch developers can now enjoy inlay typehints showing tensor shapes throughout their code. Check out the examples linked in the docs, which include 28 OSS models with a variety of architectures with end-to-end coverage. No longer do you need to track tensor shapes in your head as you type. And you can let your AI agent refactor your code with the peace of mind that comes with static verification! Fun story - I hired Sam into working with me on @flowtype a decade back. How life comes full circle - couldn't be prouder to work with Sam again.

Inline generic typehints in @phpstorm : yay or nay?

If you’ve ever felt like type hints in Python are getting…out of hand, you’re not alone. In this talk, Carlton Gibson (Django Steering Council) breaks down a real tension: Python was designed to stay dynamic, and type hints were never meant to be mandatory. But today, many teams feel pressure to add them anyway. Consider #Django, for example: • It’s built on dynamic patterns (introspection, minimal boilerplate, etc.). • Static typing often can’t fully represent those patterns. • Adding types can increase complexity without real safety gains. • Sometimes you’re just repeating yourself to satisfy the type checker. So what’s the alternative? Don’t force typing where it doesn’t fit. Keep Python dynamic – and add types where they actually bring value. The key takeaway: Instead of rewriting frameworks like Django, build typed layers on top – keeping flexibility while adding structure where needed. Don’t think “types vs. no types.” Think about using the right tool in the right place. ▶️ Watch the full talk: youtu.be/j0cLwyChYOQ #Python #Django #TypeHints #StaticTyping #WebDevelopment

I released a new major version of PHP DebugBar. - Removed jQuery and FontAwesome -> much smaller size - Optimized rendering for heavy tabs - New widget for ajax/stacked requests - Typehints, build scripts, static analysis and much more! For details: github.com/php-debugbar/php-…

Never programmed a damn thing with ruby, but in python it's absolutely abysmal to work with functions without typehints for args, return values and errors. Its just objectively bad api design if you don't know jack shit about functions you are calling.

thats mostly just typehints and not validations afaik its not like rust when the compiler cries about any detail and most of the time its overkill and makes it worse in bigger codebases and if its rlly that important u should use a compiled strongly typed language🥺

I mean. 2002 - those were PHP4 times. So objects were still kind of associative arrays with decorative bling. No typehints, no visibility keywords - if you wanted to indicate something was private, you'd prefix it with a _ and hoped for the best 🤣

Brilliant session by @maaddae on type hints at #PyHo2025! 🔥 He explored how Python's dynamic flexibility can actually work in harmony with static safety, not against it. "Type hints makes our codebases more predictable , maintainable and self - documenting" #PyHo25 #Typehints

Python with type hints is a worse language than Python without typehints. You turn a language with few redeeming qualities into a language with none

Day 29 in #109DaysOfPython Python is a dynamically typed language, which is a super power....but with great power comes greater responsibility We look at TypeHints which prevent abuse of power

Python's type hints are finally winning developers over! 🐍 Static typing without losing Python's flexibility - the best of both worlds? What's your take on adding types to your Python code? #Python #TypeHints #Programming

we should have a dspy optimizer that adds typehints to the program if that is a source of errors causing evals to fail

最新Python Tip⚡Python 3.15でTypedDictがさらに進化！`extra_items`や`closed`で辞書の型指定が超厳密に👌mypyはもうPython 3.9以上必須に⚠️Rust製高速型チェッカーも注目👀 #Python #TypeHints #プログラミング 好きな型チェックツールは？教えて！シェア歓迎🔄[1][2]

see this link below, it was a failure and we stopped development. @zou3519 can give any more insights (or @srush_nlp ) naming dimensions is cool until you have to preserve the names across shape propagation (the output of an operation who's input is a named tensor). so named tensors weren't meaningfully useful across board, only useful within a function to keep it self-documenting, which you get with typehints anyways). docs.pytorch.org/docs/stable…

( טוב נו יש לציין שהכל strictly typehints ואני הפרדתי בין ui ל backend מזמן ברמת הקוד גם אם לא ארכיטקטורה אה והכל עם טסטים. אבל ג'מיני לא ראה אותם זה לא באמת יעבוד oneshot במקרה אחר)

I have iterated over a dict which returned me keys instead of values, then I learned that dicts iterate keys by default, and then was never bothered again. You can use typehints to reach the same conclusion of "this is telling me it returns K instead of (K, V)"

In 2019, I wrote a post highlighting features I wanted in #php - let's take a look at where they are today: ✅ Stronger Typing ❌ Structured Array Typehints ❌ Generics ✅ Union Types ❌ Variable Typehint ❌ Method Overloading ❌ Callable Types ❌ Operator Overloading ❌ Primitive Objects ✅ Pipe Operator ❌ Object Casts ✅ Annotations/Attributes ✅ Named Function Parameters ✅ Match Statement ❌ Closure Use Alias That's nearly half of my wanted features at the time, complete! Now my wanted features boil down to 2 things: 1️⃣ Generics (mostly for typed arrays) 2️⃣ More dynamic objects (through overloading and magic methods) I'm so happy to be part of the PHP community and see how far the language has come in just a few short years! Here's the original post: liamhammett.com/my-php-wishl…

🐍Python type hints enhance code safety, clarity, and tool compatibility: 👉 Catch bugs pre-run (with mypy/IDE) 👉 Boost autocomplete and refactoring 👉 No runtime overhead, Python ignores hints during execution Added type hints yet?👇 #Python #TypeHints #CleanCode #DevTools

I really hate javascript bundlers. There does not need to be dozens of ways to transpile typehints. Still cant get a typescript monorepo working correctly where it has variable outputs.

✋ Can I get another @Square SDK? Yes you can! Square's Python SDK is now live at: lnkd.in/e42niRPu Written with Pythonic features you will want to use: - TypeHints: lnkd.in/exX3S4k8 - Request types as TypedDicts: lnkd.in/ewR2K4J9 - Response types as Pydantic models: lnkd.in/ecaWTVFG These features are best practices in modern Python, endorsed by FastAPI’s creator, @tiangolo