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

#函数式编程 #Haskell

2025年4月24日书籍翻译

Get Programming with Haskell-18

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

#函数式编程 #Haskell

2025年4月23日技术分享

Rust Web开发 - 3

实现RESTful风格的API

#Rust #Web开发 #开发

2025年4月22日书籍翻译

Get Programming with Haskell-17

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

#函数式编程 #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