为什么lisp，或者说common lisp现在这么冷门呢？

[cireu]

有一个问题都现在没弄明白

很简单，理由就和有些人相信自己手动做的优化/手写的汇编能比 C 编译器做的更好一样，有些人还觉得自己手动写的展开代码能比自动生成的「更灵活」，这种想法放上古時代还沒什么问題，在编程语言有足夠的发展時还坚持这个而投入无谓的人力就有点可笑了。 http://web.cecs.pdx.edu/~sheard/staged.html Lisp 的表现力是有限的，不然我们 Lisper 現在都用上 dependent typing 了。 说到 Lisp 的优点，我就想到了 MOP，今年下半年，中法合作的以 MOP 为核心 LiLisp 标准即將开始编写，文体两开花。我控记不记我记己。

@LdBeth 问下Ldbeth老师， 啥时候能用上dependent type啊。

对了， idris2好像要结合dependent type和QTT，我们什么时候跟进？