我第一次在为 Move 工作时遇到这句话。它是关于类型系统的，但我在设计产品、标准、系统或其他任何东西时总是想到它。 深入理解什么有效（什么无效）应该是第一位的。好的解决方案自然会随之而来。你永远不能过于关注问题。