研究実績の概要 |
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.
|