四十三届Agda开发者大会：小众语言背后的死磕精神

又一个编程语言的开发者大会公告，2票、零评论，几乎没人关注。Agda——这门以依赖类型理论著称的编程语言，正在举办它的第四十三届实现者会议。四十三届，什么概念？很多主流语言的开发者聚会连两位数都到不了。我挺好奇，一门学术圈里才有人认真讨论的形式化验证语言，怎么就攒了这么多届聚会？大概是靠一群愿意在类型系统里较真的人，一届一届硬撑下来的。这种小众但极致的社区生命力，反而比那些风口上一窝蜂涌进去的语言更让人佩服。

原文：Agda Implementors' Meeting Xliii · 来源：Hacker News