23、Swerve详细设计解析

Swerve详细设计解析

1. IETF层

IETF层实现了处理构成互联网协议消息的数据类型的模块，对于HTTP而言，这些数据包括头部信息、状态消息和MIME编码的实体。

2. 实体模块

实体模块为通过HTTP传输的所有HTML页面、图像等实现了Entity类型，还包含简单的MIME类型处理。服务器端实体传输的函数也在此模块中，包括传输协议（XferProto类型）和生产者/消费者系统。

2.1 MIME类型接口

datatype MType = MType of { mtype: string, msubtype: string, mparams: (string * string) list } | MTypeUnknown val formatType: MType -> TextFrag.Text (* This creates a simple type e.g. text/plain. *) val simpleType: string -> string -> MType (* This works out a Mime type for a file. It only looks at the file name. *) val getMimeType: string -> MType

这些声明定义了MIME类型，并提供了一些实用函数。formatType函数将类型转换为适合头部信息的文本格式，