TS/flow typings?

Gitter:

@tycho01: afaict, there have not been attempts yet to write up TypeScript definitions for Sanctuary, correct? Has this just not been on the radar so far or might it be problematic with their type system? @davidchambers: More the latter I would say, @tycho01. I don’t think it’s currently possible to express types such as Functor f => (a -> b) -> f a -> f b in TypeScript. That said, @gcanti is doing things with Flow in https://github.com/gcanti/flow-static-land that I didn’t think possible, so there’s hope. 😃

I was thinking it might be useful to put this out here, so we could consolidate questions/issues and perhaps check for solutions with the TS/flow team.

Potentially relevant (TS):

• TsMonad
• SO: functor in typescript

[gcanti]

Hi all,

I wrote a first draft of the definition file for Flow, you can find it here.

Contributions, tests and PRs are warmly welcomed.

[ikatyang]

Looks like you need some tools to test types:

• run typescript compiler directly
  • impossible to write failing tests
• dts-lint (DT tests this way)
  • behave as linter rule
  • failing tests avaliable ($ExpectType type, $ExpectError ErrorMessage)
• typings-checker
  • one time test, output results
  • failing tests avaliable ($ExpectType type, $ExpectError ErrorMessage)
• dts-jest
  • watching mode avaliable, using snapshot testing from jest
  • failing tests avaliable (@dts-jest:pass, @dts-jest:fail)
  • actual tests avaliable (//=> value)
  • can generate diff-friendly file for comparing