Bas van Dijk

Basically I forgot about it. What would help the issue is: - see if we can base it on the current monad-control (based on associated type synonyms). - prove with...

As [mentioned](https://www.reddit.com/r/haskell/comments/5fbthi/scientific_base10_exponent_conversion/dalupd0/) on /r/haskell: I'm not entirely clear on what you want to accomplish. But if you want to convert scientific values to a fixed precision you can just use...

I'm thinking of adding the following function: ```haskell toBoundedFractional :: (Fractional a) => Integer -- ^ low bound -> Integer -- ^ high bound -> Scientific -> Maybe a toBoundedFractional...

Yes, this is unfortunate. `Scientific` uses an `Int` to represent the exponent so it suffers from the same integer overflows that `Int` suffers from. I've an old TODO to switch...

I started doing some work on this on the [integer-exponent](https://github.com/basvandijk/scientific/tree/integer-exponent) branch.

Note the type of `liftWith`: ``` haskell liftWith :: Monad m => (Run t -> m a) -> t m a type Run t = forall n b. Monad n...

I'm beginning to suspect it's impossible to implement a `concurrently` (and probably a `race` to) which satisfies the spec of: ``` haskell concurrently left right = withAsync left $ \a...

> I will give it another try tomorrow but I suspect I won't succeed The latest commit actually passes the troublesome test-case.

> however: since get will block on an empty future, it seems this definition would make spawn block until the child computation is finished, allowing for no parallelism. No, `spawn`...

Arguably what makes most sense is that when an asynchronous exception gets thrown to one of the threads then it should also be thrown to the other. So what about:...