2020 Fiscal Year Research-status 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 – 2022-03-31
|
| Keywords | DSL / domain-specific language / tagless-final / denotational semantics / algebra |
|---|
| Outline of Annual Research Achievements |
The project was completed by Mar 31, 2020 (see that year's final report for the summary of the results). However, because of COVID-19 epidemic, I could not present all of the results: many of the conferences and other meetings were postponed or cancelled. The situation has not improved in 2020, and so the travel funds mostly remained unused and had to be postponed again.
I did attend a couple of meetings online and published a paper in J.Functional Programming (see the publication page). With a student we have been applying tagless-final approach to a high-performance stream library (preliminary results were presented at JSSST annual meeting).
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
研究実績の概要に述べた通り、立てた目標はすべて達成されました。 2020年度旅行できなかったが、研究結果を雑誌など論文として発表してくる。
|
| Strategy for Future Research Activity |
達成された研究の結果を発表する
|
| Causes of Carryover |
当該事業の研究によって得られた結果を論文・会議で発表する予定です。2020年度内、参加したい適切な学会は新型コロナの影響で中止したので、2021年度での参加を考えています。
|
