惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

AI
AI
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
Google DeepMind News
Google DeepMind News
T
Tenable Blog
博客园_首页
S
Securelist
Spread Privacy
Spread Privacy
Google Online Security Blog
Google Online Security Blog
Forbes - Security
Forbes - Security
Engineering at Meta
Engineering at Meta
U
Unit 42
L
LINUX DO - 热门话题
量子位
T
Threat Research - Cisco Blogs
博客园 - 【当耐特】
C
Cyber Attacks, Cyber Crime and Cyber Security
K
Kaspersky official blog
MyScale Blog
MyScale Blog
P
Proofpoint News Feed
The Last Watchdog
The Last Watchdog
Google DeepMind News
Google DeepMind News
GbyAI
GbyAI
Martin Fowler
Martin Fowler
Exploit-DB.com RSS Feed
Exploit-DB.com RSS Feed
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
Security Latest
Security Latest
Scott Helme
Scott Helme
V
Vulnerabilities – Threatpost
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
I
InfoQ
Know Your Adversary
Know Your Adversary
Cisco Talos Blog
Cisco Talos Blog
The Register - Security
The Register - Security
T
The Blog of Author Tim Ferriss
aimingoo的专栏
aimingoo的专栏
V2EX - 技术
V2EX - 技术
T
Tailwind CSS Blog
月光博客
月光博客
Recent Announcements
Recent Announcements
G
Google Developers Blog
F
Full Disclosure
W
WeLiveSecurity
宝玉的分享
宝玉的分享
腾讯CDC
G
GRAHAM CLULEY
Vercel News
Vercel News
Simon Willison's Weblog
Simon Willison's Weblog
美团技术团队
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
Help Net Security
Help Net Security

暗无天日

读:AI Agent 安全日志——从可见性与隐私的两难说起 - 暗无天日 读:AI Agent 生产化——一份从原型到上线的速查清单 - 暗无天日 AI写作的语言指纹——如何让文字不那么像机器 - 暗无天日 读:50 条 Claude Code 技巧——一个工程经理的六个月使用心得 读:AI 辅助开发为什么让 E2E 测试更有价值 - 暗无天日 读:在Emacs中使用Claude Code(Spacemacs适配版) - 暗无天日 Claude Code 背后的工程哲学——读 Agent Harness Engineering 读:Agent Harness Engineering——AI 智能体不只是模型,还有套件 - 暗无天日 browser-harness:让 AI 直接接管你的浏览器 - 暗无天日 读:Security-First CI/CD —— DevSecOps 自动化实践指南 TIL: 数字小键盘的小数点陷阱与行内算术求值 - 暗无天日 读:Immutability 不是万能药,它是一种权衡 - 暗无天日 Conducty:给 Claude Code 加上项目记忆和并行执行能力 - 暗无天日 读 — GitHub Trending 里的 Claude Code 技能包 读 — Prompt Caching 省钱指南 TIL: Emacs 中那些跟鼠标配合的冷门快捷键 - 暗无天日 读:Anvil——把 Emacs 变成 AI 的工具服务器 读:Emacs 代码折叠终极指南 - 暗无天日 读:Clojure 搭车客指南 - 暗无天日 git推送失败后恢复仓库损坏的完整记录 - 暗无天日 多智能体系统的两个有效模式——以及对 Claude Code 用户的启示 - 暗无天日 用 Org Babel 写 Literate 博文:扩展执行 + 定制导出 proced:Emacs 内置的进程查看器 - 暗无天日 从 proced 定制中学到的 Elisp 模式 读:让 Emacs proced 在 macOS 上显示 CPU 和内存 异步编程的函数着色税 - 暗无天日 链式调用的代价:JavaScript 和 Clojure 的共同教训 - 暗无天日 hyperfine:命令行基准测试工具 - 暗无天日 管道中的变量去哪了?——子 shell 作用域陷阱 - 暗无天日 开源包装器的信任陷阱:四个危险信号 - 暗无天日 程序员愿意为 AI 写文档,却不愿为同事写 - 暗无天日 mktemp: Shell 脚本中临时文件的安全陷阱与最佳实践 - 暗无天日 WSL9x —— 在 Windows 9x 里跑 Linux 内核 6.19 用 ox.el 做你想做的事 —— org-export 高级编程指南 读:Hot-wiring the Lisp Machine —— 用纯 Elisp 构建零依赖的 Org 静态站点生成器 Elisp 性能优化的六个实战教训 - 暗无天日 fcitx5 下 Emacs 无法切换输入法的排查 - 暗无天日 ERT 测试交互命令的三种方式 - 暗无天日 SEM Assistant: 当 Elisp 守护进程遇上 LLM 用 dmsg 给 Elisp 加上结构化调试日志 用 org-habit 追踪非每日习惯 - 暗无天日 TIL: 用 diff-hl 在 fringe 中显示 git 变更 读:llm-test —— 用 LLM agent 驱动 Emacs 测试 TIL: AI 时代的橡皮鸭调试 - 暗无天日 fcitx 启动后键盘输入卡顿的排查 - 暗无天日 TIL: 早期网页的图片热区导航 - 暗无天日 读 Seeing the Whole System 用 Emacs 自动生成每周链接推荐 - 暗无天日 读:ASCII control characters in my terminal 读 What to learn - 暗无天日 Lisp 的括号之痛——一个愚人节玩笑揭开的老伤疤 - 暗无天日 一本书该"线性读"还是"并行读" - 暗无天日 读 How to Monetize a Blog:一篇伪装成变现指南的讽刺文 Python Mock 第三方依赖的四种策略 - 暗无天日 Emacs Lisp 热重载实用指南 - 暗无天日 Prot 的 Emacs 配置哲学 - 暗无天日 TIL: 从直播对谈中学到的三个 Emacs 技巧 - 暗无天日 TIL: 自动使用项目虚拟环境的 Python - 暗无天日 TIL: 让 Help buffer 自动获得焦点 一条命令让本地开发用上 HTTPS —— slim 工具介绍 用 fsck 检查和修复 Linux 文件系统 排查Linux进程"卡死"实战:从strace到gdb全流程 - 暗无天日 PostgreSQL 索引:从基础到你可能不知道的高级用法 - 暗无天日 用 .pdbrc 自定义 Python 调试器 ANSI 转义码的标准化现状 - 暗无天日 终端程序的潜规则 - 暗无天日 PARA Org-mode 测试配置 - 暗无天日 AI越强越辣鸡?控制论说这是必然的 - 暗无天日 AI 越强越需要你盯着——反馈循环实操指南 - 暗无天日 你的AI代理正在偷你的密钥——四种你没想到的泄露通道 - 暗无天日 LLM 在 DevOps 中的三种角色 - 暗无天日 写作风格的反建议 - 暗无天日 反驳本质复杂性——Dan Luu 论为什么《没有银弹》错了 - 暗无天日 文件充满了危险——Dan Luu 谈文件系统的可靠性陷阱 - 暗无天日 AI 时代的 PARA 方法:用 Org-mode 和 AI 打造个人知识管理系统 Linux 数据去重学习笔记 - 暗无天日 创建跨平台 ZIP 文件的隐藏陷阱:Extra Field - 暗无天日 X11 Forwarding 排障指南 - 暗无天日 IP欺骗端口扫描:当别人冒充你去扫描别人 - 暗无天日 Linux 输入栈全景解析:从硬件按键到屏幕响应 - 暗无天日 Unix 系统中那些被埋没的配置开关——以 FontConfig 为例 - 暗无天日 在Linux上限制儿童使用电脑 - 暗无天日 GIF不仅仅是一种图片格式——用GIF流做些奇怪的事 - 暗无天日 Leiningen 学习笔记:Clojure 项目构建与管理从入门到实战配置 - 暗无天日 Google SRE Book 读书笔记 - 暗无天日 yes 管道 head 发生了什么 - 暗无天日 为什么 nohup 在 crontab 中不起作用 Bash中的Indirection与Nameref - 暗无天日 Linux PAM 简介 - 暗无天日 从Linux ISO文件启动计算机 - 暗无天日 用 Bash 打造一个Screen Locker 用GitHub Actions自动构建EGO博客 - 暗无天日 blocking I/O 的作用 - 暗无天日 mobileog 手机端同步提示Error:2 No such file 的解决方法 回收 WSL2 VHDX 文件占用空间 使用 org-mode columnview 生成任务列表 - 暗无天日 Emacs 作为 MPD 客户端 - 暗无天日 移动文件路径却不破坏org file link的方法 - 暗无天日 如何合理的导出help link 成HTML - 暗无天日 笑话理解之Biology - 暗无天日
Clojure X-Men:当编程语言特性变成超能力 - 暗无天日
2026-04-23 · via 暗无天日

Carin Meier 在 2014 年写过一篇有趣的短文1:假设有人天生拥有 Clojure 语言特性的超能力,他们会是什么样的人?原文只有故事没有代码。本文借用她的创意,为每个"超能力"补上真实的代码示例,看看这些特性到底在做什么。

Luke:看到无限的未来

Luke 是个懒人,凡事能拖就拖。但他发现自己能看到未来——不是看到确定的某个画面,而是看到未来的所有可能性。虽然只能看到几毫秒之后的事,但这已经够了。

他的超能力是 Clojure 的 *惰性求值*(lazy evaluation)。

普通编程语言中,你要先造好一个完整的列表才能用它。比如生成一百万个数字,就得先把一百万个数字全部算出来放在内存里。Clojure 不一样——它给你一个"承诺":你需要多少,我就算多少,你不需要的部分永远不算。

;; range 不加参数会生成无限序列
;; 但因为惰性求值,它不会真的把无穷多个数字全算出来
(take 5 (range))
(0 1 2 3 4)

range 返回的是一个无限序列的描述,不是真的把无穷多个数塞进内存。=take 5= 说"我只要前 5 个",于是 Clojure 只算 5 个就停下来。你也可以对无限序列做变换:

(take 3 (map #(+ % 100) (range)))
(100 101 102)

map 把每个元素加 100,=take 3= 只取前 3 个。中间的无限序列从来没有被完整计算过。这就是 Luke 的能力——他不需要看到全部的未来,只需要看到眼前需要的那部分。

Spress:让万物开口说话

Spress 五岁就发现自己的超能力:她能让任何东西"说话"。指着一桶水说"牛",水桶就会"哞"叫。她不需要改造水桶本身,只需要定义一套新的行为规则,然后把规则套到任何东西上。

她的超能力是 Clojure 的 *protocol*(协议)——解决"表达式问题"的机制。

表达式问题是编程语言设计中的经典难题:你有一组数据类型和一组操作,想在不修改已有代码的前提下同时增加新的类型和新的操作。面向对象语言容易加新类型(写个子类),但加新操作(给已有类加新方法)很难。函数式语言反过来,容易加新操作(写个新函数),但加新类型很难。

Clojure 的 protocol 让你两者都能做到:

;; 定义一个协议:speak(说话)
(defprotocol Speak
  (speak [this]))

;; 给已有的 String 和 Number 类型扩展 speak 行为
;; 不需要修改 String 或 Number 的源码
(extend-protocol Speak
  String
  (speak [this] (str this " says: 喵"))
  Number
  (speak [this] (str this " says: 汪")))
(speak "cat")
;; => "cat says: 喵"

(speak 42)
;; => "42 says: 汪"

String 和 Number 是 Java/Clojure 内置的类型,你改不了它们的源码。但通过 extend-protocol ,你可以给它们加上 speak 行为,就像 Spress 给水桶加上了"哞"叫的能力一样。以后你还可以定义新的类型,也让它们实现 Speak 协议——新类型、新操作,互不干扰。

Multi:一心多用

普通人看东西、听声音、感受触摸,这些感官输入最终都要排队进入意识——一个单线程的瓶颈。Multi 不一样,他的大脑能同时对所有感官输入做高级推理。结果就是,他反应超快,决策超聪明。

他的超能力是 Clojure 的 *并发*(concurrency)。

Clojure 提供了几种并发工具。最直观的是 future :把一段代码丢到另一个线程去执行,当前线程继续干别的事,需要结果的时候再等它。

;; future 启动另一个线程执行
(let [f (future (Thread/sleep 100) "来自未来的结果")]
  ;; 在这里可以做别的事...
  ;; 需要结果时用 @ 等待
  @f)
"来自未来的结果"

如果你有一批计算任务,=pmap= (parallel map)能自动把它们分到多个核上并行执行:

;; pmap 像 map 一样工作,但自动并行
(doall (pmap #(* % %) (range 1 6)))
(1 4 9 16 25)

pmap 把 5 个平方计算分配到多个线程上同时执行,比串行的 map 快。Clojure 的并发工具不只是这些, 比如:

  • atom 做原子更新
  • core.async 做消息传递

核心思想都是为了让多核的能力为你所用,而不是被锁和竞态条件搞得焦头烂额。

Dot:跟异类说话

Dot 天生跟动物亲近。走进森林,鹿和鸟会主动靠近。有次她被压在树下,一头熊走过来帮她搬开了木头。她能毫不费力地跟其他物种沟通。

她的超能力是 Clojure 的 *Java 互操作*(interop)。

Clojure 跑在 JVM 上,Java 生态里几百万个库就是她的"动物"。她不需要特殊的桥梁或适配器,直接用 Clojure 语法调 Java 方法:

;; 调用 Java 的 String.toUpperCase
(.toUpperCase "hello clojure")
"HELLO CLOJURE"
;; 读取 Java 的常量
Math/PI
3.141592653589793
;; 调用 Java 的系统方法
(System/getProperty "java.version")
"21.0.10"

不用写适配层,不用写包装类,Clojure 调 Java 就像调自己人一样。反过来,Java 代码也能调用 Clojure 函数。两门语言之间没有隔阂——这就是 Dot 的天赋。

Bob:一眼看穿本质

Bob 是 X-Men 的队长。他最大的能力是:面对任何复杂问题,他能立刻剥离掉不重要的细节,抓住核心。他从不被花哨的框架和设计模式迷惑,因为他知道,真正有力量的东西都是简单的。

他的超能力是 Clojure 的 *极简哲学*(simplicity)。

Clojure 的设计哲学是:能用数据解决的问题,就不要发明新概念。你不需要定义一个 Person 类,用 map 就行:

;; 不需要定义类,用 map 表示数据
(def person {:name "Bob" :power "simplicity"})
{:name "Bob", :power "simplicity"}
;; 用关键字当函数,直接取值
(:name person)
"Bob"
;; 需要加字段?assoc 一下
(assoc person :age 30)
{:name "Bob", :power "simplicity", :age 30}

没有类定义,没有构造函数,没有 getter/setter,没有继承体系。一个 map 加几个通用函数(=assoc= 、=dissoc= 、=update= 、=merge=),就能完成绝大多数数据操作。Clojure 认为复杂性是敌人——语言应该帮你消除不必要的抽象,而不是制造更多的抽象。

还可能有更多

原文最后说:可能还有更多拥有 Clojure 超能力的人没被发现,我们只能希望他们被 Bob 找到,用力量做善事。现实中,Clojure 的特性远不止这五个,比如,宏(macro)、持久化数据结构(persistent data structure)、软件事务内存(STM)……每个都值得单独聊聊。但用超级英雄角色来理解编程语言特性,这个角度本身就挺有趣——把抽象的概念套上人格,比直接读文档容易记住得多。