类型表达式

本文介绍了类型表达式的概念,包括基本类型如integer、real等,以及通过类型构造符构建新类型的详细方法,如数组构造符、指针构造符、笛卡尔乘积构造符、函数构造符和记录构造符。通过对这些构造符的理解,读者可以深入掌握类型表达式的使用。
摘要由CSDN通过智能技术生成

类型表达式

基本类型

  • 基本类型是类型表达式
    • integer
    • real
    • char
    • boolean
    • type_error(出错类型)
    • void(无类型)

可以为类型表达式命名,类型名也是类型表达式,将类型构造符作用于类型表达式可以构成新的类型表达式

类型构造符

数组构造符

若T是类型表达式,则array(I,T)是一个类型表达式(I是一个整数)

例如:

在这里插入图片描述

指针构造符

若T是类型表达式,则pointer(T)是类型表达式,它表示一个指针类型。

笛卡尔乘积构造符$✖$

$T_1$$T_2$是类型表达式,则笛卡尔乘积$T_1*T_2$是类型表达式

函数构造符$\rightarrow$

若彤$T_1$$T_2$、…、$T_n$R都是类型表达式,

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值