Lean 怎么读

Lean 怎么读

产品 社区共识

leen

/liːn/

mp3

Lean 在英语中的标准读法是 「leen」(/liːn/)。

"leen" — theorem prover and language.

来源:Lean

读对项目名只是工程师文化的一部分 — 但开会时被人轻轻纠正、或者在 podcast 上被嘉宾礼貌打断的滋味,并不好受。Pronounce 是一个开源的开发者词汇发音词典,每条都标注来源、信心等级,并且有预渲染的音频可以直接听。

不用查第二次 — 在编辑器里直接听

装上 Pronounce 扩展,在编辑器里悬停 Lean(或任意技术词)就能听到读音,附 IPA 和来源,无需离开代码。中文环境下界面自动切中文。

安装到 VS Code

Open VSX

也支持 Cursor · Windsurf · VSCodium · Zed

在命令行里听

$ say-it Lean # 主读音 × 3 次

安装 CLI:git clone https://github.com/anzy-renlab-ai/pronounce.git && cd pronounce && ./install.sh

查看英文完整词条

→ Lean on the English version

更多中文词条

← 回到中文词条索引

友情链接: