links
links copied to clipboard
links-lang
Links: Linking Theory to Practice for the Web
Currently, the server refuses to serialise alien values, meaning a program like the following fails to load at runtime ```links alien javascript "/ffi/impl.js" g : () ~> (); var ffi...
It is frequent when interfacing with JavaScript code to need to handle objects that do not have a Links type. They pass through Links via some alien JavaScript API, but...
The JavaScript compiler should take advantage of the type information available to select native and efficient versions of equality, relational, and string operations whenever possible.
We used to have a direct-style JavaScript compiler. It would be good to have a direct-style JavaScript compiler again. It obviously wont be able to compile many features of Links...
links> var x=5; x = 5 : Int links> 1
OCaml 5.00 is due to be released later this year. This release brings effect handlers to OCaml, and thus a native mechanism for programming with control. In the long term...
It isn't possible to write negative float values without using `-.` syntax, even though the output does not use that syntax. ``` links> var y= -.0.328; y = -0.328 :...
(Prerequisite: #888 ) Trying to run: ``` fun tableLength3() server { query nested { length(for (x
There is a difference in type inference on effects between the compile mode and the REPL mode. (Links v0.9.5, bbe94c9) - When compiling concurrency.links (examples/handlers), there is a unification error...
Links supports SQL's `COUNT` when the list `length` function is used in queries. Other aggregation functions could be supported the same way, e.g. `SUM`, `AVERAGE`, `MAX`, `MIN`. Together with deduplication,...
