8.3 函数与协程理论