There's a great 5m lightning talk from Pycon 2019 explaining the difference betw... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

ehsankia on June 12, 2019 | parent | context | favorite | on: A Failed Experiment with Python Type Annotations

There's a great 5m lightning talk from Pycon 2019 explaining the difference between pytype and mypy[0]. It's great that there's different libraries approaching the problem from different angles. Speaking of which, I'm also curious to see how Facebook's Pyre[1] differs from the former two. I'm surprise there's isn't a comprehensive comparison of the 3 libraries yet.

[0] https://www.youtube.com/watch?v=yFcCuinRVnU&t=38m25s

[1] https://github.com/facebook/pyre-check

reissbaker on June 12, 2019 [–]

Pyre is similar to mypy, in that it:

1. Is gradually typed,

2. Doesn't infer types, and

3. Is strict, in that it doesn't allow operations that change types.

It was originally developed as a replacement for mypy that was faster and scaled better to very large codebases.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact