Ty: A fast Python type checker and language server

Re:Ty: A fast Python type checker and language server by davedx on Thursday May 08, 2025 @01:18AM (#43923277)

Can mypy type check SQLAlchemy somehow? That's what caused me to give up on Python type checking recently

[ Parent | on HN ]

Re:Ty: A fast Python type checker and language server by lukaslalinsky on Thursday May 08, 2025 @02:59AM (#43923790)

SQLAlchemy 2.x has direct support for mypy, it works out of the box, no longer needing mypy plugins. Many things in SQLAlchemy as are still dynamic and can't be type checked, but the native support works great where it can.

[ Parent | on HN ]

Re:Ty: A fast Python type checker and language server by davedx on Friday May 09, 2025 @02:17PM (#43939645)

I’ll give that a try. Thanks

[ Parent | on HN ]