zipline程序是Kosoy在2026b中提出的直线程序（straight-line programs）的一种变体。