编写正确的代码为何是困难的

矛盾点有哪些

• 虽然可以同步，但无法模拟。
• 数据是分布式的，而难以保持一致性。
• 情况有好几种，但是做不到明确。
• 即使明确有判断分支，编写代码时也难以具体化实现相吻合的判断条件（因模型与对象之间的鸿沟）
• 过于 复杂 ，交互条件很多。而 实验条件 也很苛刻。
• 各自独立，却互不兼容。