王垠：Lisp 已死，Lisp 万岁！

最新推荐文章于 2021-05-25 13:35:53 发布

a13393665983

最新推荐文章于 2021-05-25 13:35:53 发布

阅读量156

点赞数

原文链接：http://www.cnblogs.com/lexus/p/3350022.html

版权

王垠：Lisp 已死，Lisp 万岁！

王垠：Lisp 已死，Lisp 万岁！_IT新闻_博客园

王垠：Lisp 已死，Lisp 万岁！

posted on 2013-10-03 10:46 lexus 阅读( ...) 评论( ...) 编辑收藏

转载于:https://www.cnblogs.com/lexus/p/3350022.html

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

a13393665983

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

王垠：我为什么不再研究编程语言(PL)

LLand520的博客

09-16

1201

文/王垠我不做程序语言（PL）的工作已经半年了。在这半年里，我变得快乐了很多，对世界也有了新的观点。现在我想来讲一讲，我为什么不想再做 PL 的工作和研究。我只希望这些观点可以给正在做 PL，或者考虑进入这个领域的人们，作为一份参考。学校里的 PL 人 PL 看似计算机科学最精髓的部分，事实确实也是这样的。没有任何一个其它领域，可以让你对程序的本质形成如此深入的领悟，然而这并不等于你就应该进入 PL 的博士班。这是为什么呢？炒冷饭 PL 这个领域几十年来，已经发展到了非常成熟的阶段。这里面的问题，要么

王垠解密计算机科学,王垠：谈“P=NP?”

weixin_34759490的博客

06-25

3128

“P=NP?” 通常被认为是计算机科学最重要的问题。有一个叫Clay Math的研究所，甚至悬赏 100 万美元给解决它的人。可是我今天要告诉你的是，这个问题其实远远不是那么的重要。我并不是第一个这样认为的人。在很早的时候，就有一位数学家毫不客气的指出，P=NP? 是个愚蠢的问题，并且为了嘲笑这个问题，专门在 4 月 1 号写了一篇“论文”，称自己证明了 P=NP。我身边有一些非常聪明的人，他...

参与评论您还未登录，请先登录后发表或查看评论

关于王垠和Lisp的感悟

gsls200808的专栏

05-22

1904

个人看法，欢迎拍砖，个人没学过Lisp 1.一门计算机语言的思想可能影响一个人，改变一个人的思想，因为学习一门语言，不仅在学语法，而且也在学这门语言的设计思想。王垠表现出来的很多行为恰好符合大多数lisp技术牛人的特征。 2.暂时只想出第一条，后面想出来再补充

王垠：谈语法

beswkwangbo的专栏

11-18

1544

使用和研究过这么多程序语言之后，我觉得几乎不包含多余功能的语言，只有一个：Scheme。所以我觉得它是学习程序设计最好的入手点和进阶工具。当然 Scheme 也有少数的问题，而且缺少一些我想要的功能，但这些都瑕不掩瑜。在用了很多其它的语言之后，我觉得 Scheme 真的是非常优美的语言。要想指出 Scheme 所有的优点，并且跟其它语言比较，恐怕要写一本书才讲的清楚。所以在这篇文章里，我只

王垠：如何掌握程序语言

汉密士的博客

10-30

847

文章目录前言对程序语言的各种误解如何掌握程序语言几种常见风格的语言从何开始？过渡到面向对象语言说明前言学习程序语言是每个程序员的必经之路，可是这个世界上有太多的程序语言，每一种都号称具有最新的“特性”。所以程序员的苦恼就在于总是需要学习各种稀奇古怪的语言，而且必须紧跟“潮流”，否则就怕被时代所淘汰。作为一个程序语言的研究者，我深深的知道这种心理产生的根源。程序语言里面其实有着非常简单，永恒不变的原理。看到了它们，就可以在很短的时间之内就能学会并且开始使用任何新的语言，而不是花费很多功夫去学习一个又一

海归王垠 V.S. 阿里P10赵海平，不对等面试所引起的争议

热门推荐

12-23

1万+

近日，“阿里P10赵海平面试王垠”引发程序员业内争议。此前，王垠受邀请去阿里巴巴面试，面试官是P10(研究员)的赵海平。王垠称在整个面试的过程，赵海平根本不是在发掘一个人的才能，而是质疑简历，同时贬损其博客内容，并且在面试中大谈“P vs NP”(计算机领域的超级难题)的说教。最终由于负面反馈，没能入职阿里。但是赵海平则称，王垠应该把自己最拿手最出彩的工作分享给面试官，详细解释为什么难，为什么...

王垠：《怎样写一个解释器》

04-17

这篇文章中，王垠介绍了如何编写一个解释器，并特别强调了对递归和模式匹配的理解，这些都是编写解释器中非常关键的概念。递归是编程中一种重要的方法，特别是在处理像算术表达式这类自然递归定义的数据结构时。...

王垠：《如何制作TeXmacs 样式文件》

04-17

TeXmacs是一种基于Scheme语言的文档准备系统，它具有强大的可视化编辑功能和对文档结构的精细控制。TeXmacs的设计风格倾向于所见即所得（WYSIWYG）和人性化设计，其目的不仅在于提供一个功能丰富的编辑环境，而且...

王垠：《完全使用Linux工作》

11-13

王垠：《完全使用Linux工作》.对比微软的操作系统以及MS office.提出linux等自由软件存在的重大意义。

【转】函数式语言的宗教

weixin_34111790的博客

03-03

211

很早的时候，“函数式语言”对于我来说就是 Lisp，因为 Lisp 可以在程序的几乎任意位置定义函数，并且把它们作为值来传递（这叫做 first-class function）。可是到后来有人告诉我，Lisp 其实不算“函数式语言”，因为 Lisp 的函数不“纯”（pure）。所谓“纯函数”，就是像数学函数一样，你给它同样的输入，它就给你同样的输出。然后你就发现在这种定义下，几乎所有程序语言里面...

王垠博客 linux,前段时间花了一个通宵把王垠（Yin Wang）博客的所有文章看完了...

weixin_36250058的博客

05-25

4347

前段时间花了一个通宵把王垠的博客看完了，觉得还是受益匪浅的，所以也给大家谈谈感想。首先说起王垠这个人嘛，最早了解他的是因为他那篇神一般的传教洗脑文章《完全用Linux工作》，虽然后来被喷成狗。这篇文章在国内的Linux圈子里面非常有名，甚至可以说是国内Linux宗教里的一面旗帜了。虽然我不是完全因为这篇文章入的Linux大坑，但是不可否认当时的我也成功被煽动成了一个Linux脑残粉…甚至到了现在我...

为什么lisp这么强大的语言用的人这么少

weixin_33719619的博客

01-19

2104

再一次学习了lisp语言,再一次被lisp的强大震撼.虽然一直没有用lisp做什么东西,但每一次学习都能帮助领会其他语言的脉络. Lisp is a language for doing what you've been told is impossible. ...

[王垠系列]一种新的操作系统设计

unsv29的专栏

01-07

1684

一种新的操作系统设计我一直在试图利用程序语言的设计原理，设计一种超越“Unix 哲学”的操作系统。这里是我的设想：这种系统里面的程序间通信不使用无结构的字符串，而是使用带有类型和结构的数据。在这样的系统里面，Unix 和其它类似操作系统（比如 Windows）里的所谓“应用程序”的概念基本上完全消失。系统由一个个很小的“函数”组成，每个函数都可以调用另外一个函数，通过参数传递数

王垠

noBt的博客

06-25

6169

看了几篇王垠的文章确实挺客观的在发表自己的观点网民的断章取义、道听途说让人误解啊王垠站点：http://www.yinwang.org/

cmd脚本-bat批处理-AdobeRemovePanel.zip

05-22

cmd脚本-bat批处理-AdobeRemovePanel.zip

HTML、CSS与JavaScript构建学生信息管理系统

最新发布

05-22

好的，以下是重新表述后的内容：本次学生信息管理系统的效果页面代码较为复杂，主要涉及HTML、JS和CSS。在实现过程中，遇到了以下难点：页面中有一个复选框，通过它的checked属性可以判断是否被选中。当点击该复选框时，需要将当前页面的这一列所有复选框的checked属性设置为相同的值，从而实现全选功能。要实现仅选择当前页的功能，首先需要获取当前页面的页码，记为page。由于每一页设定只显示10条内容，因此可以通过以下规则计算当前页的起始条目索引：当前页的开始条数为(page - 1) * 10。如果还有其他问题，可以评论或者通过邮箱（1079349989@qq.com）联系我。完整的代码可以在我的GitHub中找到，GitHub链接在本页面。

基于滑模观测器的无位置传感器控制Simulink永磁同步电机（PMSM）仿真模型附资料 · 滑模观测器

05-22

内容概要：本文详细介绍了基于Simulink仿真平台的永磁同步电机(PMSM)滑模观测器无位置传感器控制策略的建模方法和技术细节。主要内容涵盖滑模观测器的工作原理，即通过电流观测反电动势并从中提取转子位置信息，以及具体实现步骤如滑模面设计、坐标变换、反电动势观测器和锁相环(PLL)设计等。文中还提供了MATLAB代码片段，帮助理解和实现关键部分。此外，针对常见的数值稳定性和参数调整问题给出了实用建议。适合人群：从事电机控制系统设计的研究人员、工程师及高校相关专业师生。使用场景及目标：①掌握PMSM无位置传感器控制的基本理论；②学会利用Simulink构建高效的滑模观测器控制模型；③解决实际工程中遇到的技术难题，提高系统性能。其他说明：文章不仅提供理论指导，还包括大量实践经验分享，有助于读者快速上手并在实践中不断优化模型。

python+opencv简谱识别音频生成系统源码含GUI界面+详细运行教程+数据.zip

05-22

python+opencv简谱识别音频生成系统源码含GUI界面+详细运行教程+数据一、项目简介提取简谱中的音乐信息，依据识别到的信息生成midi文件。 Extract music information from musical scores and generate a midi file according to it. 二、项目运行环境 python=3.11.1 第三方库依赖 opencv-python=4.7.0.68 numpy=1.24.1 可以使用命令 pip install -r requirements.txt 来安装所需的第三方库。三、项目运行步骤 3.1 命令行运行运行main.py。输入简谱路径：支持图片或文件夹，相对路径或绝对路径都可以。输入简谱主音：它通常在第一页的左上角“1=”之后。输入简谱速度：即每分钟拍数，同在左上角。选择是否输出程序中间提示信息：请输入Y或N（不区分大小写，下同）。选择匹配精度：请输入L或M或H，对应低/中/高精度，一般而言输入L即可。选择使用的线程数：一般与CPU核数相同即可。虽然python的线程不是真正的多线程，但仍能起到加速作用。估算字符上下间距：这与简谱中符号的密集程度有关，一般来说纵向符号越稀疏，这个值需要设置得越大，范围通常在1.0-2.5。二值化算法：使用全局阈值则跳过该选项即可，或者也可输入OTSU、采用大津二值化算法。设置全局阈值：如果上面选择全局阈值则需要手动设置全局阈值，对于.\test.txt中所提样例，使用全局阈值并在后面设置为160即可。手动调整中间结果：若输入Y/y，则在识别简谱后会暂停代码，并生成一份txt文件，在其中展示识别结果，此时用户可以通过修改这份txt文件来更正识别结果。如果选择文件夹的话，还可以选择所选文件夹中不需要识别的文件以排除干扰

清华博士生王垠：全Linux生活背后的哲学与应用价值

"完全用Linux工作"是由清华大学在读博士生王垠撰写的一篇长篇文章，他在2005年发表在水木社区博客上，引发了广泛的社会关注和争议。文章的核心内容是王垠阐述了他对Linux系统的深度理解和全面评价，认为Linux在各个...