天上的白云真白啊

摘要： 一、基本运算符 1.算术运算符 +，-，*，/(返回值保留整数和小数部分)，//(地板除，相除后的结果只保留整数部分)，%(取余)，**(幂运算) 2.比较运算符 返回值为bool型， ==，！=，>,>=,<,<= 3.赋值运算符 增量复制：=，+=，-=，*=，/=，//=，%=，**= 链式赋 阅读全文

摘要： 一、为什么要有数据类型 转述下 Edwin Brady 在《Type-driven Development with Idris》中的说法，类型有以下几个重要角色： 1.对机器而言，类型描述了内存中的电荷是怎么解释的。 2.对编译器或者解释器而言，类型可以协助确保上面那些电荷、字节在程序的运行中始终 阅读全文