stereobooster/type-o-rama

👾 JS type systems interportability

Conversion table

Convert from X→ to →Y (X→Y).

	→TypeScript	→Flow	→Graphql	→JSON Schema	→Elm	→JSDoc	→Closure JSDoc	→Reason
TypeScript→	-	+		+		+	+	+
Flow→	+	-		+			😢	+
GraphQL→	+	+	-	+	+			+
JSON Schema→	📦	+	+	-	📦
Elm→	+				-
JSDoc→	+	+				-
JSON→	📦	📦	+	+	📦
Reason→	+	+						-
PureScript→	+	+
JavaScript→	+	+						+
PropTypes→	+	+
CSS Modules→	+	+
gRPC→	+	+	+	+	+
Thrift→	+
SQL→	+	+	+

Badge

If you want to show that your project was mentioned in type-o-rama you can use this badge:

[![type-o-rama](https://img.shields.io/badge/type--o--rama-%F0%9F%9A%80-blue.svg)](https://github.com/stereobooster/type-o-rama)

TypeScript

• try online
• cheat sheet
• type-coverage - A CLI tool to check type coverage for typescript code
• dtslint
• TSTools - Tools for developing TypeScript declaration files
• typewiz
• Advanced Static Types in TypeScript

TypeScript to Flow

• flowgen

See also:

• Differences between Flowtype and TypeScript

TypeScript to JSON Schema

• typescript-to-json-schema
• typescript-json-schema
• typson
• typhen-json-schema

TypeScript to JSDoc

• ts2jsdoc
• ts2jsdoc last commit 16 May 2015

TypeScript to Closure JSDoc

• tsickle
• typescript-closure-compiler
• bolinfest/typescript
• --language_in=ES6_TYPED

TypeScript to Reason

• ReasonablyTyped

TypeScript to Dart

• js_facade_gen

TypeScript to Kotlin

• ts2kt

Flow

• try online
• cheat sheet
• flow-coverage-report - Generate flow coverage reports

Flow to TypeScript

• flow-to-typescript
• babel-plugin-flow-to-typescript

See also:

• Utility Types for TypeScript (provide compatibility with Flow's Utility Types)
• Differences between Flowtype and TypeScript

Flow to Reason

• ReasonablyTyped

Flow to Closure JSDoc

• 😢 no options here

Who needs it:

• mapbox-gl-js
• React

Flow to Prepack

• babel-plugin-flow-prepack

Flow to JSON Schema

• flow2schema
• babel-plugin-flow-to-json

Flow to PropTypes

• babel-plugin-flow-react-proptypes

GraphQL

GraphQL to TypeScript

• graphql-code-generator
• gql2ts
• apollo-codegen
• transform.now.sh

See also:

• typed-graphqlify. Build Typed GraphQL Query in TypeScript. Better TypeScript + GraphQL experience
• ts-graphql-plugin

GraphQL to Flow

• graphql-code-generator
• gql2flow
• apollo-codegen
• transform.now.sh

GraphQL to JSON Schema

• graphql-json-schema

GraphQL to Elm

• graphqelm, Comaprison with other packages
• elm-graphql

GraphQL to Reason

• graphql_ppx
• graphql-to-reason

JSON Schema

JSON Schema to TypeScript

• quicktype, 📦 cast
• transform.now.sh
• json-schema-to-typescript-browse

JSON Schema to Flow

• json-schema-to-flowtype-cli
• flowtypify
• json-schema-to-flow-type

JSON Schema to Graphql

• json-schema-to-graphql-types
• jsonschema-to-graphql

JSON Schema to Elm

• quicktype, 📦 Json.Decode

JSON Schema to gRPC

• jsonschema-protobuf

JSON Schema to SQL

• json-schema-table

OpenAPI

• OpenAPI

OpenAPI to TypeScript

• openapi3-ts

Swagger to TypeScript

• json-ts

Swagger to Flow

• json-to-flow
• swagger-to-flowtype

Elm

Elm to TypeScript

• elm-typescript-interop

JSDoc

JSDoc to Flow

• flow-jsdoc

JSDoc to TypeScript

• tsd-jsdoc
• typescript-closure-tools
• jsdoc-tsd

TypeScript JSDoc to TypeScript

• 😢 Allow --declaration with --allowJs
• 😢 TypeScript-flavored JSDoc issues

Who needs it:

• puppeteer

Closure JSDoc to TypeScript

• clutz

JSDoc flavours

• official
• Closure compiler
• TypeScript-flavored JSDoc
• ngdoc
• YUIDoc
• Leafdoc
• jsduck
• esdoc
• autodoc

See also:

• State of documentation.js
• documentation.js: See also

JSON

JSON to TypeScript

• MakeTypes, 📦 TypeScript Proxies
• quicktype, 📦 cast
• transform.now.sh, 📦 io-ts
• json-ts
• jsontots
• json2ts
• json2dts

JSON to Flow

• transform.now.sh, 📦 Sarcastic
• json-flow

JSON to Graphql

• graphql-schema-from-json
• json-to-graphql

JSON to PropTypes

• transform.now.sh

JSON to Elm

• json-to-elm, 📦 Json.Decode
• quicktype, 📦 Json.Decode

JSON to Scala

I suppose this can be used for Scala.js.

• transform.now.sh

JSON to JSON Schema

• quicktype
• json-to-json-schema

JSON to Reason

• ppx_deriving_yojson ?

Reason

• Get Started with Reason

Reason to TypeScript

• genTypescript

Reason to Flow

• Progress on that prototype for automatically creating Flow APIs for @reasonml
• genFlow

PureScript

PureScript to TypeScript

• purescript-ohyes
• purescript-tsd-gen

PureScript to Flow

• purescript-bismuth

JavaScript

Status of Static Typing in ECMAScript

JavaScript to TypeScript

• jstyper
• react-javascript-to-typescript-transform
• dts-gen

JavaScript to Flow

• genFlowFilesCommand

JavaScript to Reason

• rebind

PropTypes

PropTypes to TypeScript

• react-javascript-to-typescript-transform

JSX to TypeScript

• JSXtyper

PropTypes to Flow

• codemod-proptypes-to-flow
• proptypes-to-flow-codemod
• codemod-react-proptypes-to-flow
• proptypes-to-flow

CSS Modules

CSS Modules to TypeScript

• typed-css-modules
• friendly-typed-css-modules

CSS Modules to Flow

• css-modules-flow-types

gRPC

gRPC to TypeScript

• grpc-web
• protobuf.js
• ts-protoc-gen
• protobuf-js-typer

gRPC to Flow

• protobuf2flowtype
• protobuf-js-typer
• protoc-gen-flow

gRPC to GraphQL

• rejoiner (Java)
• gRPC-to-GraphQL-Adapter

gRPC to JSON Schema

• protoc-gen-jsonschema
• protobuf-jsonschema
• grpc-gateway - reverse-proxy server which translates a RESTful JSON API into gRPC. Optionally emitting API definition for Swagger.

gRPC to Elm

• elm-protobuf

gRPC to SQL

• protoc-gen-persist

gRPC to Scala

• ScalaPB

Thrift

Thrift to Typescript

• thrift-typescript

SQL

SQL to Typescript

• schemats

SQL to Flow

• database-types

SQL to GraphQL

• sql-to-graphql
• rdbms-to-graphql
• graphile
• postgraphile

SQL to gRPC

• go-grpc-sql

WebIDL

https://developer.microsoft.com/en-us/microsoft-edge/platform/catalog/ - checkout "Visualization" tab.

WebIDL to TypeScript

• TSJS-lib-generator
• idl2typings

WebIDL to Flow

• webidl-to-flow

Go

Go to TypeScript

• typescriptify-golang-structs
• struct2ts

Go to Flow

• go2flow

Kotlin

Kotlin to TypeScript

• ts-generator

Runtime types to static types

• type-profile for JavaScript
• MonkeyType for Python
• ruby-type-inference for Ruby

Runtime type system

Why do you need Runtime and Static type system together? See this discussion.

Compatible with TypeScript

• ts-runtime - TypeScript Runtime Type Checks Playground
• io-ts - TypeScript compatible runtime type system for IO validation

Compatible with Flow

• flow-runtime - Flow-compatible runtime type system for JavaScript.
• flow-io - (deprecated) Flow compatible runtime type system for IO validation

Incompatible with existing static type systems

• React PropTypes
• tcomb - Type checking and DDD for JavaScript
• hm-def - Runtime type checking for JS with Hindley Milner signatures
• ftor - ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging
• sanctuary-def - Run-time type system for JavaScript. See also sanctuary#254
• rfx - Self documenting runtime interfaces.
• rtype - Intuitive structural type notation for JavaScript.

See also:

• getdocs - Getdocs is not JSDoc
• ndoc - js port of pdoc, with extentions
• Algebraic Data Types in awesome-fp-js

Property based testing

Testing with TypeScript

• testcheck-js
• quickcheck-ts
• Type Test Scripts for TypeScript Testing

Testing with Flow

• babel-plugin-transform-flow-to-gen
• Randomized Testing in JavaScript Without Lifting a Finger
• jest-runner-flowtype

Incompatible with existing static type systems

• jsverify

Testing with Elm

• elm-check

Testing with Reason

• qcheck

Testing with PureScript

• purescript-quickcheck

Languages that compile to JS

(And not mentioned above)

• purescript
• scala.js
• fable, F# Language Reference

See also:

• List of languages that compile to JS
• Functional Languages that Compile to JavaScript

Schemas

• Awesome json: format extensions
• The Last JSON Spec
• schemaform

type-o-rama's Issues

The Elm Architecture

Language	Library	Counter	TodoMVC	hnpwa	code spliting	SSR	Runtime exceptions	Promise
Elm	built-in	+	+	+	no until 0.19	no until 0.19	+	Use Task instead of Promise
TypeScript	elm-ts	+	+		maybe	maybe	+
BuckleScript	bucklescript-tea	+			maybe	maybe	+	repromise, vow
PureScript	pux	+	+		I suspect not			aff-promise
Clojure	larch
Fable	fable-arch

• Elm 0.19
• learn-elm-architecture-in-javascript
• redux-modules-and-code-splitting
• fpreact
• jelms
• redux-loop

Fable?

There is a tool for going from TypeScript -> F# (Fable) https://github.com/fable-compiler/ts2fable

Can we add this to the chart?

Flow vs TypeScript vs Other

• If TypeScript is so great, how come all notable ReactJS projects use Babel?
• TypeScript-Babel-Starter
• typescript-vs-flowtype
• utility-types
• Statically typed JavaScript via Microsoft TypeScript, Facebook Flow and Google AtScript by Dr. Axel Rauschmayer 2014
• Inference engines: 5 examples with TypeScript, Flow and Reason

Who uses Flow:

• redux
• mapbox-gl-js
• react

Sad state of Flow tooling

• there are no decoder generators 📦, like for Elm Json.Decoders or TypeScript proxies. UPD tried to use io-ts for this, but starting from version 1.0 io-ts dropped Flow support
• flow-typed install is frustrating
• workflow around creating signatures is frustrating. You can generate definitions with flow gen-flow-files or flow-typed create-stub or you can create dinitions from TypeScript with flowgen, but it is so much effort to donate those signatures to flow-typed repo
• type errors can be really obscure and give no clue about what is wrong. Examples of how it supposed to be: BetterErrors for Reason or Elm
• there is no tool which can convert Flow signatures to Closure JSDoc to use in Google Closure Compiler with advanced mode
• For type definitions distributed with packages to be picked up automatically, you need to include node_modules in analysis, which makes process painfully slow.

Add https://transform.tools/

https://transform.tools/. Is it former transform.now.sh?