思维导图备注

Nim 1.2 语言手册

首页

小程序下载阅读记录

我的书签
添加书签移除书签

编辑文档

效应系统

来源 1 浏览 753 扫码分享 2020-04-25 13:44:12

效应系统

上一篇:

下一篇:

nim
关于本文
重载解析
- 基于 'var T' 的重载
- 无类型的延迟类型解析
- 可变参数匹配
语句和表达式
- 语句列表表达式
- Case语句
- When语句
- When nimvm语句
- Return语句
- Yield语句
- Block语句
- Break语句
- While语句
- Continue语句
- 汇编语句
- Discard表达式
- Using语句
- If表达式
- When表达式
- Case表达式
- Block表达式
- Table构造函数
- 类型转换
- 类型强转
- addr操作符
- unsafeAddr操作符
- Void上下文
- Var语句
- Let语句
- 元组解包
- 常量段
- 静态语句和表达式
- If语句
过程
- 导出标记
- Var返回类型
- 下标操作符重载
- 方法调用语法
- 属性
- 命令调用语法
- 闭包
- 匿名过程
- 函数
- 不可重载的内置
- Var形参
多方法
迭代器和for语句
- 隐式items和pairs调用
- 第一类迭代器
转换器
Type段
异常处理
- Try语句
- Try表达式
- 排除从句
- Defer语句
- Raise语句
- 异常层级
- 导入的异常
效应系统
- 异常跟踪
- Tag跟踪
- Effects编译指示
泛型
- Is操作符
- 类型类别
- 泛型推导限制
- 泛型符号查找
- Mixin语句
- Bind语句
定义
模板
- 类型化和无类型形参
- 向模板传代码块
- 无类型可变参数
- 模板符号绑定
- 标识符构造
- 模板形参查询规则
- 模板卫生
- 方法调用语法限制
宏
- Debug示例
- BindSym
- Case-Of宏
- Macros用作编译指示
- For循环宏
特殊类型
- static[T]
- typedesc[T]
- 因为迭代器是首选解释，y 的类型为 string ：
模块
- Import语句
- Include语句
- 导入的模块名
- 从目录中集体导入
- 伪import/include目录
- From import语句
- Export语句
编译器消息
编译指示
- deprecated编译指示
- error编译指示
- fatal编译指示
- warning编译指示
- hint编译指示
- line编译指示
- linearScanEnd 编译指示
- computedGoto编译指示
- unroll编译指示
- immediate编译指示
- 编译选项编译指示
- noSideEffect编译指示
- push和pop编译指示
- register编译指示
- global编译指示
- pragma编译指示
- 禁用某些消息
- used编译指示
- experimental编译指示
- compileTime编译指示
- noReturn编译指示
- acyclic编译指示
- final编译指示
- shallow编译指示
- pure编译指示
- asmNoStackFrame编译指示
特定实现的编译指示
- Bitsize 编译指示
- Emit编译指示
- ImportCpp编译指示
- ImportObjC编译指示
- CodegenDecl编译指示
- InjectStmt编译指示
- 编译期定义的编译指示
- 自定义标注
- Volatile编译指示
- NoDecl编译指示
- Header编译指示
- IncompleteStruct编译指示
- Compile编译指示
- Link编译指示
- PassC编译指示
- PassL编译指示
外部函数接口
- Importc编译指示
- 用于导出的Dynlib编译指示
- Exportc编译指示
- Extern编译指示
- Bycopy编译指示
- Byref编译指示
- Varargs编译指示
- Union编译指示
- Packed编译指示
- 用于导入的Dynlib编译指示
线程
- Thread编译指示
- GC安全
- Threadvar编译指示
- 线程和异常
词法分析
- 编码
- 广义原始字符串字面值
- 字符字面值
- 数值常量
- 操作符
- 其它标记
- 缩进
- 注释
- 多行注释
- 标识符 & 关键字
- 标识符相等性
- 字符串字面值
- 三引用字符串字面值
- 原始字符串字面值
句法
- 结合律
- 语法
求值顺序
常量和常量表达式
编译期执行限制
类型
- 序数类型
- 结构化类型
- 数组和序列类型
- 开放数组（openarray）
- 可变参数
- 未检查数组
- 元组和对象类型
- 对象构造
- 对象变体
- 集合类型
- 引用和指针类型
- 预定义整数类型
- 将GC内存和 ptr 混用
- Not nil注解
- 过程类型
- Distinct类型
- 自动类型
- 子范围类型
- 预定义浮点类型
- 布尔类型
- 字符类型
- 枚举类型
- 字符串类型
- cstring类型
类型关系
- 类型相等性
- 类型相等与类型区分
- 子类型关系
- 可转换关系
- 赋值兼容性
作用域规则

暂无相关搜索结果！

本文档使用 BookStack 构建

展开/收起文章目录

分享，让知识传承更久远

文章二维码

手机扫一扫，轻松掌上读

文档下载

请下载您需要的格式的文档，随时随地，享受汲取知识的乐趣！

PDF文档 EPUB文档 MOBI文档

微信小程序阅读

BookChat 微信小程序阅读

微信扫一扫，知识掌上学

书签列表

阅读记录

阅读进度: 0.00% ( 0/0 ) 重置阅读进度