links
links copied to clipboard
links-lang
Links: Linking Theory to Practice for the Web
While looking at #1124, I noticed that record extension only works for record literals in the query evaluator. The issue is that there is no representation of record extension in...
Using the valid-time database from `tests/shredding/validtime.links`, the following error occurs when using the temporal data projection function to select a field for sorting: ``` links> query nested { for (x...
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...
(Unsurprisingly) temporal tables and distinct/dedup don't play nicely together ``` links> query mixing { for (x length(query mixing { dedup(for (x
In patch #1015 we added tags to server side values in order to make it easy to deserialise them on the client side. Currently, client side values are passed as...
The task is to implement (user-definable) default handlers, a useful abstraction for modular programming. A default handler provides, as the name implies, a default interpretation of one or more given...
The implementation of event handlers in Links depends on the deprecated property `window.event` (c.f. https://developer.mozilla.org/en-US/docs/Web/API/Window/event). Links exposes this property via a built-in global variable called `event`. Ideally, we do not...
Patch #1087 refactors the JavaScript runtime. It is only an initial refactoring that compartmentalises and modularises code. The refactoring is particularly crude with regard to mailboxes, access points, and channels...
Distributed delegation (sending channel endpoints over channel endpoints in a distributed setting) is currently implemented using a distributed algorithm loosely based on https://www.doc.ic.ac.uk/~rhu/sessionj/hyh08session-based.pdf. (The issue is that sending a receive...
The `Html` type in the MVU library allows HTML components to be rendered, but it does not support the generation of components that have no HTML counterpart - such as...
