240 发简信
IP属地:陕西
  • Lambda 演算入门

    单个字母被称为变量 约束变量:一个变量同时出现在函数体和函数参数中如 λx.x ,其中 x 同时出现在了 . 字符之前函数参数中和 .字符之后的...

  • lua学习前5章解惑

    lua学习前5章解惑 基础概念 -l 参数 表达式 链表 语句 不论是赋值还是循环赋值,其对表达式或值的运算都是在其赋值之前一次性求值的赋值时,...

  • Resize,w 360,h 240
    4月4日网站变灰实录

    4月4日网站变灰记录 基本都是通过 grayscale 来实现的 都不支持 IE 11 但在 IE 11 的情况下表现却各不相同 B站、A站、淘...

  • lua 学习之错误处理

    错误处理 动态链接 在 Lua 中,动态链接被视为所有其他机制的母机制 因此利用它就可以动态地加载任何其他不在 Lua 中的机制 package...

  • lua 学习之编译

    编译 lua 是解释语言 但 lua 允许在运行源代码前,先将源代码编译为一种中间形式 区别解释语言的主要特征并不在于是否能编译它们在于编译器是...

  • Windows 下环境变量详解

    Windows 下环境变量详解 一个环境变量肯定先是一个变量 既然是一个变量,那么其值的改变就可以改变某个程序的运行结果,变量值可能会在执行期间...

  • lua学习之迭代器与泛型 for 第三篇

    迭代器与泛型 for 3 具有复杂状态的迭代器 使用 closure 可以保存迭代器所需保存的所有状态 也可以将迭代器所需的所有状态打包为一个 ...

  • lua学习之迭代器与泛型 for 第二篇

    迭代器与泛型 for 2 无状态的迭代器 自身不保存任何状态的迭代器 可以在多个循环中适用同一个无状态的迭代器,避免创建新的 closure 开...

  • lua学习之迭代器与泛型for第一篇

    迭代器与泛型 for 1 迭代器与 closure 「迭代器」是一种可以遍历一种集合中的所有元素的机制 在 lua 中通常将迭代器表示为函数 每...