@misc{zhiqi-ppl2025-poster,
  author = {Zhiqi Chen  and Youyou Cong and Hidehiko Masuhara},
  title = {Towards Live Effectful Programming with Typed Holes},
  month = {mar},
  date = {2025-03-05},
  url = {https://jssst-ppl.org/workshop/2025/},
  year = {2025},
  howpublished = {Category 3 Poster at the 27th PPL2025},
  abstract = {We aim to extend the Hazel live programming environment with support for algebraic effects and handlers. Hazel provides typed holes, allowing developers to receive continuous feedback on incomplete programs. However, it does not support effectful programs, limiting its usefulness. We solve this limitation by integrating algebraic effects and handlers, enabling users to write and receive feedback on effectful programs with incomplete parts. We expect that the feedback would help the programmer understand and implement effectful programs. In this poster presentation, we discuss the potential benefits of our proposed environment and present our ongoing formalization of its core language.}
}