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