为什么lisp,或者说common lisp现在这么冷门呢?


#93

因為 ccl 编译器比 sbcl 快,而这两个 cl 执行代碼都是要先编译的。所以比如 ACL2 就是开发用 CCL, 实际 deploy 用 SBCL

比如你在 REPL 里运行 (car '(a . b)) 就會先生成一个 thunk (lambda () (car '(a . b))) 编译成 native code,再 funcall 它。


#94

https://www.cliki.net/

这里算一个小集合


吐槽一下,掌握CL的一些最佳实践的确比较费力。


#95

This is a feature

http://joaotavora.github.io/sly/#Completion


#96

This so-called “feature” will sort the candidates by relevance reverse order.

%E5%9B%BE%E7%89%87


#97

不知道,我怀疑你用的是假的 sly,我用的这个是只配了 company-sly,其它全部默认。保險起見更新了一下也还是这樣。

(straight-use-package 'sly)
(straight-use-package 'sly-company)

sly-complete-symbol-function is a variable defined in ‘sly-completion.el’. Its value is ‘sly-flex-completions’


#98

应该是你用了某些你不知道的东西

hello


#99

多谢,原来lispworks就是官网。

是怎么回事?。。。


#100

这个网站不错,多谢。

是的。而且我认为Common Lisp现在严重缺乏布道师(话说 除了 @LdBeth 之外我还真没见过几个人吹CL的)。

不要小看布道师的力量:

就比方说Python吧,这个语言其实在以前还是比较难学的。但自从机器学习火了之后,Python布道师一来(比如:各种培训班、视频、讲师等的出现),使得Python立马变得非常世俗化。

当然,我严重怀疑Common Lisp社区是否想把这个语言世俗化(他们很可能只想自娱自乐,并不想把语言推广出去)。


#101

市俗化没有什么好处,尤其是只要很少的精力就能把 Common Lisp 项目维护下去的现在。老夫用 Common Lisp 原因就是不用花时间为了新玩意改代码,能可以用上四十年前的古董软件,语言本身并不缺什么新特性。

至于古董软件有什么好,一来到现在最多再过几年就没有什么版权问题,二来让我震惊的是二十来年很多东西都没有突破性的发展,而且还没有做到让人满意的地步,甚至有不少还在原地踏步。比如标记语言。


#102

LispWorks 不是官网,只是 HyperSpec 的版权转给了这个公司。而且只是多数人觉得 HyperSpec 比 PDF 合适的 ANSI 标准好用点罢了。HyperSpec 是有人从标准委员会得到授权根据标准和一些会议文档做的 HTML 参考。

主要是 X3J13 的主要成员都上了年纪了,或者挂了,然后多数成员,尤其是卖 Common Lisp 的公司,比如 LispWorks, Xerox, Allgro,认为继续搞标准没有利益,然后又赶上他们的上层组织 NCITS 改组了,版权都不知道在谁手上,多方面原因下就不搞了。Common Lisp 之后他们还搞了个 ISLISP,因为基本上是 Common Lisp 的简化版,而且主要实现都是商业软件,所以不太出名。法国等那边搞过 EuLisp,有不少有趣的设计,不过因为大家都是花业余时间搞的后来也没完成。自此所有其它现代化 Lisp 的举措失败,而 Scheme 基本上就没从传统 Lisp 继承什么,本身也只有很少的标准定义。


#103

很多所谓现代语言,基本就是把C Java Lisp等语言甜的部分拿过来混合一下,然后就成了一个新语言。Golang算是谷歌造了块电池,然后附赠语言一个。Kotlin所谓防止空指针,就是?.安全运算符。

暗示标记语言应该用一门图灵完备的正规语言?


#104

标记语言,比如:XSLT 就是图灵完全的

PS:不过我这么说不怎么准确:因为XSLT本身并没有体现出annotating a document的概念,它只是转换文档。但计算机里jargon经常被乱用,比如:XML也被称为“标记语言”,但实际上它也只是一个specification,它并没有给你什么tag让你能真正去标记什么,与XML相对应的是s-exp而不是lisp(HTML倒是真的去标记了)。但从另一个方面看:和XML配套的XSD确实能从CFG的角度对XML文档进行约束,而XSLT可以作为对XML文档的图灵约束(那么约束算不算一种标记?就见仁见智了)


#105

http://xml.coverpages.org/mt98-papers.html#reid

暗示 Scribe 如果能开源能比 SGML/Md/Org/ReStr/… 做得更好。这个 PPT 明示了某些连直接照着前人的思想抄都做不好。

In case u a ^ curious, scribe 卖给了某个公司然后那个公司又被转手后就没了下文。


#106

如果图灵完全那么有用 人工智能应该不会是现在这样 CL也不会这样


#107

图灵机本来就是个只能读写纸带子得破玩意,你还能指望它干啥。


#108

可总有人拿它说事儿


#109

估计是潜意识把图灵机和图灵测试搞混了


讲个笑话:

提问者:给你一句话的机会证明你是人类,不然就把你杀了。

回答者 A:我上有80岁老母,下有8岁的儿子,你就放过我吧!

回答者 B:给你一句话的机会证明你是人类,不然就把你杀了。

请问 A 和 B 哪个是真正的人类?

  • A
  • B
  • 布吉岛
  • 初音岛
  • 萝莉岛

0 投票者


#110

我选择回答第二个问题


#111

人类的本质是(


#112

选萝莉岛的是真的勇士…