The SimpleLanguage, abbreviated “SL”, is a dynamic demonstration language. It was built using Truffle for the GraalVM at Oracle Labs. A specification of SL in DynSem has been given by Vlad Vergu. Its CBS illustrates how dynamic bindings can be translated to funcons.
The start of the specification of SL in CBS is at SL.
This CBS specification of SL has been prototyped using a funcon interpreter generated using the Haskell package Funcons Tools.
- abstract syntax: complete, derived from [SL in SD3]
- dynamic semantics: complete except for ‘defineFunction’, ‘stackTrace’, ‘nanoTime’
- static semantics: not relevant
- disambiguation: complete, derived from SL in SDF3
- 15 small programs
- medium coverage (to be verified)
- first version
Reuse of funcons:
- dynamic language, dynamic binding, imperative, disambiguation
- Peter Mosses
- previous: Vlad Vergu
Table of contents