Paul Chiusano comments

Results 163 comments of


                                            Paul Chiusano

Property test with 6+ uses of a generator locks up

Observation on this: ``` > sample 1 '(List.replicate 30 nat) ``` Is very snappy, but replacing `nat` with `int` takes forever for any value of n > 5. Taking a...

Add practical examples to abilities tutorial

This is on my list to review, sorry for the delay!

link to https://github.com/unisonweb/unison on webpage

It is linked from the home page, but you have scroll down a little (see below). Maybe we can make it more prominent or make it a top toolbar link...

Stream functions

@anovstrup this looks great so far, let us know when it's ready for review. One note - we just rebooted the history of base so for your next PR be...

Track Unison libraries in a manageable database

@anovstrup I added this page https://www.unisonweb.org/docs/libraries/ and the site search bar will locate packages listed there (screenshot of this in action below). I feel like that might be fine for...

feat: better merge algorithm

ITS HAPPENING!!! 🚀🎉

feat: better merge algorithm

Yay!!!!!

Docs on Unison Share no longer shorten names for data constructors

@ChrisPenner can you take a look at this one? Or delegate to someone who you think knows this code better if that's not you. The current logic for computing constructor...

Resolve issues with `Nat`/`Int` in Scheme

Update on this, we did a more detailed design review and came up with a better solution, [Idea 3](#idea3) below. Benchmarks confirm this is just as fast as using the...

Bring back `namespace` blocks and allow them to contain type decls, term defs, etc

We determined that by adding some extra stuff to `ParsingEnv`, we could make it so namespace blocks can have type decls, term decls, `use` statements...