5 ms·

Flowtype 0.30 adds support for Windows

23 points by thejameskyle 10y ago

thejameskyle 10y ago
Hi HN, just wanted to let you know that the Flow team is watching this thread and is happy to respond to any questions that you have :)
- smt88 10y ago
  Any update on support for using TypeScript definition files with Flow? It doesn't seem as though the team is still watching the issue on Github: https://github.com/facebook/flow/issues/7 https://github.com/facebook/flow/issues/7
  - thejameskyle 10y ago
    We've actually been discussing going the other way with a conversion tool for package publishers. Flow has a more sound type system and it's easier to downgrade than upgrade. The next few months should hopefully start seeing a lot of new tools for managing and publishing types within the community. It would be great to see more adoption from package owners themselves.
    - smt88 10y ago
      > conversion tool for package publishers I'm not sure I understand how that's different from just supporting TypeScript definitions. Couldn't the conversion tool just be built into Flow so that it works transparently for the user? Or are you saying human intervention is required? > Flow has a more sound type system Can you elaborate? What are the features of Flow that aren't present in TypeScript and would result in lossy conversion?
      - thejameskyle 10y ago
        It's not a trivial task for either Flow or TypeScript to support definitions of one another. We've attempted to build a TS => Flow conversion tool, but it's much harder to go in that direction because you have less guarantees. You aren't going to find a lot of "features" that either one supports that the other does not. However, many of TypeScript's implementations of the same features are less strict even with all of the strict flags on. Here's an example that came up just last week: https://gist.github.com/thejameskyle/24a4e32be4899419e53eec655e538a7f https://gist.github.com/thejameskyle/24a4e32be4899419e53eec6... (Note: This is not a bug in TypeScript, it's a design decision) Because Flow is more strict than TypeScript it's much easier to convert from Flow definitions to TypeScript definitions.
        thorn0asdf 10y ago
        It should be much easier to implement a "TS definition source files (.d.ts) => Flow" converter than generic "TS => Flow". The language in .d.ts is a small subset of TS. Are your explanations about Flow's strictness really applicable to this subset? See https://github.com/Microsoft/TypeScript/blob/master/doc/spec.md#111-programs-and-source-files https://github.com/Microsoft/TypeScript/blob/master/doc/spec... > Here's an example that came up just last week: [...] (Note: This is not a bug in TypeScript, it's a design decision) I believe this design decision isn't final, but again: what difference does this example make if we're talking just about type declarations?
        smt88 10y ago
        I had these same thoughts, but I decided to just drop it. The Flow team doesn't seem nearly as interested in usability/adoption as the TypeScript team (perhaps an issue of resources/bandwidth). Even if I like Flow's philosophy better and the type system was better-designed until recently, the TypeScript community and ecosystem trump any benefits of Flow at this point.
        thorn0asdf 10y ago
        However that may be, I am really curious to see an example of an unconvertible type definition.
    - eyko 10y ago
      I very much doubt many package publishers will do this. Most users (if not all) that ask for TypeScript definition files support are doing so because they want to take advantage of DefinitelyTyped / @types going forward. However, any tools that can help us write once and use in both Flow and TypeScript will definitely be well received.
- m1sta_ 10y ago
  Are there any IDEs or code editors on Windows which leverage Flow at the moment?
  - jesseschalken 10y ago
    Try Atom+Nuclide. With Flow now supported on Windows, it might work.
jesseschalken 10y ago
Am I correct in saying that the Hack and Flow typecheckers share a lot of code? If so, does this mean that Hack typechecking on Windows could be next?
- gabelevi 10y ago
  Yep, you are correct! The hardest parts of getting Flow and Hack to build on Windows are solved. For Hack, there's probably a long tail of small issues before a Windows build can be released, though. Is Hack on Windows something that you'd use? Or are you asking out of curiosity?
  - jesseschalken 10y ago
    It is. We have a large codebase we would like to migrate to Hack, but we also have a lot of developers who use Windows and the current experience with needing to boot a virtual machine just to check types doesn't really cut it.

23 points by thejameskyle 10y ago

Hi HN, just wanted to let you know that the Flow team is watching this thread and is happy to respond to any questions that you have :)

smt88 10y ago
Any update on support for using TypeScript definition files with Flow? It doesn't seem as though the team is still watching the issue on Github: https://github.com/facebook/flow/issues/7 https://github.com/facebook/flow/issues/7
- thejameskyle 10y ago
  We've actually been discussing going the other way with a conversion tool for package publishers. Flow has a more sound type system and it's easier to downgrade than upgrade. The next few months should hopefully start seeing a lot of new tools for managing and publishing types within the community. It would be great to see more adoption from package owners themselves.
  - smt88 10y ago
    > conversion tool for package publishers I'm not sure I understand how that's different from just supporting TypeScript definitions. Couldn't the conversion tool just be built into Flow so that it works transparently for the user? Or are you saying human intervention is required? > Flow has a more sound type system Can you elaborate? What are the features of Flow that aren't present in TypeScript and would result in lossy conversion?
    - thejameskyle 10y ago
      It's not a trivial task for either Flow or TypeScript to support definitions of one another. We've attempted to build a TS => Flow conversion tool, but it's much harder to go in that direction because you have less guarantees. You aren't going to find a lot of "features" that either one supports that the other does not. However, many of TypeScript's implementations of the same features are less strict even with all of the strict flags on. Here's an example that came up just last week: https://gist.github.com/thejameskyle/24a4e32be4899419e53eec655e538a7f https://gist.github.com/thejameskyle/24a4e32be4899419e53eec6... (Note: This is not a bug in TypeScript, it's a design decision) Because Flow is more strict than TypeScript it's much easier to convert from Flow definitions to TypeScript definitions.
      - thorn0asdf 10y ago
        It should be much easier to implement a "TS definition source files (.d.ts) => Flow" converter than generic "TS => Flow". The language in .d.ts is a small subset of TS. Are your explanations about Flow's strictness really applicable to this subset? See https://github.com/Microsoft/TypeScript/blob/master/doc/spec.md#111-programs-and-source-files https://github.com/Microsoft/TypeScript/blob/master/doc/spec... > Here's an example that came up just last week: [...] (Note: This is not a bug in TypeScript, it's a design decision) I believe this design decision isn't final, but again: what difference does this example make if we're talking just about type declarations?
        smt88 10y ago
        I had these same thoughts, but I decided to just drop it. The Flow team doesn't seem nearly as interested in usability/adoption as the TypeScript team (perhaps an issue of resources/bandwidth). Even if I like Flow's philosophy better and the type system was better-designed until recently, the TypeScript community and ecosystem trump any benefits of Flow at this point.
        thorn0asdf 10y ago
        However that may be, I am really curious to see an example of an unconvertible type definition.
  - eyko 10y ago
    I very much doubt many package publishers will do this. Most users (if not all) that ask for TypeScript definition files support are doing so because they want to take advantage of DefinitelyTyped / @types going forward. However, any tools that can help us write once and use in both Flow and TypeScript will definitely be well received.
m1sta_ 10y ago
Are there any IDEs or code editors on Windows which leverage Flow at the moment?
- jesseschalken 10y ago
  Try Atom+Nuclide. With Flow now supported on Windows, it might work.

jesseschalken 10y ago

Am I correct in saying that the Hack and Flow typecheckers share a lot of code? If so, does this mean that Hack typechecking on Windows could be next?

gabelevi 10y ago
Yep, you are correct! The hardest parts of getting Flow and Hack to build on Windows are solved. For Hack, there's probably a long tail of small issues before a Windows build can be released, though. Is Hack on Windows something that you'd use? Or are you asking out of curiosity?
- jesseschalken 10y ago
  It is. We have a large codebase we would like to migrate to Hack, but we also have a lot of developers who use Windows and the current experience with needing to boot a virtual machine just to check types doesn't really cut it.