Skip to content
This repository has been archived by the owner on Dec 4, 2018. It is now read-only.

Latest commit

 

History

History
90 lines (56 loc) · 2.73 KB

TODO.md

File metadata and controls

90 lines (56 loc) · 2.73 KB

ghcjs-typescript

  • Handle type "identical" relationship properly

  • Tuple types

  • Support "Rest" parameter in invoke functions

  • Function overloading

    • Specialized signatures

  • Optimize Rel by having it write down what it's already checked?

  • Synonym for ('Property f, t)

  • Follow excess properties for object literal creation https://github.com/Microsoft/TypeScript/commit/bf72629301f7b937673a51b54722f91465ac41e8

  • Use types generated from lib.d.ts. Once this happens, the following changes should be made:

    • Remove Array type

    • Consider how 'newObj' should handle the fact that {} extends Object

  • More functions for anonymous objects

    • Set 'Call member - is this possible?

    • Set 'Constructor member - is this possible?

    • Add indexing (need to follow signature rules + only have one index set)

  • Revisit safety decisions on FFI

  • Follow index signature rules: (for extends, TSS(7.1)) All properties of the interface must satisfy the constraints implied by the index signatures of the interface as specified in section 3.8.4.

    (TSS 3.8.4)

    • String index signatures, specified using index type string, define type constraints for all properties and numeric index signatures in the containing type. Specifically, in a type with a string index signature of type T, all properties and numeric index signatures must have types that are assignable to T.

    • Numeric index signatures, specified using index type number, define type constraints for all numerically named properties in the containing type. Specifically, in a type with a numeric index signature of type T, all numerically named properties must have types that are assignable to T.

  • Rules to revisit:

    • (TSS 7.1) The instance type (section 3.6.1) of the declared interface must be assignable (section 3.10.4) to each of the base type references

ghcjs-typescript-convert

  • Add prefix to module names from the definitely typed repo

  • Support imports between .d.ts. This is crucial because so many things depend on lib / d.ts

  • Support for module systems

  • Try to automatically figure out the javascript files being wrapped?

  • Concerns for code generation from TSS:

    • The apparent members of an enum type are the apparent members of the global interface type 'Number'.

    • The apparent members of an object type T are the combination of the following:

      • The declared and/or inherited members of T.

      • The properties of the global interface type 'Object' that aren't hidden by properties with the same name in T.

      • If T has one or more call or construct signatures, the properties of the global interface type 'Function' that aren't hidden by properties with the same name in T.

    • 8.3.3 Automatic constructors