Скачать или смотреть [HATRA'25] Types as a Specification Language for Creativity

Types as a Specification Language for Creativity (Video, HATRA 2025)
Youyou Cong
(Institute of Science Tokyo)

Abstract: Types allow us to write programs that are correct by construction. This technique has recently been applied to creative domains such as music and textiles. We aim to develop a general typed programming language for creativity. The main challenge involved is how to express soft rules that are pervasive in creative domains. As a potential solution, we propose to build a type system in which an expression inhabits a type to a certain degree. We hope that our work will foster interactions among creativity fields and bring new insights into programming languages research.


Presentation at the HATRA 2025 workshop, Oct 14, 2025, https://conf.researchr.org/home/icfp-...
Sponsored by ACM SIGPLAN.