Paul Chiusano

On Share, direct dependencies are preferred: https://share.unison-lang.org/@unison/routes/code/releases/6.2.2/latest/terms/Route/test/harness/doc That is, even though there is a transitive dependency for a different hash called `parseOrBug`, that doesn't matter, because Share prefers the direct...

Remove eta expanded ability operation in docs

4

```` {{ ``` Stream.toList! ’let foreach Stream.emit [“duck”, “rabbit”, “beaver”] }} ``` ```` This shows `_eta -> Stream _eta` in the rendered form of the example.

Effect encapsulation + parametricity

10

Some old notes from talking with Jonathan Brachthäuser at ICFP 2018. He pointed out that if you have a HOF that takes an effectful fn, f, as arg which is...

Implement suggested performance improvements for `text.find` / `grep`

2

See comments from @ChrisPenner on this PR https://github.com/unisonweb/unison/pull/5362 which I saw after it had already been merged. They all sound good to me but I'm swamped at the moment. Someone...

`todo` should ignore things to do in `lib` directory?

1

I think yes: you can always `cd lib` if you specifically want to see whether your dependencies are curret wrt a patch. ``` .distributed.topics.baseupdate> todo lib.base_new.patch 🚧 The namespace has...

`namespace.delete` should not preserve history

1

@SystemFw ran into this recently. We changed `move.namespace` to not preserve the history, and I think the same reasoning applies here (I can't find the ticket at the moment). For...

Customizing universal serialization or ordering via explicit View and Quotient types

2

Not sure what I think of this idea but just writing it up. The general idea is to have a couple special types that Unison knows about which allow the...

Implement optimized versions of Json-related functions

5

Following https://github.com/unisonweb/unison/pull/5634 instructions, implement optimized versions of these functions: https://share.unison-lang.org/@unison/json/code/releases/1.3.0/latest/terms/core/Json/toText https://share.unison-lang.org/@unison/json/code/releases/1.3.0/latest/terms/core/Json/tryUnconsText

Spurious ability check failure here

4

```haskell foo : forall g . ('{g} () ->{g} ()) -> Nat foo g = todo g wat : ('{IO} () ->{IO} ()) ->{} Nat wat f = foo f...

Destructuring bind gets rendered sometimes with extra `let`

7

Noticed by @SystemFw I'm not sure when this happens exactly since I've also seen it render correctly without the `let`.