Marcus Blättermann

Is there any reason why `applyTo` is not implemented? Seems like a pretty straightforward function, while at the same time being super useful. I'd actually like to give it a...

@somebody1234 yes definitely meant just moving the types here. Rewriting Ramda in TypeScript would be more a hassle then it would be useful. Especially since you can't type a lot...

@adispring thanks for those texts. Some thoughts: > Bundling types does solve the problem of version mismatch Since this is the only point being made from the users perspective I...

> If ramda supplied its own types, wouldn't we want changes to the JS implementation to be blocked by corresponding updates to the TS types? Maybe it doesn't necessarily have...

Ah you are right, I was only considering dependencies of Ramda itself.

@ku8ar for simplicity sake I would't ignore the existance of Flow from this debate (at least on my side) — if we come up with a solution that also works...

@CrossEye thanks for chiming in and sharing you thoughts about this. While I'm definitely not an expert on HM-types, here are some thoughts, and some shots to answer you questions....

> Could we do something similar? I have no issue if we own that Functor definition, and something similar for other typeclasses we support -- that is simply part of...

There was a discussion with @sandersn from the TypeScript compiler team about an issue we had with dtslint on [Discord](https://discord.com/channels/508357248330760243/757992230077333655/957038832363122698). Long story short: While dtslint is quite useful to tests...

Another idea: have a file that has some pseudo TypeScript code, over which we let `tsc` run as part of the test suit and expect it not to error. ```typescript...