Pyre: Fast Type Checking for Python

Re:Pyre: Fast Type Checking for Python by m0meni on Friday May 11, 2018 @12:59PM (#17048923)

With flow, you just gradually add typings and fix the resulting type errors. It's way easier to slowly integrate types file by file rather than rewriting everything.

Moreover I think that at the time there were no statically typed languages that targeted web.

[ Parent | on HN ]

Re:Pyre: Fast Type Checking for Python by camdenreslink on Friday May 11, 2018 @01:02PM (#17048948)

Java has targeted the web since forever. Ditto for C#.

[ Parent | on HN ]

Re:Pyre: Fast Type Checking for Python by m0meni on Friday May 11, 2018 @01:05PM (#17048974)

By target web, I meant compile to js with good interop. I.e. no languages like elm, purescript, reason, ghcjs, kotlin, etc.

[ Parent | on HN ]

Re:Pyre: Fast Type Checking for Python by zenhack on Friday May 11, 2018 @09:12PM (#17051914)

Reason/ocaml-bucklescript's js interop is actually very good -- it's one of the nicest FFIs I've ever seen.

[ Parent | on HN ]