home.social

#pyright — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #pyright, aggregated by home.social.

  1. #CodeQuality of the lazy developer 🛠️

    Updating an educational #Python repo, I looked into what to automate for code quality.

    🔮 Spoiler: I landed on uv, ruff, pyright and pre-commit.

    In the article: the picks, why, and the make patch that broke on the first try 😄

    alessandra.bilardi.net/diary/a

    #DiaryOfALazyDeveloper #pytest #ruff #pyright #uv

  2. #CodeQuality of the lazy developer 🛠️

    Updating an educational #Python repo, I looked into what to automate for code quality.

    🔮 Spoiler: I landed on uv, ruff, pyright and pre-commit.

    In the article: the picks, why, and the make patch that broke on the first try 😄

    alessandra.bilardi.net/diary/a

    #DiaryOfALazyDeveloper #pytest #ruff #pyright #uv

  3. With high-performance #Python type checkers like #Pyright, #Pyrefly, and #ty now available, what's the value proposition of #Mypy? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.

  4. With high-performance #Python type checkers like #Pyright, #Pyrefly, and #ty now available, what's the value proposition of #Mypy? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.

  5. With high-performance #Python type checkers like #Pyright, #Pyrefly, and #ty now available, what's the value proposition of #Mypy? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.

  6. With high-performance #Python type checkers like #Pyright, #Pyrefly, and #ty now available, what's the value proposition of #Mypy? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.

  7. With high-performance #Python type checkers like #Pyright, #Pyrefly, and #ty now available, what's the value proposition of #Mypy? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.

  8. 🚀🎉 Hold onto your keyboards, folks! #Astral has unleashed "ty," a lightning-fast #Python #type #checker, because, of course, we needed another one. Written in #Rust, because Python apparently wasn't fast enough for checking itself, "ty" is now in #Beta and ready to bravely enter a market already saturated with the likes of #mypy, #Pyright, and other tools you didn't know you couldn't live without. 🌪️🔧
    astral.sh/blog/ty #ty #HackerNews #ngated

  9. 🚀🎉 Hold onto your keyboards, folks! #Astral has unleashed "ty," a lightning-fast #Python #type #checker, because, of course, we needed another one. Written in #Rust, because Python apparently wasn't fast enough for checking itself, "ty" is now in #Beta and ready to bravely enter a market already saturated with the likes of #mypy, #Pyright, and other tools you didn't know you couldn't live without. 🌪️🔧
    astral.sh/blog/ty #ty #HackerNews #ngated

  10. 🚀🎉 Hold onto your keyboards, folks! #Astral has unleashed "ty," a lightning-fast #Python #type #checker, because, of course, we needed another one. Written in #Rust, because Python apparently wasn't fast enough for checking itself, "ty" is now in #Beta and ready to bravely enter a market already saturated with the likes of #mypy, #Pyright, and other tools you didn't know you couldn't live without. 🌪️🔧
    astral.sh/blog/ty #ty #HackerNews #ngated

  11. 🚀🎉 Hold onto your keyboards, folks! #Astral has unleashed "ty," a lightning-fast #Python #type #checker, because, of course, we needed another one. Written in #Rust, because Python apparently wasn't fast enough for checking itself, "ty" is now in #Beta and ready to bravely enter a market already saturated with the likes of #mypy, #Pyright, and other tools you didn't know you couldn't live without. 🌪️🔧
    astral.sh/blog/ty #ty #HackerNews #ngated

  12. All fun and games in #python land until black decides to reformat your #pyright type ignore pragmas 🙄

  13. All fun and games in #python land until black decides to reformat your #pyright type ignore pragmas 🙄

  14. All fun and games in land until black decides to reformat your type ignore pragmas 🙄

  15. All fun and games in #python land until black decides to reformat your #pyright type ignore pragmas 🙄

  16. All fun and games in #python land until black decides to reformat your #pyright type ignore pragmas 🙄

  17. TIL the overload() decorator for Python, for describing methods that support multiple different combinations of argument types. A great way to make your typechecker happy: it's much stricter and clearer than just combining multiple types with "|".

    docs.python.org/3/library/typi

    #python #types #typechecking #pyright

  18. TIL the overload() decorator for Python, for describing methods that support multiple different combinations of argument types. A great way to make your typechecker happy: it's much stricter and clearer than just combining multiple types with "|".

    docs.python.org/3/library/typi

  19. TIL the overload() decorator for Python, for describing methods that support multiple different combinations of argument types. A great way to make your typechecker happy: it's much stricter and clearer than just combining multiple types with "|".

    docs.python.org/3/library/typi

    #python #types #typechecking #pyright

  20. TIL the overload() decorator for Python, for describing methods that support multiple different combinations of argument types. A great way to make your typechecker happy: it's much stricter and clearer than just combining multiple types with "|".

    docs.python.org/3/library/typi

    #python #types #typechecking #pyright

  21. TIL the overload() decorator for Python, for describing methods that support multiple different combinations of argument types. A great way to make your typechecker happy: it's much stricter and clearer than just combining multiple types with "|".

    docs.python.org/3/library/typi

    #python #types #typechecking #pyright

  22. @seungjin ... #pyright bas the problems of JS : slow....

    Python devs are waiting for #ty a rust type checker, built by astral, the ones who did #ruff and #UV

  23. @seungjin ... #pyright bas the problems of JS : slow....

    Python devs are waiting for #ty a rust type checker, built by astral, the ones who did #ruff and #UV

  24. @seungjin ... #pyright bas the problems of JS : slow....

    Python devs are waiting for #ty a rust type checker, built by astral, the ones who did #ruff and #UV

  25. @seungjin ... #pyright bas the problems of JS : slow....

    Python devs are waiting for #ty a rust type checker, built by astral, the ones who did #ruff and #UV

  26. @seungjin I write #python code every day, and type hints are a "syntactic sugar" and are not required at all from the interpreter point of view.

    For large projects, it's useful to add hints to "follow" what you are doing, and type checkers like #pyright or #mypy can help to find some bugs, by example when calling a method with wrong parameters types.

    It also help for the readability of the code.

  27. @seungjin I write #python code every day, and type hints are a "syntactic sugar" and are not required at all from the interpreter point of view.

    For large projects, it's useful to add hints to "follow" what you are doing, and type checkers like #pyright or #mypy can help to find some bugs, by example when calling a method with wrong parameters types.

    It also help for the readability of the code.

  28. @seungjin I write #python code every day, and type hints are a "syntactic sugar" and are not required at all from the interpreter point of view.

    For large projects, it's useful to add hints to "follow" what you are doing, and type checkers like #pyright or #mypy can help to find some bugs, by example when calling a method with wrong parameters types.

    It also help for the readability of the code.

  29. @seungjin I write #python code every day, and type hints are a "syntactic sugar" and are not required at all from the interpreter point of view.

    For large projects, it's useful to add hints to "follow" what you are doing, and type checkers like #pyright or #mypy can help to find some bugs, by example when calling a method with wrong parameters types.

    It also help for the readability of the code.

  30. Our of the box, is "better" than . Less configuration and more strict!

  31. With Microsoft rewriting Typescript in Go (for a mere 10x performance win), the next target is hopefully #pyright, which is pretty much unusable currently due to its reliance on Node.

    devblogs.microsoft.com/typescr

  32. 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.

    engineering.fb.com/2024/12/09/

    #python #mypy #pycharm #pyright

  33. 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.

    engineering.fb.com/2024/12/09/

    #python #mypy #pycharm #pyright

  34. 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.

    engineering.fb.com/2024/12/09/

    #python #mypy #pycharm #pyright

  35. 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.

    engineering.fb.com/2024/12/09/

    #python #mypy #pycharm #pyright

  36. Does this #pyright error strike any other #Python peeps as wrong?

    “Return type mismatch: base method returns type "Literal['']", override returns type "str""

    It's giving me a type error when I override a method that returned a literal string with a string I construct. That doesn't make any sense.

  37. Does this #pyright error strike any other #Python peeps as wrong?

    “Return type mismatch: base method returns type "Literal['']", override returns type "str""

    It's giving me a type error when I override a method that returned a literal string with a string I construct. That doesn't make any sense.

  38. Does this #pyright error strike any other #Python peeps as wrong?

    “Return type mismatch: base method returns type "Literal['']", override returns type "str""

    It's giving me a type error when I override a method that returned a literal string with a string I construct. That doesn't make any sense.

  39. Does this #pyright error strike any other #Python peeps as wrong?

    “Return type mismatch: base method returns type "Literal['']", override returns type "str""

    It's giving me a type error when I override a method that returned a literal string with a string I construct. That doesn't make any sense.

  40. Does this #pyright error strike any other #Python peeps as wrong?

    “Return type mismatch: base method returns type "Literal['']", override returns type "str""

    It's giving me a type error when I override a method that returned a literal string with a string I construct. That doesn't make any sense.