Idris 怎么读

Idris 在英语中的标准读法是 「id riss」（/ˈɪdrɪs/）。

"ID-riss" — dependently-typed lang.

来源：Idris

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