Daniel Hillerström
Daniel Hillerström
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...
Project idea: Use effect handlers to JIT compile (optimise and deoptimise) code. It is fairly straightforward to JIT compile in Links on the client side using the alien interface ```links...
GitHub has recently released a new "citation" feature. It makes it possible to generate "citation strings" for repository, c.f. https://github.com/citation-file-format/citation-file-format. We should consider whether we want to make this repository...
The `addRoute`-family of functions are anti-modular and at odds with the long term goal of moving towards separate compilation. In #938 I briefly made an argument for getting rid of...
Currently, it is not possible to invoke a client function, whilst inside the REPL. There are multiple ways to support this functionality. One possible approach is to spin a Node...
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.
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...