links
links copied to clipboard
links-lang
Links: Linking Theory to Practice for the Web
Collapse the type structure into a single monolithic OCaml data type.
(this is a history clean version of @Orbion-J's PR #1150). This PR changes the syntax for handlers. Instead of ```ocaml handle (...) { case Op(params, resumption) -> ... case Return(x)...
Currently Links supports a few optimisations such as dead code elimination and inlining. However, the state of those optimisations is questionable as they have not be maintained for years (maybe...
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 PR will (eventually) add to Links the ability to generate SQL queries with grouping and aggregation. Currently, it merely adds grouping syntax and refactors the normalisation of comprehensions, in...
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...
Enabling - `effect_sugar=true` - `effect_sugar_policy="presence_omit,alias_omit,contract_operation_arrows,arrows_curried_hide_fresh"` causes the following code produces an internal error. ```links links> typename Id(a, e::Eff) = (a) { |e}-> a; Id = a,b::Eff.(a) -b-> a links> sig...