Pyre

Software / App

Facebook's static type checker for Python, written in OCaml, designed to integrate with their development workflow.

Mentioned in 1 video

Videos Mentioning Pyre

Guido van Rossum: Python and the Future of Programming | Lex Fridman Podcast #341

Guido van Rossum: Python and the Future of Programming | Lex Fridman Podcast #341

Lex Fridman

Facebook's static type checker for Python, written in OCaml, designed to integrate with their development workflow.