links
links copied to clipboard
Links: Linking Theory to Practice for the Web
The source code for the webserver looks like it was written in anger. It has grown into quite the mess which is difficult to extend. We should rewrite/refactor the webserver,...
Related to #1007. It would be useful to have a general program analysis for identifying whether IR values escape their defining scopes.
We're currently using `virtual-dom` as the VIrtual DOM library that powers the MVU library. This is now very old code, and should be replaced by something like [`snabbdom`](https://github.com/snabbdom/snabbdom). This should...
Right now can enable typechecking after each desugaring pass, however, if this is enabled in the test run done by CI, it times out because re-typechecking takes too long. We...
The following example illustrates the bug ```links sig f : (() {wild:Bool |e}~> ()) {wild:Int |e}~> () fun f(g) { g() }; f = fun : (() ~a~> ()) ~a~>...
Needless to say, performance has not been our primary concern in the past. Nevertheless, I think it is good to at least adopt some performance-awareness such that we do not...
Sam and I have discussed several times that we would like to interpret the expression `{ M }` as `fun() { M }`, since it is useful syntactic sugar for...
Following #900 we should disallow empty block expressions. Currently the following expression ```links fun() { } ``` desugars into ```links fun() { () } ```
Shadowing of let-bound names is broken in the REPL, when some redefinition of a let-bound name makes use of the previous definition. A few examples ``` links> var x =...