A concurrent programming language with a linear type and effect system
A concurrent programming language with a linear type and effect system
LollyScript is a research language developed at the Software Languages Lab at the Vrije Unversiteit Brussel.
The name LollyScript was chosen because the type system of LollyScript is highly influenced by linear logic. One of the main operators in linear logic is the linear implication which is represented by the lollipop operator: ⊸
On this website you can try out LollyScript. LollyScript is still a first prototype of the language. Currently, the type system of LollyScript can be used to detect whether promises will be resolved.