想写一个更高智商的编程语言

2018-05-01 07:25:38 +08:00
 enm

初步打算从 lisp to js 的解释器开始,逐步完善语法、API、标准库,等成熟后再编译到 C、wasm 等更高效的语言。

想了解一下各位的看法,比如有没有更好的做法、怎样才是更好的语言?


目前写的介绍开头

12392 次点击
所在节点    程序员
95 条回复
carlclone
2018-05-01 21:28:31 +08:00
楼主你这英文真的要秀吗.....
Moackyy
2018-05-01 22:37:18 +08:00
楼主不妨先聊一下一门语言的发展?还有楼主透漏一下本身的职业,看到底有多靠谱
msg7086
2018-05-01 23:47:57 +08:00
the smart way to "progrom"
code editor showing the most concise "reprentation" for you
object "reprentation" for every "lines" of code
text "reprentation" with lisp syntax
easily "manuplate" by program (eg. code editor)
code to "excute" on different platform

抱歉,我智商真的没高到可以流畅地阅读这种语言文字。

而且看你说了那么多,不还是个键盘侠?
tempdban
2018-05-02 01:20:23 +08:00
有 llvm 了,何苦呢…
neoblackcap
2018-05-02 01:31:52 +08:00
说那么多不就是一个以 s 表达式作为 ast 的语言嘛,同类型的东西请看 Jetbrains 的 MPS。
你说那么多都不是一个语言的问题了,反而更多的是工具。你这样语言基本限制了用什么工具打开你的源代码。如果我用 vim 打开就变成了写 lisp 了。唯有用你的 smart code editor 打开才能显示成最合适的的样子,你需要的是一个 IDE 而不是语言了。
ryd994
2018-05-02 01:37:47 +08:00
王垠
zhanao1994
2018-05-02 02:27:08 +08:00
话说垠王的语言弄完了吗
20015jjw
2018-05-02 03:14:35 +08:00
lz 你要不看看写 wolframalpha 的大佬有多聪明
FrankHB
2018-05-02 05:07:13 +08:00
@eccstartup 数学多了去了……幼稚园算术也是数学,还不让鄙视了不成。不说 PL 关心的很多东西根本就是基础数学(如数理逻辑)与(至少有试过作为)数学的基础(如范畴论),谁鄙视谁还不一定呢。
@tempdban llvm 是干嘛你造嘛……虽然他们当年也以为能吞并 libjit 的……
tempdban
2018-05-02 07:41:59 +08:00
@FrankHB …看来可能只有你知道 llvm 是干嘛的
nycbdwss
2018-05-02 08:29:35 +08:00
我发现你跟老罗差不多 没造手机前抱怨别人的手机怎么怎么不好 说自己一定要创造一个秒天秒地的最 nb 的手机 结果....真正到他自己做手机的时候 才发现原来被说的话一次次被打脸
torbrowserbridge
2018-05-02 08:29:54 +08:00
torbrowserbridge
2018-05-02 08:31:37 +08:00
误操作
alphanow
2018-05-02 09:05:26 +08:00
Talk is cheap. Show me the code.
-Linus Torvalds
ioth
2018-05-02 10:03:46 +08:00
@vsomeone 罗锤子发大...财了,你得有资格看不起别人。
zhaogaz
2018-05-02 10:14:42 +08:00
其实楼主说的有点矛盾

一般来说,语言智能了,就不需要聪明人写代码了。

语言不智能,需要聪明人来处理。


你举例的 gtd,想证明的是,软件这么多,但是没有一个好用,因为语言层面不智能。

成品的项目,显然不是编程语言能解决好坏的。。。不知道楼主想清楚没有?

楼主要是真的不知道自己在做什么,你就把你所有想说的话都说出来。我们帮你分析原因。。。。
LAS
2018-05-02 10:36:17 +08:00
c 语言了解下?
smallHao
2018-05-02 10:44:27 +08:00
不如先把英语学好可好?
FrankHB
2018-05-02 12:13:18 +08:00
@tempdban 如果你只是说“干嘛”的,不就是个挂了一坨拖油瓶的 LLVM IR 的实现么。
设计用来干嘛和能干嘛是两码事。是否合适又是另一回事。
FrankHB
2018-05-02 12:28:29 +08:00
@zhaogaz 不巧,刚好这个领域的聪明人都写代码,并且在可预见的未来内恐怕也只有写代码这种方式靠谱。

道理和说给 LZ 听的一样简单:需求到底是得用户自己说的,不是靠谁猜的。

与其说需要聪明人才能处理不够智能的语言,还不如说导致沟通成本大大上升、效率大大下降的所谓“智能”是不够聪明的人没有其它选项的妥协——不得不牺牲时间放在容错上先尽量保证正确性。

最清晰直接地表示需求的方式是什么?形式语言。不是类似自然语言那种以给没有经过训练的一般用户省事的模糊陈述,而是精确的程序设计语言——如果没有现成的系统去解这些描述的需求,那就顺便自己动手丰衣足食解了就是。至于消化成本的方式多得是,看有多“聪明”咯……而且可以肯定的是:1)比引入适应不够聪明的人解整体更简单; 2)整体还就是绕不过写代码(只不过不是自己写罢了)。

当然,也有再怎么聪明的人和不那么聪明的人没多大区别的时候——比如规模失控。但是聪明人为什么要浪费资源陪着玩呢?

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/451145

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX