links
links copied to clipboard
links-lang
Links: Linking Theory to Practice for the Web
It's often the case that we want to change page as a result of, say, clicking a button in an MVU application. Currently we just use `redirect` directly as Links...
This issue collects tasks / minor improvements to the low level SPARQL querying function. [ ] rdf and some other libraries are added as hard Links dependencies. It would be...
Provide basic/minimal support for querying SPARQL endpoints in a stringly-typed way, c.f. [1] ``` var query = "SELECT * WHERE {?s ?p ?o} LIMIT 10"; var url = "http://statistics.gov.scot/sparql"; var...
#1172 deletes distributed session delegation due to its complexity. It would be nice to re-enable this by allowing the option of creating channels as relocatable -- i.e., stored on the...
The pretty printer emits session types that cannot be typesetted by the programmer, e.g. ```links links> fun mkChan() { fork(fun(ch) { var ch = send(42, ch); close(ch) }) }; mkChan...
Compiling Links with the recent version v0.16.0 of `ppx_sexp_conv` causes many warnings such as the following (which are treated as errors for the purposes of CI) ``` File "lens/column.ml", lines...
[This blog](http://gallium.inria.fr/blog/safely-typing-algebraic-effects/) gives a good example showing the restriction to expressiveness of using row polymorphism for the effect system. In Links, the same problem happens with some slightly modification. Consider...
This PR is a rebase of #1148 on top of the latest changes to `master` -- in particular those made to effect handlers. This PR also generalises the previous work...
The following program triggers an internal error in the type checker (during the construction of an error message). ```links typename S(e::Eff) = () ~e~> (); sig r : (S({ |e}))...
This patch makes it possible to declare abstract types in Links, e.g. ```links typename MyAbstractType; typename MyParameterisedAbstractType(a,b,c); ``` The primary motivation for adding them is to be able to give...