Haskell 作为纯函数式语言，函数是“第一类公民”，其定义和调用机制是整个语言的核心。以下从规范、本质、风格、特殊形式、核心特性五个维度，全方位拆解函数的所有关键规则。 一、函数定义规范 1.1

引言：编程的本质与抽象的起源 编程的本质，是将现实世界的问题转化为计算机可理解、可处理的数据与操作。基础数据类型是这一转化的起点——它们是程序世界的“原子”与“分子”，是所有上层建筑得以建立的唯一原材

GHC扩展的本质是：在保证Haskell强类型安全的前提下，突破标准语法的限制，解决实际开发中的“表达力不足”问题。所有扩展都需要手动开启（如{-# LANGUAGE TypeApplications

Haskell的种类系统（Kind） 和高阶类型——这是Haskell类型系统的“第二层抽象”，也是理解Functor、Monad等核心概念的关键。 核心结论先摆清楚 种类（Kind） ：是“类型的类

一、代数数据类型（ADT）：Haskell 自定义类型的核心 1. 设计背景 Haskell 内置的基础类型（Int、String）和复合类型（列表、元组）仅能满足简单场景，复杂业务（如树形结构、业务

类型类是Haskell最具辨识度的设计，核心是把“行为”和“数据”彻底分开——先定义“能做什么”（行为规则），再给任意类型（内置/自定义）绑定“具体怎么做”（行为实现），完全摆脱面向对象继承的束缚，实

一、Haskell标准库类型类的官方查阅渠道 Haskell标准库的类型类主要集中在 base 包中，以下是获取完整类型类清单的权威途径： 1. 官方文档（最全面） 核心入口：Haskell base

多态（Polymorphism）是Haskell实现代码复用和抽象能力的核心机制，其设计完全贴合纯函数式编程的理念——通过“行为抽象”而非“数据继承”实现灵活适配。不同于面向对象语言的多态模式，Has

1.1 类型推断的设计背景与价值 在Haskell的设计中，类型推断并非“锦上添花”，而是为了解决静态类型与动态类型语言的核心痛点，是平衡“安全”与“简洁”的关键设计。 1.1.1 设计痛点：静态与动