变量的值模型只能与静态类型一起使用，而不能与动态类型一起使用吗？
Can the value model for variables only be used together with static typing, not with dynamic typing?
有two models of variables：值模型（例如C中的变量）和参考模型（例如Python中的变量）。
还有static typing and dynamic typing的区别。
值模型只能和静态类型一起使用，不能和动态类型一起使用吗？
或者价值模型和动态类型如何协同工作，也许还有一些示例语言？
变量的参考模型可以使用静态类型还是动态类型？
是否所有变量都包含引用或值完全独立于静态类型还是动态类型。
存在具有值语义的动态类型语言（例如 Perl、PHP）和具有引用语义的静态类型语言（例如 Java、C#（结构除外）、OCaml）。还有一些语言，因为没有可变性或可观察到的对象标识（例如 Haskell）。
有two models of variables：值模型（例如C中的变量）和参考模型（例如Python中的变量）。
还有static typing and dynamic typing的区别。
值模型只能和静态类型一起使用，不能和动态类型一起使用吗？ 或者价值模型和动态类型如何协同工作，也许还有一些示例语言？
变量的参考模型可以使用静态类型还是动态类型？
是否所有变量都包含引用或值完全独立于静态类型还是动态类型。
存在具有值语义的动态类型语言（例如 Perl、PHP）和具有引用语义的静态类型语言（例如 Java、C#（结构除外）、OCaml）。还有一些语言，因为没有可变性或可观察到的对象标识（例如 Haskell）。