<p>Excitement around Python type checking continues to grow and the tools continue to evolve. We chat with <a href="https://www.linkedin.com/in/pollackaaron/" target="_blank" rel="noopener noreferer">Aaron Pollack</a> and <a href="https://www.linkedin.com/in/steventroxler/" target="_blank" rel="noopener noreferer">Steven Troxler</a> about <a href="https://github.com/facebook/pyrefly⁠">⁠Pyrefly</a> - a Rust-based Python type checker and IDE extension. We also touch on the adoption and sentiment around types in Python&#39;s ecosystem.Resources:</p><ul><li><a href="https://discord.com/invite/Cf7mFQtW7W⁠" target="_blank" rel="noopener noreferer">Pyrefly Discord</a></li><li><a href="https://python-type-checking.com/" target="_blank" rel="noopener noreferer">Package Type Coverage Report</a></li><li><a href="https://docs.google.com/spreadsheets/d/1s1W24KGMu0mrbXhHIcFKraAaJY5OOc2CjJvRvGx68d4/edit?gid=1884751978#gid=1884751978" target="_blank" rel="noopener noreferer">Packages being tracked for moving types from typeshed to the source project</a></li><li><a href="https://docs.google.com/presentation/d/1VoXuPAjac2WMcOezrgokkcxMkTGxSWyn1n7a8V9HI-A/edit" target="_blank" rel="noopener noreferer">Typing Survey Slides</a></li><li><a href="https://engineering.fb.com/2024/12/09/developer-tools/typed-python-2024-survey-meta/⁠" target="_blank" rel="noopener noreferer">Blog post with survey analysis</a></li><li><a href="https://discuss.python.org/c/typing/32" target="_blank" rel="noopener noreferer">Python typing community forum</a></li><li><a href="https://github.com/kimasplund/mcp-pyrefly" target="_blank" rel="noopener noreferer">MCP Pyrefly</a></li></ul><p>Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠</p>

Happy Path Programming

Bruce Eckel & James Ward

#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler

AUG 11, 202562 MIN
Happy Path Programming

#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler

AUG 11, 202562 MIN

Description

<p>Excitement around Python type checking continues to grow and the tools continue to evolve. We chat with <a href="https://www.linkedin.com/in/pollackaaron/" target="_blank" rel="noopener noreferer">Aaron Pollack</a> and <a href="https://www.linkedin.com/in/steventroxler/" target="_blank" rel="noopener noreferer">Steven Troxler</a> about <a href="https://github.com/facebook/pyrefly⁠">⁠Pyrefly</a> - a Rust-based Python type checker and IDE extension. We also touch on the adoption and sentiment around types in Python&#39;s ecosystem.Resources:</p><ul><li><a href="https://discord.com/invite/Cf7mFQtW7W⁠" target="_blank" rel="noopener noreferer">Pyrefly Discord</a></li><li><a href="https://python-type-checking.com/" target="_blank" rel="noopener noreferer">Package Type Coverage Report</a></li><li><a href="https://docs.google.com/spreadsheets/d/1s1W24KGMu0mrbXhHIcFKraAaJY5OOc2CjJvRvGx68d4/edit?gid=1884751978#gid=1884751978" target="_blank" rel="noopener noreferer">Packages being tracked for moving types from typeshed to the source project</a></li><li><a href="https://docs.google.com/presentation/d/1VoXuPAjac2WMcOezrgokkcxMkTGxSWyn1n7a8V9HI-A/edit" target="_blank" rel="noopener noreferer">Typing Survey Slides</a></li><li><a href="https://engineering.fb.com/2024/12/09/developer-tools/typed-python-2024-survey-meta/⁠" target="_blank" rel="noopener noreferer">Blog post with survey analysis</a></li><li><a href="https://discuss.python.org/c/typing/32" target="_blank" rel="noopener noreferer">Python typing community forum</a></li><li><a href="https://github.com/kimasplund/mcp-pyrefly" target="_blank" rel="noopener noreferer">MCP Pyrefly</a></li></ul><p>Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠</p>