正如类型类通常比面向对象编程中的接口更抽象一样，参数化类型在大多数语言中扮演着比泛型更大的角色。本课介绍了一个重要的参数化类型：Maybe。与表示值容器的 List 或 Map 不同，Maybe 是你将看到的许多表示值上下文的类型中的第一个。Maybe 类型表示可能缺失的值。在大多数语言中，缺失的值用 null 值表示。通过使用表示可能缺失的值的上下文，Maybe 类型允许你编写更安全的代码。由于 Maybe 类型的强大功能，与空值相关的错误会从 Haskell 程序中系统地移除。

#函数式编程 #Haskell

2025年4月24日书籍翻译

Get Programming with Haskell-18

到目前为止，我们已经讨论了类型如何像数据一样被加和乘。像函数一样，类型也可以接受参数。类型通过在其定义中使用类型变量来接受参数（因此它们的参数总是其他类型）。使用参数定义的类型称为参数化类型。参数化类型在 Haskell 中扮演着重要的角色，因为它们允许你定义可以与各种现有数据一起使用的通用数据结构。

#函数式编程 #Haskell

2025年4月22日书籍翻译

Get Programming with Haskell-17

组合两个事物意味着什么？这里有一些例子：你可以连接两个列表得到一个新的列表，你可以合并两个文档得到一个新的文档，你可以混合两种颜色得到一种新的颜色。在许多编程语言中，每种组合类型的方法都有其自己独特的操作符或函数。与几乎每种编程语言都提供将类型转换为字符串的标准方法非常相似，Haskell 提供了一种将相同类型的实例组合在一起的标准方法。

#函数式编程 #Haskell

2025年4月22日书籍翻译

Get Programming with Haskell-16

你将更仔细地研究一些我们已经介绍过的类型。你这样做是为了更多地了解 Haskell 类型的独特之处以及如何使用类型设计程序。到目前为止，你所看到的大多数类型都是代数数据类型。代数数据类型是通过组合其他类型而形成的任何类型。理解代数数据类型的关键在于准确地知道如何组合其他类型。幸运的是，只有两种方法。你可以使用“与”组合多种类型（例如，一个名字是一个 String 与另一个 String），或者你可以使用“或”组合类型（例如，一个 Bool 是一个 True 数据构造器或一个 False 数据构造器）。通过使用“与”组合其他类型而形成的类型称为积类型（product types）。使用“或”组合而形成的类型称为和类型（sum types）。

#函数式编程 #Haskell

主题索引

按主题浏览

展开全部标签

#开发 74 #Rust 52 #函数式编程 38 #Java 33 #Haskell 28 #Python 26 #并发编程 24 #Web开发 23 #算法 21 #数据库 18 #思考 15 #Web 13 #C/C++ 12 #Nodejs 12 #全栈 12 #Go 11 #Zig 10 #工具 10 #架构设计 10 #Clojure 8 #Elixir 8 #JavaScript 8 #React 7 #SpringBoot 7 #Vert.x 7 #网络协议 7 #iroh 6 #Kafka 6 #前端 6 #操作系统 6 #编程原理 6 #编程语言 6 #运维 6 #JVM 5 #P2P 5 #Web3 5 #消息中间件 5 #Database 4 #Spring 4 #信息安全 4 #数据结构 4 #系统设计 4 #设计模式 4 #http 3 #TypeScript 3 #分布式系统 3 #异步编程 3 #测试 3 #网络 3 #AI 2 #GUI 2 #Lisp 2 #Postgresql 2 #Solidity 2 #SQL 2 #Vue 2 #包管理器 2 #思考原则 2 #推荐 2 #爬虫 2 #错误处理 2 #Actix 1 #API设计 1 #BaaS 1 #Base64 1 #Cargo 1 #ClojureScript 1 #Docker 1 #egui 1 #Git 1 #Github 1 #Hadoop 1 #HashMap 1 #Hash表 1 #json 1 #Kotlin 1 #MySQL 1 #NAT 1 #Nextjs 1 #OAuth2 1 #QUIC 1 #Relay 1 #RustRover 1 #SpringCloud 1 #sqlx 1 #tauri 1 #UDP 1 #WebSocket 1 #二叉树 1 #云原生 1 #健康 1 #前端架构设计 1 #前缀和 1 #双指针 1 #回溯 1 #大数据 1 #字符串 1 #定时任务 1 #密码学 1 #序列化 1 #建站 1 #心理 1 #授权 1 #数据分析 1 #数组 1 #文件系统 1 #日志 1 #栈和队列 1 #浏览器 1 #消息推送 1 #界面设计 1 #程序设计原理 1 #统计 1 #编程模型 1 #网络中继器 1 #网络安全 1 #网页 1 #路由器 1 #运行时 1 #鉴权 1 #链表 1