links
links copied to clipboard
links-lang
Links: Linking Theory to Practice for the Web
DesugarInners cannot supply proper type args for calls to mutually recursive, polymorphic functions
Consider the following program: ``` mutual { fun f1() { () } fun f2() { f1() } } ``` This translates to the following, ill-typed IR: ``` (Ir.Rec [{ Ir.fn_binder...
@jamescheney's comment on #966 prompted me to look into places where we parse, use, and reconstruct database arguments strings. To my surprise it turns out each database driver is equipped...
Links queries assume a "pure" (2 valued logic, no nulls) semantics, whereas real SQL and databases use 3 valued logic and nulls. Other LINQ systems, such as C# or F#,...
During the refactoring of the type structure #637 we collapsed the type structure into a single monolithic data type. This change trades static well-formedness guarantees in favour of making the...
As mentioned in #934 the way supporting javascript libraries get distributed could be improved - the fix to make the MVU files be installed in the right place was characterized...
This is an issue to track improving the Links testing structure. Currently Links mainly makes use of an ad hoc test harness which performs the equivalent of a "system test"...
cf. #946
Our implementation of union-find was "borrowed" from here: https://yrg.gitlab.io/homepage/static/public/mini/ Francois has recently released an opam package `unionFind` that provides similar functionality as an opam package. Its interface is similar, though...
Relatedly to the discussion of `addRoute` in #942, when/if we redesign the way client/server annotations work (for example to statically check locations), we should keep in mind that in Links...
Syntax that isn't documented - [ ] unsafe Built-in library functions that aren't listed in @builtins and not documented - [ ] addRoute (currently there is only wiki documentation) -...
