标签: Haskell - 文档

Haskell 高阶函数：map、filter、foldr

2026-04-18 00:18:26

Haskell 高阶函数：map、filter、foldr 在 Haskell 中，高阶函数是指接收其他函数作为参数或返回函数的函数。它们是函数式编程的核心工具，能帮你用极简的代码处理列表数据。以下介绍 map、filter 和 foldr 三个最常用的函数。一、使用 map 转换列表元素 ma

Haskell 高阶函数 map

57 0

Haskell 类型系统：type 与 data 声明

2026-04-11 17:23:18

Haskell 类型系统：type 与 data 声明 Haskell 的类型系统以其严谨和强大著称。在编写代码时，区分 type 和 data 是构建清晰、安全程序的第一步。前者用于为现有类型起别名，后者用于创造全新的数据结构。掌握这两者的使用场景与区别，能让你在代码重构与类型安全之间找到完美的平

Haskell 类型系统 type

76 0

Haskell 惰性求值：lazy evaluation

2026-04-06 20:47:19

Haskell 惰性求值：lazy evaluation 建立基础认知与环境准备 1. 打开系统终端并执行 ghci 命令。该指令启动 Haskell 交互式环境，提供即时编译与代码反馈通道，无需完整构建项目即可验证底层逻辑。 2. 运行 :set +s 配置指令。此设置强制终端在每次表达式求值结

Haskell 惰性求值函数式编程

79 0

Haskell 类型推断：类型变量与多态

2026-04-05 01:18:57

Haskell 类型推断：类型变量与多态类型推断是 Haskell 最强大的特性之一。编写代码时，你几乎可以完全省略类型声明，编译器会根据代码的上下文自动推导出正确的类型。这篇文章将深入讲解类型推断的工作原理，以及类型变量如何实现多态性。类型推断的基本机制 Haskell 的类型推断基于 Hin

Haskell类型推断类型变量多态性

68 0

Haskell 递归：递归函数与尾递归

2026-04-04 19:04:37

Haskell 递归：递归函数与尾递归递归是函数式编程的核心概念之一。在 Haskell 这样纯函数式语言中，递归不仅是解决问题的常用手段，更是替代循环结构的主要方式。理解递归的工作原理，以及尾递归优化机制，对于编写高效、优雅的 Haskell 代码至关重要。递归的本质：函数调用自身递归本质上

Haskell 递归尾递归

82 0

Haskell 单子：Maybe 与 Either

2026-04-03 00:32:50

Haskell 单子：Maybe 与 Either 在 Haskell 中处理可能失败的计算时，Maybe 和 Either 是两个最基础也最常用的单子（Monad）。它们能让你以声明式的方式组合可能出错的操作，避免层层嵌套的条件判断。下面通过具体步骤，手把手教你如何正确使用它们。理解 Maybe

Haskell 单子 Maybe

76 0

Haskell 类型类：class 与 instance

2026-04-02 17:49:15

Haskell 类型类：class 与 instance Haskell 的类型系统通过“类型类（type class）”实现类似其他语言中“接口”或“泛型约束”的功能。类型类定义了一组函数的契约，而具体类型通过 instance 声明来实现这些函数。理解 class 和 instance 是掌握

Haskell 类型类 class

77 0

Haskell 模式匹配：case 语句与 guards

2026-04-02 06:04:07

Haskell 模式匹配：case 语句与 guards Haskell 中的模式匹配是处理数据结构的核心机制。它让你直接根据值的“形状”来编写逻辑，避免繁琐的条件判断。case 语句和 guards（守卫）是两种常用方式，各自适用于不同场景。用 case 语句进行精确结构匹配使用 case 语

Haskell 模式匹配 case语句

55 0

Haskell 函数定义：let 与 where 子句

2026-04-01 23:18:09

Haskell 函数定义：let 与 where 子句在 Haskell 中，let 和 where 都是用来在函数内部定义局部变量或辅助函数的语法结构。它们功能相似，但作用域、使用位置和语法风格不同。正确选择能让你的代码更清晰、更易维护。 1. 理解 let 表达式 let 是一个表达式，可以在

Haskell 函数定义 let表达式

71 0

Haskell 共 9 篇文章