摘要: Haskell 类型推断 理论 类型推断 编译阶段推断类型, 推断规则: \[\frac{\text{f\ ::\ A -> B\quad\ e\ ::\ A}}{f \ \ e\ ::\ B} \]基础类型由类型声明得到 其他类型由算法推断得到 Ambiguous Type Ambiguous T 阅读全文
posted @ 2025-04-23 19:22 (.)$(.) 阅读(5) 评论(0) 推荐(0)
摘要: Free Theorem 自由定理 理论 参数多态性 参数多态性: 多态函数的行为对类型变量代表的所有类型一致, 不能依赖具体类型 自由定理 自由定理: 通过函数类型中的类型变量, 可以推导出函数必须满足的等式或行为 Haskell 限制 理想化数学模型中, 自由定理基于纯函数假设, 故严格成立 但 阅读全文
posted @ 2025-04-11 11:03 (.)$(.) 阅读(14) 评论(0) 推荐(0)
摘要: Haskell 函数 函数应用 函数应用于实参: 实参替换右侧表达式的变量(\(\lambda\) 演算 \(\beta\) 归约), 结果是最简表达式或函数调用表达式 函数应用顺序不影响最终结果, 只影响计算步骤数和计算是否终止 函数分类 位置 前缀函数 前缀式调用 () 10级, 左结合 中缀函 阅读全文
posted @ 2025-04-09 22:30 (.)$(.) 阅读(17) 评论(0) 推荐(0)
摘要: Haskell 体系 编程范式 命令式编程: 修改存储值状态转换(图灵机) 函数式编程: 函数作用于参数函数调用(\(\lambda\) 演算) 结构 Package 集合 Hackage, Stackage, GHC自带, Haskell Platform Package 分发依赖 Library 阅读全文
posted @ 2025-04-04 09:54 (.)$(.) 阅读(5) 评论(0) 推荐(0)
摘要: Haskell 语法糖 总结 三大本质: Case >>= 函数 语法糖 本质 模式匹配 case If-Else case Guard case Do >>= List Comprehension >>= Let lambda 函数 运算符段 lambda 函数 中缀函数 前缀函数 Record 阅读全文
posted @ 2025-04-03 11:49 (.)$(.) 阅读(10) 评论(0) 推荐(0)
摘要: 程序员职业病之腰颈手 注意事项 热敷活血 不能受凉 避免长时间一个动作 腰突 急性期 平躺卧床,膝下垫枕头 急性期冷敷, 缓解期热敷 恢复期 核心肌肉 平板支撑 臀桥 死虫式 抗旋转 腹式呼吸 鸟狗式 脊柱 吊单杠 麦肯基疗法 猫式伸展 有氧运动 游泳 快走 生活习惯 1.避免久坐久站 2.腰部直立 阅读全文
posted @ 2025-03-30 12:36 (.)$(.) 阅读(18) 评论(0) 推荐(0)
摘要: 科学睡眠方法 介绍三种助眠方法: 美国海军入睡法, 478呼吸法, 安眠穴 美国海军入睡法 方法: 有意识放松全身肌肉,想象身处放松环境 像一滩烂泥 过程: 将注意力依次集中在面部、上肢、下肢的肌肉,然后有意识地释放掉肌肉里的"力",最后想象身处一个放松的环境并放松精神,若有杂乱的念头就默念"放松" 阅读全文
posted @ 2025-03-29 00:12 (.)$(.) 阅读(14) 评论(0) 推荐(0)
摘要: VSCode(Windows)配置Haskell开发环境 简介 Haskell 特性 理论基础: λ 演算 强静态类型 类型推断 惰性求值 纯函数式编程语言 并发编程 Haskell 工具链 GHCup Haskell 工具链的版本管理器, 可安装不同版本的 GHC, Cabal 和 Stack, 阅读全文
posted @ 2025-03-07 17:23 (.)$(.) 阅读(290) 评论(0) 推荐(0)