以Typescript 的typeof和类类型为例再探类型系统
如果要用一句点睛之笔形容静态类型和动态类型最大的不同。 我会举C/C++和javascript的例子。
一个指针在runtime运行时就仅仅只是一个内存地址而已, 只有在写源代码文本的时候, 编译器的限制才使得它具有了类型, 这便是静态类型。
而对任意一个javascript引用, 我总是能在运行时了解该对象中所有的key字段, 即了解该对象具有怎样的shape(shape这个词是前不久从Typescript的文档上看到的, 觉得非常精妙, 就不翻译了), 这就是动态类型。
熟悉Java的朋
原创
2021-01-16 13:58:13 ·
783 阅读 ·
0 评论