KernelF (
http://voelter.de/data/pub/kernelf-re...) is a new functional language built by Markus Voelter (@markusvoelter) and itemis.de on top of JetBrains Meta Programming System MPS. This language is extensible (new constructs can be added to KernelF) and embeddable (KernelF can be used as the core of arbitrary other languages). I will give an overview of KernelF's features (e.g. unconventional numeric types, type tags, effect tracking, attempt types and error handling, natural language function calls), explain some intricacies of its type system and discuss how KernelF can be embedded into domain-specific languages (DSLs). I will explain how JetBrains MPS can be used to implement DSLs that are based on KernelF.
Slides: https://www.slideshare.net/MikhailBar...
Slides: https://www.slideshare.net/MikhailBar...
KernelF: a functional core for domain-specific languages in JetBrains MPS – Mikhail Barash | |
6 Likes | 6 Dislikes |
786 views views | 1,162 followers |
Science & Technology | Upload TimePublished on 17 Sep 2018 |
Không có nhận xét nào:
Đăng nhận xét