Schedule

Masayuki Mizuno
Masayuki Mizuno
  • @fetburner

Masayuki Mizuno is a software engineer at Wantedly, Inc. In the university days, he researched the software foundations, especially the formal verification of programming language implementations.

Continuation is to be continued

Despite the subtle relationship with interpreter implementations, first-class continuations still have unique functionality. In this talk, I will describe how "callcc"---a control flow operator which is provided in library "continuation"---plays an important role in the context of domain specific language through the "do syntax" of list monads. In addition, I also claim how "callcc" has some inconveniences---cutting unnecessarily wide program pieces, and resulting in degraded executing performances---and introduce its advanced form, delimited continuation operators can resolve many issues.