Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
chrisweekly
on May 17, 2025
|
parent
|
context
|
favorite
| on:
Pyrefly: A new type checker and IDE experience for...
Pls forgive my ignorance, but how is Typescript (a superset of Javascript) used to type-check Python?
thraxil
on May 17, 2025
|
next
[–]
You can write a parser and type checker for pretty much any language
in
pretty much any language. It's just text files as input and text as output.
ItsHarper
on May 17, 2025
|
prev
|
next
[–]
They're saying pyright is a Python type checker, but it's written in Typescript, not Rust.
Yoric
on May 17, 2025
|
prev
|
next
[–]
There's nothing magical to type-checking Python. You can write this in any programming language. TypeScript is actually a pretty nice language for writing static analysis tools.
dist-epoch
on May 17, 2025
|
prev
|
next
[–]
just like the Python compiler/interpreter is written in C.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
