clearlife

摘要： Haskell 类型推断 理论 类型推断 编译阶段推断类型, 推断规则: \[\frac{\text{f\ ::\ A -> B\quad\ e\ ::\ A}}{f \ \ e\ ::\ B} \]基础类型由类型声明得到 其他类型由算法推断得到 Ambiguous Type Ambiguous T 阅读全文

摘要： Free Theorem 自由定理 理论 参数多态性 参数多态性: 多态函数的行为对类型变量代表的所有类型一致, 不能依赖具体类型 自由定理 自由定理: 通过函数类型中的类型变量, 可以推导出函数必须满足的等式或行为 Haskell 限制 理想化数学模型中, 自由定理基于纯函数假设, 故严格成立 但 阅读全文

摘要： Haskell 函数 函数应用 函数应用于实参: 实参替换右侧表达式的变量(\(\lambda\) 演算 \(\beta\) 归约), 结果是最简表达式或函数调用表达式 函数应用顺序不影响最终结果, 只影响计算步骤数和计算是否终止 函数分类 位置 前缀函数 前缀式调用 () 10级, 左结合 中缀函 阅读全文

摘要： Haskell 体系 编程范式 命令式编程: 修改存储值状态转换(图灵机) 函数式编程: 函数作用于参数函数调用(\(\lambda\) 演算) 结构 Package 集合 Hackage, Stackage, GHC自带, Haskell Platform Package 分发依赖 Library 阅读全文

摘要： Haskell 语法糖 总结 三大本质: Case >>= 函数 语法糖 本质 模式匹配 case If-Else case Guard case Do >>= List Comprehension >>= Let lambda 函数 运算符段 lambda 函数 中缀函数 前缀函数 Record 阅读全文

摘要： 程序员职业病之腰颈手 注意事项 热敷活血 不能受凉 避免长时间一个动作 腰突 急性期 平躺卧床，膝下垫枕头 急性期冷敷, 缓解期热敷 恢复期 核心肌肉 平板支撑 臀桥 死虫式 抗旋转 腹式呼吸 鸟狗式 脊柱 吊单杠 麦肯基疗法 猫式伸展 有氧运动 游泳 快走 生活习惯 1.避免久坐久站 2.腰部直立 阅读全文

摘要： 科学睡眠方法 介绍三种助眠方法: 美国海军入睡法, 478呼吸法, 安眠穴 美国海军入睡法 方法: 有意识放松全身肌肉，想象身处放松环境 像一滩烂泥 过程: 将注意力依次集中在面部、上肢、下肢的肌肉，然后有意识地释放掉肌肉里的"力"，最后想象身处一个放松的环境并放松精神，若有杂乱的念头就默念"放松" 阅读全文

摘要： VSCode(Windows)配置Haskell开发环境 简介 Haskell 特性 理论基础: λ 演算 强静态类型 类型推断 惰性求值 纯函数式编程语言 并发编程 Haskell 工具链 GHCup Haskell 工具链的版本管理器, 可安装不同版本的 GHC, Cabal 和 Stack, 阅读全文