David Chambers

Very cool, @nkrkv! I look forward to trying hm-def.

> [I]s there anything `sanctuary-def` is used to express/represent that is not able to be represented in Hindley-Milner or is it intended to be one-to-one? It is intended to be...

Let's just say that my system for managing my inbox is imperfect. :zany_face:

This is new to me, but I can at least provide the Sanctuary translation of the Haskell code: ```javascript const arg = S.flip (S.map); const ret = S.map; const reduce$...

I don't think this makes sense. Here is the type of `take`: ```haskell take :: (Applicative f, Foldable f, Monoid (f a)) => Integer -> f a -> Maybe (f...

The hypothetical `TypedArray` type is problematic because it would allow `takeTypedArray` to take a `Uint8Array` but return a `Maybe Float64Array`. The [simplest][1] solution would be to define a specialized function...

Good question, @antonygunawan94! I know of Deno, but I have not yet used it. What changes are necessary for Sanctuary to work in that runtime, do you know?

Thank you for compiling this list, Aldwin. :)

I agree that either of these functions would be a worthwhile addition. The monoidal function seems more natural to me.

Thank you for reporting this problem, @toolsh. Using Sanctuary in TypeScript projects is currently problematic. TypeScript's intentionally naive left-to-right type resolution algorithm interacts poorly with Sanctuary's “data-last” API, and hacks...