Artwork

תוכן מסופק על ידי Michael Kennedy. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Michael Kennedy או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
Player FM - אפליקציית פודקאסט
התחל במצב לא מקוון עם האפליקציה Player FM !

#523: Pyrefly: Fast, IDE-friendly typing for Python

1:07:00
 
שתפו
 

Manage episode 513377760 series 3501439
תוכן מסופק על ידי Michael Kennedy. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Michael Kennedy או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
Python typing got fast enough to feel invisible. Pyrefly is a new, open source type checker and IDE language server from Meta, written in Rust, with a focus on instant feedback and real-world DX. Today, we will dig into what it is, why it exists, and how it plays with the rest of the typing ecosystem. We have Abby Mitchell, Danny Yang, and Kyle Into from Pyrefly here to dive into the project.
Episode sponsors
Sentry Error Monitoring, Code TALKPYTHON
Agntcy
Talk Python Courses

Links from the show

Abby Mitchell: linkedin.com
Danny Yang: linkedin.com
Kyle Into: linkedin.com
Pyrefly: pyrefly.org
Pyrefly Documentation: pyrefly.org
Pyrefly Installation Guide: pyrefly.org
Pyrefly IDE Guide: pyrefly.org
Pyrefly GitHub Repository: github.com
Pyrefly VS Code Extension: marketplace.visualstudio.com
Introducing Pyrefly: A New Type Checker and IDE Experience for Python: engineering.fb.com
Pyrefly on PyPI: pypi.org
InfoQ Coverage: Meta Pyrefly Python Typechecker: infoq.com
Pyrefly Discord Invite: discord.gg
Python Typing Conformance (GitHub): github.com
Typing Conformance Leaderboard (HTML Preview): htmlpreview.github.io
Watch this episode on YouTube: youtube.com
Episode #523 deep-dive: talkpython.fm/523
Episode transcripts: talkpython.fm
Theme Song: Developer Rap
🥁 Served in a Flask 🎸: talkpython.fm/flasksong
---== Don't be a stranger ==---
YouTube: youtube.com/@talkpython
Bluesky: @talkpython.fm
Mastodon: @[email protected]
X.com: @talkpython
Michael on Bluesky: @mkennedy.codes
Michael on Mastodon: @[email protected]
Michael on X.com: @mkennedy
  continue reading

522 פרקים

Artwork
iconשתפו
 
Manage episode 513377760 series 3501439
תוכן מסופק על ידי Michael Kennedy. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Michael Kennedy או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
Python typing got fast enough to feel invisible. Pyrefly is a new, open source type checker and IDE language server from Meta, written in Rust, with a focus on instant feedback and real-world DX. Today, we will dig into what it is, why it exists, and how it plays with the rest of the typing ecosystem. We have Abby Mitchell, Danny Yang, and Kyle Into from Pyrefly here to dive into the project.
Episode sponsors
Sentry Error Monitoring, Code TALKPYTHON
Agntcy
Talk Python Courses

Links from the show

Abby Mitchell: linkedin.com
Danny Yang: linkedin.com
Kyle Into: linkedin.com
Pyrefly: pyrefly.org
Pyrefly Documentation: pyrefly.org
Pyrefly Installation Guide: pyrefly.org
Pyrefly IDE Guide: pyrefly.org
Pyrefly GitHub Repository: github.com
Pyrefly VS Code Extension: marketplace.visualstudio.com
Introducing Pyrefly: A New Type Checker and IDE Experience for Python: engineering.fb.com
Pyrefly on PyPI: pypi.org
InfoQ Coverage: Meta Pyrefly Python Typechecker: infoq.com
Pyrefly Discord Invite: discord.gg
Python Typing Conformance (GitHub): github.com
Typing Conformance Leaderboard (HTML Preview): htmlpreview.github.io
Watch this episode on YouTube: youtube.com
Episode #523 deep-dive: talkpython.fm/523
Episode transcripts: talkpython.fm
Theme Song: Developer Rap
🥁 Served in a Flask 🎸: talkpython.fm/flasksong
---== Don't be a stranger ==---
YouTube: youtube.com/@talkpython
Bluesky: @talkpython.fm
Mastodon: @[email protected]
X.com: @talkpython
Michael on Bluesky: @mkennedy.codes
Michael on Mastodon: @[email protected]
Michael on X.com: @mkennedy
  continue reading

522 פרקים

All episodes

×
 
Loading …

ברוכים הבאים אל Player FM!

Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.

 

מדריך עזר מהיר

האזן לתוכנית הזו בזמן שאתה חוקר
הפעלה