2022 Fiscal Year Annual Research Report
Tagless-final DSL embedding: how to keep extending the language and be sure it will still work
| Project/Area Number |
17K00091
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
Kiselyov Oleg 東北大学, 情報科学研究科, 助教 (50754602)
|
|---|
| Project Period (FY) |
2017-04-01 – 2023-03-31
|
| Keywords | DSL / domain-specific language / tagless-final / denotational semantics / algebra |
|---|
| Outline of Annual Research Achievements |
The project was completed by March 31, 2020. Please see that year's final report for the summary of the results. However, because of COVID-19, I could not present all of the attained results at scientific meetings. Therefore, the period of this KAKENHI was extended (twice), for the sake of travel to conferences.
In 2022, I could finally attend international conferences (ICFP and LENLS) and present my results, some of which have been further developed since 2020. The tagless-final approach underlies Strymonas -- the highest performance single-thread stream processing library -- whose version 2.0 was released in 2022 and reported at the OCaml workshop (part of the ICFP event). Also reported was solving a long-standing problem in heterogeneous metaprogramming: general offshoring with mutable variables. The tagless-final approach was instrumental for prototyping and constructive proofs of correctness. Applications of the tagless-final approach to natural language semantics have also been developed further: with the master student (now graduated) we extended the so-called polynomial event semantics to quantified relative clauses. The tagless-final approach was used for prototyping and running the examples.
|
