links
links copied to clipboard
links-lang
Links: Linking Theory to Practice for the Web
Hello, ### Context I am the main developer of [Timedesc](https://github.com/daypack-dev/timere) - a modern alternative to `calendar` essentially, and I was poking around at packages which depend on `calendar` out of...
The following program does not produce any output ``` fun run() { handle({ println(intToString(do Foo(40,2))) }) { case Foo(x,y,resume) -> resume(x+y) } } fun mainPage(_) { page Click me! }...
As suggested by @dhil in today's meeting, effects and handlers are now at a sufficient level of maturity to be enabled by default. This would ensure that any regressions involving...
The effect handlers extension adds two types of handlers: *deep* and *shallow*. They have their own syntactic form `handle(...) { ... }` and `shallowhandle(...) { ... }`. There is no...
The recently-added extension to support effects and handlers still needs to be documented. The wiki page here: https://github.com/links-lang/links/wiki/Effects-and-Handlers should be filled in with at least: - explanation of how to...
Currently, operation polymorphism is unsupported, nevertheless one can define an exception handler with the following type signature: ``` sig catch : (() {Fail:forall a.a |e}~> b) {Fail{_} |e}~> Maybe(b) fun...
This branch supports the new syntax for handlers, operation types and allow to write polymorphic operations. For this we have to annotate the cases in the handler with polymorphic operation...
This grants the possibility to define local labels, ie labels that can only be used in a specific scope. The user can define one or more local labels that will...
In the absence of a kind annotation Links assumes that a given type variable has kind `Type`. Consequently, one must explicitly declare the kinds of type variables with kinds other...
