Carnap – 用于 Haskell 的形式逻辑框架
发布: (2025年12月23日 GMT+8 17:17)
1 min read
原文: Hacker News
Source: Hacker News
详情
- 文章链接: https://carnap.io/
- 评论链接: https://news.ycombinator.com/item?id=46363751
- 积分: 7
相关文章
阅读更多 »你可能已经知道 Monad 是什么
引言 在编程中有几个词似乎是专门用来吓退人的： - functor - applicative - monad 如果你尝试查找它们，你……
释放 JavaScript 中箭头函数的强大力量
箭头函数基础 箭头函数在 ES6 中被引入，作为一种更简洁的函数表达式写法。它们拥有比传统函数更短的语法。
Show HN: FP-pack – 在 TypeScript 中无 monad 的函数式管道
嗨 HN，我构建了 fp-pack，一个小型的 TypeScript 函数式实用库，专注于 pipe‑first 组合。目标是保持管道简单且可读，……
Common Lisp SDK for the Datastar 超媒体框架
请提供您希望翻译的摘录或摘要文本，我才能为您进行简体中文翻译。