James Cheney
James Cheney
As suggested by @dhil in today's meeting, effects and handlers are now at a sufficient level of maturity to be enabled by default. This would ensure that any regressions involving...
The recently-added extension to support effects and handlers still needs to be documented. The wiki page here: https://github.com/links-lang/links/wiki/Effects-and-Handlers should be filled in with at least: - explanation of how to...
Consider the following (contrived) program: ``` mutual { fun bar() { 42 } fun baz() { 17 } fun foo(f){ f() } } foo(bar) ``` This should call foo, then...
Collapse the type structure into a single monolithic OCaml data type.
Harvested from #895 and other wishful thinking: * more examples * language integrated create table, other ways to make it easier to play with examples * use the Links Serial...
As noted in #1143, the relational lens subsystem could be refactored or merged into the core Links code, avoiding a number of complications.
This is a proposal to address #761 (which calls for typechecking nested query results to ensure that they are sensible nested types) and (the typechecking part of) #1127 (which calls...
Thanks to #1133 it is now possible to write local / anonymous functions that have client or server annotations. Such functions need not be closed, for example: ``` fun foo(x)...
As mentioned in `desugarLAttributes.ml` (written around 7 years ago): ``` (* TODO: Either disallow l:href and l:action in client-side XML or, more usefully, provide proper support for sending client-side closures...
It is straightforward (at least conceptually) to allow nested records in query results for any of the current query policies: the shredding/nested query code contains a transformation to do this...