Pyrefly: A new type checker and IDE experience for Python

Re:Pyrefly: A new type checker and IDE experience for Python by 90s_dev on Saturday May 17, 2025 @01:14PM (#44015656)

The only inherent feature of JSX is compile time "parsing" whereas tagged literals inherently require runtime string parsing.

But yeah other than that you're right. I'm just talking about first-class VS Code support. Which to me means a lot.

[ Parent | on HN ]

Re:Pyrefly: A new type checker and IDE experience for Python by nine_k on Saturday May 17, 2025 @04:55PM (#44016924)

Of course tagged string literals can be compiled down to a form where no string parsing occurs. This is a really old technique; I implemented it, like many others, in PHP in late 1990s.

Vut inside an IDE or an LSP, tagged literal strings need quite a bit more special support than JSX, AFAICT.

[ Parent | on HN ]

Re:Pyrefly: A new type checker and IDE experience for Python by 90s_dev on Sunday May 18, 2025 @10:02AM (#44021493)

Do you mean at runtime but only once at startup, like parsing a Lua program into bytecode? Or do you mean at true compile time like Zig and Rust format strings?

[ Parent | on HN ]