programming-language-theory

标签

Cards List
#programming-language-theory

类型的类型:Haskell 的 Kind 体系

Hacker News Top ↗ · 2026-10-14 缓存

一篇博客文章,通过作者在 Haskell 编写的 Redis 服务器克隆项目中添加类型化配置的经验,讲解 Haskell 的 Kind 体系,涵盖值、类型、Kind、高阶 Kind 的类型/数据以及自定义 Kind。

0 人收藏 0 人点赞
← 返回首页

提交意见反馈