采用静态类型和动态类型编程范式的编程语言的区别
1个回答
展开全部
类型这块东西内容是很丰富的，如果楼主真要本质的理解类型在程序语言中的作用，推荐看皮尔斯的《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语言。
本回答被提问者和网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
光点科技
2023-08-15 广告
通常情况下，我们会按照结构模型把系统产生的数据分为三种类型：结构化数据、半结构化数据和非结构化数据。结构化数据，即行数据，是存储在数据库里，可以用二维表结构来逻辑表达实现的数据。最常见的就是数字数据和文本数据，它们可以某种标准格式存在于文件...
点击进入详情页
本回答由光点科技提供
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
