Skip to content
  • 中文版
  • 关于我们 – 知识库
  • 常见问题(FAQ)– 知识库
  • 隐私声明 – 知识库

知识库

知识库
  • Home-old
  • Services
  • About
  • Reviews
  • Why Us
  • Contact

函数式编程

数学, 类型理论, 编程语言, 计算机科学, 软件开发

Agda (Agda)

Agda, 依赖类型, 函数式编程, 定理证明, 形式化验证
函数式编程, 学术会议, 技术, 计算机科学, 软件工程

国际函数式编程会议 (International Conference on Functional Programming, ICFP)

ICFP, 会议, 函数式编程, 学术, 编程语言
函数式编程, 创业, 编程, 荷兰, 计算机科学

埃里克·迈耶 (Erik Meijer)

LINQ, 函数式编程, 埃里克·迈耶, 微软, 计算机科学家
函数式编程, 数据结构, 算法, 编程, 范畴论

范畴论中的折叠 (Catamorphism)

Catamorphism, 函数式编程, 折叠, 数据结构, 范畴论
函数式编程, 单子, 数学, 范畴论, 计算机科学

强范畴 (Strong Monad)

函数式编程, 单子, 强单子, 编程, 范畴论
← Previous 1 2

Copyright © 2025 知识库