プログラミング言語へ新たな機能を提案することで、既存の言語では意図を表しづらかったり、複雑化しがちである実装をシンプルに表せるようにしています。この研究によりプログラムの可読性や検証の容易性を向上させることを目標としています。
