数据类型-一流百科

无冲突复制数据类型

无冲突复制数据类型在分布式计算中，无冲突复制数据类型（CRDT）是一种在网络中的多台计算机上复制的数据结构，具有以下特点：应用程序可以独立、并发地更新...

词条百科

类型转换

类型转换在计算机科学中，类型转换、类型铸造、类型强制和类型杂耍是将一个表达式从一种数据类型变为另一种数据类型的不同方式。一个例子是将一个整数值转换...

词条百科

递归数据类型

递归数据类型在计算机编程语言中，递归数据类型（也被称为递归定义、归纳定义或归纳数据类型）是一种用于可能包含相同类型的其他值的数据类型。递归类型的数...

词条百科

复合数据类型

复合数据类型在计算机科学中，复合数据类型或复合数据类型是任何可以在程序中使用编程语言的原始数据类型和其他复合类型构建的数据类型。它有时被称为结构或...

词条百科

代数数据类型

简介在计算机编程中，特别是函数式编程和类型理论中，代数数据类型（ADT）是一种复合类型，即由其他类型组合而成的类型。两类常见的代数类型是乘积类型（即图...

词条百科

抽象数据类型

简介在计算机科学中，抽象数据类型（ADT）是一种数据类型的数学模型。一个抽象数据类型是由它的行为（语义）定义的，从用户的角度来看，数据，特别是在可能的...

词条百科

可计算函数的逻辑

可计算函数的逻辑可计算函数的逻辑（LCF）是RobinMilner和合作者在1970年代初在斯坦福和爱丁堡开发的交互式自动定理检验器，基于DanaScott之前提出的可计算函...

词条百科

字符串（计算机科学）

字符串（计算机科学）在计算机编程中，字符串传统上是一个字符序列，可以作为一个字面常数或某种变量。后者可能允许其元素被突变，长度被改变，也可能是固定...

词条百科

字符串

什么是字符串在计算机编程中，字符串传统上是一个字符序列，可以是字面常量，也可以是某种变量。后者可能允许其元素发生变异并改变长度，或者它可能是固定的...

词条百科

数据类型

什么是数据类型在计算机科学和计算机编程中，数据类型或简单的类型是数据的一个属性，它告诉编译器或解释器程序员打算如何使用数据。大多数编程语言支持整数...

词条百科