Paul Chiusano
Paul Chiusano
This sounds like a good idea, except what do we do about all the code that's specialized to `()` with a type signature like `'{IO} Blah` ? Maybe nothing, and...
Idea: the hash of a term should include that term's type. If the term doesn't have a user-provider signature, then that should be added before hashing. If it does have...
@pchiusano to schedule a time to discuss this one
`update` should maybe warn you if it's not any updating anything - to prevent adding to a new namespace Also if we have `namespace` blocks then it doesn't matter where...
Current design and some commentary is here: https://gist.github.com/pchiusano/548032b98d5d6b29cb4314421a231a42
Just discussing this with @aryairani and we came up with a few ideas to keep the default patch super clean: * The default patch should only contain things that pertain...
Good idea. I think we can just have `Float.Infinity : Float` and `Float.NegativeInfinity : Float` and `Float.NaN` as builtins, and then the pretty-printer can use the names for these builtins...
https://github.com/unisonweb/unison/blob/trunk/docs/adding-builtins.markdown is (I think?) mostly up to date if you feel like having a go at this one. :)
@philderbeast ah that's a good point, if we just have a bitwise cast from `Float` to `Nat` then we can just write these in pure unison. I think I like...
This needs a discussion with @hojberg, @runarorama and @pchiusano to figure out how important it is and next steps, given that it seems like it will require a new repo...