跳过概述 跳过是一种通用编程语言，可跟踪副作用以提供具有响应性无效，人体工程学和安全的并行性以及有效的垃圾收集的缓存。 Skip是静态类型的，并使用LLVM提前进行编译以生成高度优化的可执行文件。 使用无效响应进行缓存 Skip的主要新语言功能是它对副作用的精确跟踪，包括值的可变性以及区分非确定性数据源和可提供React性无效的数据源（在数据更改时告知Skip）。 当Skip的类型系统可以证明给定功能处没有副作用时，开发人员可以选择安全地记住该计算，并在运行时确保在基础数据发生更改时先前缓存的值