他在博文中写道:“计算机思维是一种思维递归,这是并行处理的。它能够将代码解释为数据,反之亦然。你能够将类型检查作为通用的量纲分析。它能够识别混淆现象中的优美和危险,并给与不仅仅只是名字的某些事某物。它不仅能够判断程序的的正确性和效率,而且能够检测系统设计是否简洁和优雅。”
他在博文中写道:“计算机思维是一种思维递归,这是并行处理的。它能够将代码解释为数据,反之亦然。你能够将类型检查作为通用的量纲分析。它能够识别混淆现象中的优美和危险,并给与不仅仅只是名字的某些事某物。它不仅能够判断程序的的正确性和效率,而且能够检测系统设计是否简洁和优雅。”