第9章：进一步的Type

兼容性

有同样的root type互相兼容，可互换使用
不兼容是静态可检测的，属于type error

send-/receive-

send-和receive-类型的，用于通信，必须和port type严格一致，不适用兼容性

anytype

是一种union类型

Address

多实体从同一端口通信

递归

• 表示二叉树的例子
  
  • record
  • union

外部类型

• ASN.1
  
  • 直接映射
• IDL
  
  • 基于过程的TTCN-3测试
• XML
  
  • 隐式：language和import
  • 显式：转为ASN.1–转为TTCN-3