依赖类型 – 第 2 页

发布于 2025-06-23

9 热度无~ Haskell

摘要

Haskell 语言依赖类型初探 Haskell 是一种纯函数式编程语言，以其强大的类型系统和惰性求值而闻名。在 Haskell 中，依赖类型（Dependent Types）是一种高级类型系统特性，它允许类型依

发布于 2025-06-08

18 热度无~ PureScript

摘要

阿木博主一句话概括：PureScript 语言中依赖类型的有限实现：类型级编程的探索阿木博主为你简单介绍：依赖类型是类型理论中的一个重要概念，它允许类型依赖于其他类型或值。PureScript 作为一种函数式编