关键信息：

• 去函数化的四个步骤：将代码进行 CPS 转换，然后去函数化函数，内联函数，进行尾递归消除，其中去函数化延续（continuation）是关键。
• 在网页操作中，Hacker News 利用延续来实现登录后保留评论输入的功能，早期是通过函数 ID 来处理延续，现在是通过动作名称和值来处理。
• 在非阻塞 I/O 中，通过通知机制实现的 I/O 操作也是一种去函数化的延续，将读取文件后的后续操作存储并在读取完成后调用。

重要细节：

• 以打印树的代码为例，展示了如何通过去函数化将递归代码转换为迭代代码，包括将函数转换为延续数据类型，进行内联和尾递归消除等操作。
• 介绍了 John Reynolds 发明去函数化作为编译器技术，以及 Danvy 发现其在程序操纵中的作用，包括将旧的状态机算法转换为直接风格的代码。
• 提到了现代 Hacker News 可能已经手动去函数化了这些延续，将动作分解为部分，以改善代码的可读性和可维护性。
• 强调在编程中应学习公式之间的关系，而不是记忆大量的方法，通过去函数化延续等技术，可以看到更深层次的设计和各种操作方式。