Towards Incremental Language Definition with Reusable Components | Damian Frolich | Lambda Days 2022

Towards Incremental Language Definition with Reusable Components | Damian Frolich | PhD candidate at the University of Amsterdam

ABSTRACT
This paper introduces a novel method for defining software languages incrementally as the composition of smaller languages, starting from reusable components for the specification of syntax and semantics. The method is enabled by the combined application of several advanced techniques implemented in functional languages: datatypes `a la carte for the fine-grained composition of (abstract) syntactic categories and composable micro-interpreters that implement the operational semantics of certain reusable components known as ‘funcons’.

We demonstrate the method makes it possible to perform incremental language development with prototyping. The generality of the method is demonstrated through a variety of case studies.

Paper authors: Damian Frolich and L. Thomas van Binsbergen

• Follow us on social:
Twitter: https://twitter.com/LambdaDays
LinkedIn: https://www.linkedin.com/company/lambda-days/

• Looking for a unique learning experience?
Attend the next Code Sync conference near you!
See what’s coming up at: https://codesync.global

• SUBSCRIBE TO OUR CHANNEL
https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

Видео Towards Incremental Language Definition with Reusable Components | Damian Frolich | Lambda Days 2022 канала Code Sync