DefinitelyMaybeTyped

TypeScript adds a static typing scheme to JavaScript.
DefinitelyTyped provides a large repository of TypeScript definition files for JavaScript libraries.

The burning question is can TypeScript definitions be usefully converted to OCaml for use with js_of_ocaml?

There are three parts to this

1. Parse the TypeScript definition files
2. Define a mapping from the TypeScript to OCaml type system.
3. As automatically as possible do the conversion

Status

A rough and ready parser which can successfully parse the whole DefinitelyType repository.

Starting to consider how to convert to ocaml.

Known issues

• Terrible error localisation