HackerTube English ?

主题探索 / 字幕对照

模块名称限制多版本，内容哈希允许共存

Python演讲指出sys.modules以模块名定位对象，现有代码与pickle依赖这一语义，因此同库多版本难共存；Unison则把引用绑定到内容哈希，区分同名但不同定义，使多版本依赖无需争夺全局名字。

沿同一来源继续阅读

可观察的实现细节会变成兼容负担 →Python的slots、类型与模块缓存被生态依赖，阻碍实现调整；Swiss Table演讲将同一现象明确表述为用户会依赖所有可观察行为，并用随机化抑制偶然迭代顺序成为契约。使用者依赖了可观察行为之后，实现细节就可能变成兼容性承诺 →解释器、哈希表和公共 API 是不同场景；能观察到某种行为，不等于它已被正式保证。让用户库承担语言增长 →Steele要求用户定义构造像语言原语一样自然，以少数增长机制容纳多种领域需求；Unison的分布式能力与解释器让用户自行实现执行策略，把分布式编程抽象交给库作者。

对照原文

we would have to make S modules also have a version identifier

How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework · ▶ 39:11–39:16

then it would be perfectly fine to allow as many different versions of the same library in our code base

"Unison: a new distributed programming language" by Paul Chiusano · ▶ 26:04–26:16

Unison不是对Python问题的补丁；类型在边界相遇时仍需要转换，运行时与生态不同。