无分支编程:为什么“如果”是懒惰的,我们能为此做些什么[视频]