Back to Blog

相关文章

阅读更多 »

Lean 定理证明器 Mathlib

文章 URL: https://github.com/leanprover-community/mathlib4 评论 URL: https://news.ycombinator.com/item?id=46260128 积分: 8 评论: 0

JavaScript 中的一等函数

介绍 对于学习 JavaScript 的开发者来说，术语 first‑class functions 在讨论和文档中经常出现。在 JavaScript 中，函数 a...

Java 8（Stream API）

Stream API 的特性 - 声明式 – 使用函数式风格编写简洁且可读的代码。 - 惰性求值 – 只有在终端操作时才会执行操作……