热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

为什么 Swift 的类型检查器如此之慢

2024-06-22

这篇文章分析了Swift编译器类型检查速度慢的原因，主要是因为其双向Hindley-Milner类型检查器在处理复杂表达式时效率低下，尤其是在使用ExpressibleBy协议和运算符重载的情况下，会导致组合爆炸。作者建议Swift团队添加一个新的类型检查器，该检查器在复杂情况下需要类型注释，并提供了一个逐步过渡的方案。

阅读更多
(danielchasehooper.com)
43
未分类 类型检查

苹果公司未能修复 Swift 的最大缺陷

2024-06-12

本文批评了 Swift 编译器速度慢的问题，并指出了其根源在于双向类型推断机制。作者通过具体的代码示例展示了编译器在处理复杂表达式时效率低下，并将其与其他语言进行了比较。文章还提出了一些改进建议，包括添加新的编译器标志、更新现有代码以及逐步弃用旧的类型推断方法。

阅读更多
(danielchasehooper.com)
42
未分类 类型推断

计算机科学中的好创意

2024-05-05

此网站是计算机科学教授 Daniel Hooper 的博客，重点介绍计算机科学领域中的新思想和创意。文章涵盖各种主题，包括算法、数据结构、编程语言和理论计算机科学。语言清晰简洁，适合各级计算机科学家阅读。

阅读更多
(danielchasehooper.com)
43
未分类

Shape Up：构建产品更快的精益、无废弃开发方式

2024-05-02

该网站提出了Shape Up开发方法，旨在帮助团队以更精益、无浪费的方式快速构建产品。Shape Up方法包含以下关键原则：

- 以持续的周期（称为回合）工作，在每个回合中明确定义目标和验收标准。
- 跨职能团队为每个回合制定详细计划并承诺在时间范围内交付（又称“承诺”）。
- 团队在每个回合结束时回顾其进展并确定改进领域。
- 该方法强调持续的学习和改进，将理论与实践相结合，帮助团队高效地构建复杂产品。

阅读更多
(danielchasehooper.com)
42
未分类 敏捷开发 Shape Up 无浪费开发