Asad Saeeduddin

@anurbol A simple definition of Functor in pseudo-TypeScript would be: ```ts type Functor = { map: (f: (a: A) => B) => (fa: F) => F } ``` In other...

@davidchambers do we have a `swapEither :: Either a b -> Either b a` function? This sort of thing might be better handled by a lens library, but absent a...

@davidchambers Right, there's a number of different alternatives here. FWIW I think going down the road of exhaustively comparing all these alternatives would swamp the PR, and I think the...

Another interesting example, motivated by recent discussion in the Gitter: ``` foldMap' f = ((arg . ret . arg) f foldl) mappend mempty ``` i.e. we can make a `foldMap`...

Note that my tests were run with Node JS (specifically version 10.6.0). Results may not be representative for other runtimes like the browser (or even for other Node JS versions).

@JacquesCarette Ah yes, a "weak 2-monad" is what I meant indeed. Somewhat confusingly, the relevant equipment includes pseudonatural (and not lax natural) transformations...

@mingwandroid Any chance of getting #350 merged? This would be useful for other people who want to use mingw native-Windows binaries without changing their development workflow.

FWIW there's an existing https://github.com/regnat/ptyx project that attempts to add a type system to Nix.

You can take a look here: https://github.com/spacchetti/spago/blob/master/package.yaml. The ghc options bit for both executables specifies that flag. On Mon, May 27, 2019, 4:52 AM Nicolas Mattia wrote: > Interesting, can...

I changed: ```yaml executables: spago: # ... ghc-options: - -main-is Spago # ... spago-curator: # ... ghc-options: - -main-is Curator # ... ``` to: ```yaml executables: spago: # ... ghc-options:...