类型系统的四种维度

类型系统概览
最新推荐文章于 2024-08-14 10:02:32 发布
最新推荐文章于 2024-08-14 10:02:32 发布 · 524 阅读 · 0
文章标签：

#Haskell #Ruby #LISP #Python #Scheme

原文在这里： http://programming.reddit.com/info/63tnv/comments/c02qx55


Latent typing是一种你不需要在源码中的明确的声明你的变量的类型的类型系统.而与之相反的是manifest typing,它需要你在源码中明确的声明你的变量的类型。


Static typing类型系统指的是你的源码中的任何独立的表达式都必须有类型，不管它的类型是直接写在源码中，或者是通过编译器来推断.Dynamic typing是运行时的值才有类型的一种类型系统，因此在它里面程序的表达式能够有任意的类型.

overlap 是一种类型推断系统，像haskell和ocaml用的就是overlap,他们是 statically而且还是latently,他们的编译器能够推断出你的变量的类型。 理论上，这里还有另外一种overlap,它是把变量的类型写在源代码中，可是会直到运行时才会检测类型的是否正确. python3000已经被提议使用这种系统，Common Lisp 和Dylan 使用的就是这种系统.

structural subtyping意味着对象或者表达式能够基于他们的结构(比如他们的方法，变量等等)来进行比较他们的类型的兼容性.相比较而言，nominal subtyping意味着对象基于通过程序员来做的显示的子类声明来进行比较他们的类型的兼容性(比如java的接口).Haskell, ML, 和大部分的动态类型的语言是 structurally-subtyped.工业语言大多数都是nominal subtyping的.


这里还有一个strong vs. weak 类型，他们的区别是是否在运行时动态的转换变量的值 （也就是说要不要到不同的类型)的类型.


下面是类型系统的4种不同的维度：

[quote] 1Static (表达式有类型) vs. dynamic (值有类型)
2Strong (没有一个显示的强制转换，这个值的类型就不能被转换为另外的类型) vs. weak (运行时会转换值类型到合适的类型)
3Latent (没有类型声明) vs. manifest (有类型声明)
4Nominal (子类型需要被显式的声明) vs. structural (子类型是由操作可利用的的类型来进行推断的) [/quote]


下面是一些语言所属的类型系统：

[quote]Ocaml: static, strong, latent, structural typing

Haskell: static, strong, latent, structural typing, with nominal typing available via newtype and manifest typing through optional type declarations.

Erlang: dynamic, strong, latent, structural typing

Scheme: dynamic, strong, latent, structural typing, with nominal typing available in many object systems.

Common Lisp: dynamic, strong, latent or manifest typing. Same note about structural vs. nominal typing as Scheme, but nominal subtyping is used more often in practice.

Python & Ruby: dynamic, strong, latent, structural typing. Nominal subtyping is available via isinstance or Ruby equivalent, but good practice frowns upon it. PHP: dynamic, weak, latent, nominal or structural typing. Culture is much friendlier to nominal subtyping than Python or Ruby, but it's not required.

Java & C++: mostly static, strong, manifest, nominal typing. The casts give you a form of weak-typing when necessary, and C++ templates are structurally typed.

C: static, generally weak, manifest, nominal typing.

Assembly: dynamic, weak, latent, structural typing[/quote]
高可用系统设计思想：实现业务持续稳定的必经之路
曾经“等你生日那天”都遥远得像未来，如今却可欢愉的挥手说“下个十年见”
10-14 10万+
系统的高可用性是当今数字化时代中至关重要的一环，高可用性不仅对于保障业务的稳定运行和持续发展至关重要，而且是维护客户关系、增强品牌价值、履行法律责任的关键保障。在当今数字化时代，任何企业都应该将高可用性视为优先考虑的重要议题，并投入适当的资源和技术来建立和维护可靠的系统架构。
C语言基础之类型系统
yuanzuoweigmail的专栏
07-02 910
一、类型系统介绍类型系统是每个编程语言都会有的基本概念，C语言的类型系统可以概括为基本类型和复合类型，基本类型又可以细分为整型数值类型和浮点数数值类型，不同类型所占用的内存长度不相同，下面先来介绍一下基本类型。整型数值基本类型1、char  占用一个字节2、short 占用两个字节3、int 目前基本都是4字节4、long int (可以简写为 long) (32位系统是4字节，64位系统是8字节...
类型系统的四个维度
TopLanguage
12-26 3530
  By pongba   reddit上看到的。 这位老大对类型系统作了相当清晰的阐述；到目前为止是我看到的最清晰的。 其它的要么是盲人摸象（这里，这里，这里），要么是不着四六（这里），要么是云山雾罩（这里）。 Latent typing is any type system where you do not need to explicitly write the types of vari
类型系统
Kemin | 本博客独立到nakeman.cn
11-08 2073
类型系统摘自《Types and Programming Languages 》by Benjamin C. Pierce 刘建文略译（http://blog.youkuaiyun.com/keminlau）1.1 Types in Computer Science Modern software engineering recognizes a broad range of form
浅谈编程语言的类型系统
jishublog
05-28 298
浅谈编程语言的类型系统 类型系统(type system)是一门编程语言最核心也是最基础的部分。无论该语言基于何种编程范式，都必须在开天辟地之初首先对类型系统作出明确的定义。这是因为，编程语言虽然五花八门，千奇百怪，但是归根结底，编程语言最终的目标，本质上无非是回答两个问题： 如何表示信息； 如何处理信息。 无论是面向过程的编程语言、面向对象的编程语言、函数式编程语言、并行编程语言或者其他...
MBTI的人格类型分为四个维度.pdf
05-17
根据这四个维度的八个方面，MBTI 人格类型理论将人格类型分为 16 种，每种人格类型都有其特点和优势。 ISTJ 型的人格特点是：详尽、准确、系统、勤劳，关注细节。他们致力于改善组织程序与过程，无论组织处在开展...
大数据开发的四个维度
IT时代周刊
05-15 8305
大数据词已经无处不在，然而，其概念仍然存在混淆。大数据已被用于承载所有类型的概念，包括：巨量的数据、社交媒体分析、下一代数据管理能力、实时数据等。无论是任何种类，企业都已经开始理解并且探索如何以新的方式处理并分析大量的信息。这样，数量较少但不断增加的先驱者实现了突破性的业务成果。在对大数据的混淆中，很大一部分从大数据的定义开始。为了了解我们的调研受访者对该术语的定义，我们让每个受访者选出大数据的两...
京东订单多维度调度系统PRD1.0.docx
12-03
2. 多维度调度：基于订单类型、地理位置、时间窗口等因素，进行智能化订单调度。 3. 订单调度逻辑： - 调度机制：定义各种调度策略，如优先级调度、最短路径调度等，以满足不同业务场景。 - 订单建立和释放逻辑：...
多维度数据融合的输电线路故障智能诊断系统.pdf
09-08
多维度数据融合是一种将电网系统信息、环境数据、开关量数据、电气量等多种来源的数据进行整合的方法。通过这种方法，系统能够从多个角度分析故障现象，从而获得更全面的诊断结果。例如，环境数据可能影响线路的运行...
类型系统的类型分类
diaoju3333的博客
06-20 257
顶级分类： Nominal type system structural systems Incomputer science, anominalornominative type system(or name-based type system) is a major class oftype system, in which compatibility and...
系统性能衡量维度、指标
一个有情怀的程序猿博客
03-25 4987
一、性能问题简介 应用性能是产品用户体验的基石，性能优化的终极目标是优化用户体验。当我们谈及性能，最直观能想到的一个词是“快”，Strangeloop在对众多的网站做性能分析之后得出了一个著名的3s定律“页面加载速度超过3s，57%的访客会离开”，可见页面加载速度对于互联网产品的重要性。 二、性能指标 性能优化是个系统性工程，涉及到后端、前端、移动端、系统网络及各...
类型系统(一)
JAVAInMyHeart的博客
12-02 1134
类型系统简介数学基础无类型算术表达式语法 本文为学习类型系统的系列文章的第一篇。主要参考资料为大名鼎鼎的TypesTypesTypes andandand ProgrammingProgrammingProgramming LanguagesLanguagesLanguages。 相信有很多跟我一样的读者都是从CCC系语言如JavaJavaJava,C/CPPC/CPPC/CPP等入门开始学习...
系统应用全方面评估维度，全面评测一个系统。
liuxiaoddd的专栏
08-19 2334
主要涵盖以下层面，全方面评价一个系统的稳健性。 1、联机交易系统性能 2、批处理系统性能 3、容量估计 4、应用扩展能力 5、应用可用性 6、交易数据一致性 7、应用可靠性 部分指标如下表，全面评价的下载链接为： 二级分类 指标 技术风险评估检查项 联机交易系统性能 应用处理性能 交易高峰期的成功率是否有明显下降趋势？ 联机交易系统性能 应用处理性能 交易高峰期的平均响应时间是否存在明显增长的趋势？ 联机交易系统性能 应用处理性能 .
Chapter4 类型系统
litao-1203的博客
04-08 305
类型系统的定义 类型系统是一组禁止误用值（原型和对象）的规则 类型系统可以分为静态和动态 静态类型系统禁止编译期间的误用 动态类型系统在运行时检查是否出现误用，并禁止它 多态性 多态变量指的是值在不同的时刻表示不同的类型，多态消息指的是有多个方法与对象相关。 在面向对象的语言中，所有的非原型变量和消息都是多态的。 多态变量 考虑到上图的类层次结构，可以得到以下的语句 LandVehicle lv = new Truck(); 同样的，也可以得到以下语句 lv = new
维度的分类及处理
a8619900的博客
01-08 2957
关于数据仓库维度数据处理的方法探究 1 维概述1.1概述 维度是多维数据集的结构性特性。它们是事实数据表中用来描述数据的分类的有组织层次结构（级别）。这些分类和级别描述了一些相似的成员集合，用户将基于这些成员集合进行分析。(此概念引之于SQLServer2000联机帮助) 所有维度均直接或间接地基于表。当从某个表创建维度时，您会选择定义此维度的列。选择列的顺序至关重要，因为它将影响...
编程语言的核心：类型系统(Type System)
sinat_36821938的博客
08-14 1158
编程语言的核心是其类型系统，只要掌握了其类型系统，对整门编程语言的掌握便事半功倍。
ssms设计四个维度表
最新发布
03-11
### 设计并创建四个维度表的最佳实践 #### 数据仓库中的维度建模原则 在构建数据仓库时，遵循良好的维度建模原则对于确保系统的可维护性和性能至关重要。为了实现这一点，在详细设计之前应为数据仓库系统指定规范，这主要包括源系统、主题、业务术语、报表等方面的规划[^1]。 #### 维度表的选择与定义 当决定要建立哪些维度表时，应当考虑实际业务需求以及未来可能的变化趋势。通常情况下，会选择那些能够描述事实表中记录特征的数据作为维度字段。例如时间戳可以转换成日期维；产品编号对应到商品维等。 #### SQL Server Management Studio (SSMS) 中的具体操作指南 ##### 创建数据库对象前准备 - **确认服务器连接状态正常** - **选择目标数据库** ##### 编写 T-SQL 脚本以创建维度表结构 下面是一个简单的例子来展示如何利用T-SQL语句在一个名为`AdventureWorksDW`的数据库里创建四张典型的维度表格： ```sql USE AdventureWorksDW; GO -- 创建客户维度表 CREATE TABLE DimCustomer ( CustomerKey INT PRIMARY KEY IDENTITY(1,1), FirstName NVARCHAR(50), LastName NVARCHAR(50), EmailAddress NVARCHAR(50), Phone NVARCHAR(25) ); GO -- 创建地理位置维度表 CREATE TABLE DimGeography ( GeographyKey INT PRIMARY KEY IDENTITY(1,1), City NVARCHAR(30), StateProvinceCode CHAR(2), CountryRegionCode VARCHAR(3), PostalCode NVARCHAR(15) ); GO -- 创建产品类别维度表 CREATE TABLE DimProductCategory ( ProductCategoryKey INT PRIMARY KEY IDENTITY(1,1), CategoryName NVARCHAR(50) ); GO -- 创建销售渠道维度表 CREATE TABLE DimSalesChannel ( SalesChannelKey INT PRIMARY KEY IDENTITY(1,1), ChannelDescription NVARCHAR(50) ); GO ``` 上述脚本展示了基本框架下的维度表创建过程，其中包含了必要的约束条件（如主键）。当然，具体的应用场景可能会有所不同，因此还需要根据实际情况调整列名及类型设置。 #### 关于优化建议 考虑到查询效率等因素，在创建索引或者分区策略等方面也需要做出合理安排。比如针对频繁访问的关键字添加非聚集索引可以帮助加速检索速度。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值