David Chambers

I recall being unable to export the `Maybe` type due to a name conflict with [`S.Maybe`][1]. I don't know whether there's a workaround for this problem (my TypeScript knowledge is...

Haskell has polymorphic literals: ```haskell Prelude> 1 :: Int 1 Prelude> 1 :: Float 1.0 ``` Haskell also has polymorphic functions: ```haskell Prelude> pure 1 :: [Int] [1] Prelude> pure...

The solution proposed in your edited comment sounds ideal, @edgarjrg! Could you submit the change to [vicrac/DefinitelyTyped][1]? That would get us significantly closer to releasing new type definitions. :) [1]:...

I second the [fp-ts][1] recommendation (for TypeScript projects). :thumbsup: [1]: https://gcanti.github.io/fp-ts/

I'm very interested to see this. It's not something I plan to work on at this stage as I'm focused on the existing modules (`sanctuary`, `sanctuary-def`, and the nascent `sanctuary-type-classes`)....

@mnn, I bet others would contribute if you were to start writing the TypeScript type definitions. :smile:

That looks like a good start, @mnn!

I have only used Sanctuary in vanilla JavaScript projects. My experience is consistent with your imaginings, @tycho01: the combination of run-time type checking and unit tests catches many type errors.

I'm pleased to hear you've been making good progress, @mnn. :) By the way, [`meld`](https://github.com/sanctuary-js/sanctuary/tree/v0.11.1#meld) was removed in #280 so won't cause you problems for much longer. I understand that...

> Another possibility would be to include the typings in the Sanctuary repository (that's the preferred way, but not always possible - not every JS library wants TS typings bundled)....