Matt Diephouse

bimap should be able to throw if a value can't be converted

1

For instance, integer multiplication would require division with no remainder. Given `a * b == 12` where `a` and `b` are integers, `b == 7` shouldn't unify.

In order to optimize based on constraints, we need to be able to inspect constraints to some extent—instead of immediately evaluating them.

Use Result

1

`try`/`catch` will work well in some places yet, but it'd be nice to have the types and it will enable some source improvements.

Better error for misconfigured git submodule

1

**Steps to reproduce** 1. `mkdir tmp` 2. `cd tmp` 3. `git init` 4. `echo 'github "antitypical/Result"'>Cartfile` 5. `carthage update --use-submodules --no-build` 6. `git add .` 7. `git commit -m 'Initial'`...

Generate xcfilelists for copy-frameworks for Xcode 10

16

Xcode 10 has a new `xcfilelist` file type that can be used to specify the input and output files for _Run Script_ build phases. We should generate these files so...

Jump back/forward 15 seconds

1

I'd love to have jump back/forward 15s controls on video playback. This is useful for: * "What'd they just say?" * "Yeah, yeah, I already know this" * "Interesting. Let...

https://github.com/octokit/fixtures These could supersede our own test fixtures?

Decoding subclasses

15

I'm trying to convert some code to use Argo, and I'm getting stuck where the existing code uses subclasses. I can't get type inference to pass. If anyone knows how...

https://github.com/ReactiveCocoa/ReactiveCocoa/issues/2781