采用静态类型和动态类型编程范式的编程语言的区别
答案:2 悬赏:50 手机版
解决时间 2021-04-01 22:36
- 提问者网友：浪荡绅士
- 2021-04-01 12:20
采用静态类型和动态类型编程范式的编程语言的区别
最佳答案
- 五星知识达人网友：千夜
- 2020-04-16 07:44
类型这块东西内容是很丰富的，如果楼主真要本质的理解类型在程序语言中的作用，推荐看皮尔斯的《Types and programming languages》
从最原始的Untyped system，到简单的type system，然后衍生出subtype system，recursive type system，polymorphism type system，higher order type system。从中你可以看到不同于图灵机的基于lambda的计算模型（源于图灵的老师Church）是怎样一步步构建类型系统的，你也可以学到即便是动态类型，也能静态的推导出其类型，如Standard ML语言。
从最原始的Untyped system，到简单的type system，然后衍生出subtype system，recursive type system，polymorphism type system，higher order type system。从中你可以看到不同于图灵机的基于lambda的计算模型（源于图灵的老师Church）是怎样一步步构建类型系统的，你也可以学到即便是动态类型，也能静态的推导出其类型，如Standard ML语言。
全部回答
- 1楼网友：一把行者刀
- 2020-08-11 14:17
要说什么
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯