TypeScripts Type System Is Turing Complete
Not entirely on topic, but I&#x27;m curious if anyone could comment on the similarities and differences between TypeScript and Flow in their more recent iterations. I&#x27;ve been doing a bit of research and it seems like they&#x27;ve grown to become fairly similar in terms of syntax and overall capability, but I&#x27;d love to hear if anyone has compelling reasons as to why you&#x27;d choose one over the other.<p>Lately, I&#x27;ve been evaluating Relay Modern for a new project, and one of its new features is the ability for the Relay Compiler to generate Flow type definitions based on your GraphQL schema, which makes for a very compelling case to choose Flow if I were to go with Relay Modern for the project. Are there similar tools for generating TypeScript or Flow type definitions from GraphQL schemas for use in the Redux + Apollo ecosystem?<p>Also, do either type system have a story for leveraging type definitions to perform generative testing like you could in Clojure with Spec?