typelanguage 0.3

类型

这种类型语言是根据以下概念构建的：

• 命名类型： int ， long ， float ， complex ， str ， unicode ， 文件 ， 您的类名在这里 ，…
• 列表类型： [int] ， [[long]] ，…
• 元组类型： （int，long） ， （float，（int，regex）） ，…
• 字典类型： {string:float} ， {（str，str）：[复合]} ，…
• 联合类型 int long float ， str file ，…
• "任何"类型， ？？ ，当一个值太复杂而无法描述时 用这种语言。可能表明一段代码 元编程或应以渐进式键入方式处理。
• 函数类型：
  • str ->； int
  • （int） ->； int
  • （int，int） ->； int
  • （（int，int）） ->； int
  • （str文件） ->； 某些类
  • （int，*[str]） ->； [（str，int）]
  • （int，*[int]， **{int: str}） ->； str
• 对象类型： 对象（self_type，field1:int，field2:str， …）
• 多态类型（其中 ~a ， ~b ， ~c 范围超过任何其他类型 键入）
• ~a ->； ~a
• [~a] ->； [~a]
• （（~a，~b）） ->； ~a