James Cheney

Snoozing until post-0.9.0

Last year we deferred resolving this to after release 0.9.0. As of now, the first two examples described by Daniel (IMO correctly) yield an "unbound module" error, while the third...

OK, we should revisit this after the types refactor is complete.

Is this closed by #427?

- [X] Isolate REPL code from links.ml (DONE #427) - [ ] Reorganize file processing

Planned first step in this direction: change interface for returning values from the database to return string options (in OCaml) instead of punning NULL as the empty string.

Concrete proposal: 1. Add `null`, an expression that can be of any base type (in a databaseable effect), and null-sensitive functions such as `isNull`, `isTrue`, `isFalse`, maybe exact equality (which...

One wrinkle occurred to me: what to do about nested query results (i.e. shredding). Assuming nulls are only possible at base types, I think the same idea works but needs...

I think we already encountered situations where type checking/inference is not idempotent (cf #732), i.e. rerunning it on something gives different results, and there is discussion that it would be...

As of 2b26e2fe59a647cb08382bbe26f3fa35c37887f1 we are now doing this for just the `prelude.links` (not for all examples). So, I propose we close this, since there currently doesn't seem to be a...