Kale：让电子表格告别引用陷阱
Kale: A Transformation-Safe Spreadsheet System
电子表格中的公式引用往往暗藏危机。当用户调整表格结构时，系统自动更新的引用范围常与预期不符，导致难以察觉的错误。研究团队通过用户实验证实，传统引用机制存在显著风险。为此，他们推出了Kale原型系统，通过限制可表达的引用类型，从根源上杜绝此类错误。测试表明，用户能利用Kale高效完成在传统系统中极易出错的任务。这项研究不仅揭示了现有工具的缺陷，也为构建更安全的数据处理环境提供了新思路。
不幸的是，这个新范围可能与用户的预期不符，从而在电子表格中引入错误。
HN 评论区
13- mrbluecoat
至少我不会被诱惑去吃它。
- TacticalCoder
> 电子表格公式可以引用任意大小的矩形区域。当用户更改被引用表格的结构时，电子表格系统会更新引用以指向新范围。不幸的是，这个新范围可能与用户的预期不符，从而在电子表格中引入错误。我们描述了一项用户研究，表明标准的引用语义容易出错。
没错。这是我的一个老毛病：在受命将一个电子表格移植到专用应用程序后，我对电子表格的所有幻想都破灭了。
或者这么说吧：电子表格是给程序员用的。当非程序员使用电子表格时，里面充满了、充满了、充满了错误的假设。
Joel Spolsky 那个著名的 Excel 视频就展示了这一点：它功能极其强大，但你基本上得是个程序员，才能理解它能做什么，以及如何明智地运用这种力量（而且 Joel Spolsky 本人就是个程序员）。
首先，用户根本不懂日期，也不懂数值与特定日期的数值、编码时的数值或自动获取时的数值之间的关系。
然后，他们对于如何建模跨越边界的事物完全一无所知：例如跨越年份边界的情况。
我可以一直说下去，但这简直让人难以置信。与“用户”开会讨论电子表格并提问时，他们完全懵了：他们没搞懂。他们不明白自己做了什么。到处都是混乱（在他们的脑子里，也在他们的电子表格里 […]
- krautburglar
自从有了像 sqlite 和 mysql 这样的免费关系型数据库，我在现实中看到的电子表格的唯一最佳用途就是心理层面的（即实时“按摩”数据以克服反对意见）。对于更客观的事情，我们有太多更优越的选择。不仅仅是数据库，Jupyter 和各种其他 REPL 也非常棒。