更有甚者,对数学的愚蠢做法执迷不悟的人,设计了像Haskell和Coq那样的语言。在Haskell里面,你可以在代码里定义新的操作符,指定它的“结合律”(associativity)和“优先级”(precedence)。这样的语法设计,要求parser必须能够在parse过程中途读入并且加入新的parse规则。Coq试图更加“强大”一些,它让你可以定义“mixfix操作符”,也就是说你的操作符可以连接超过两个表达式。这样你就可以定义像if...then...else...这样的“操作符”。
🌑 天辣,居然还有这种操作... 简直丧心病狂...
dse@susepc:~/Projects/squirrel/build$ sq
Squirrel 3.1 stable Copyright (C) 2003-2017 Alberto Demichelis (64 bits)
sq>1
sq>print(1)
1
sq>
清奇的 REPL (?
duangsuse::Echo
更有甚者,对数学的愚蠢做法执迷不悟的人,设计了像Haskell和Coq那样的语言。在Haskell里面,你可以在代码里定义新的操作符,指定它的“结合律”(associativity)和“优先级”(precedence)。这样的语法设计,要求parser必须能够在parse过程中途读入并且加入新的parse规则。Coq试图更加“强大”一些,它让你可以定义“mixfix操作符”,也就是说你的操作符可以连接超过两个表达式。这样你就可以定义像if...then...else...这样的“操作符”。 🌑 天辣,居然还有这种操作...…
想想当初我某个只有一点点示例代码的语法设计
恐怕就要这么智障的设计 🌑.....
恐怕就要这么智障的设计 🌑.....
http://www.yinwang.org/blog-cn/2015/10/18/turing
想想最近 Hawking 去世的消息,物理好像他和爱因斯坦好算是最厉害的吧??? 或者只是误会?
计算机科学上我却一直感觉好像一直没有特别厉害的人物.... 好像就是一堆dalao 没区别一样
想想最近 Hawking 去世的消息,物理好像他和爱因斯坦好算是最厉害的吧??? 或者只是误会?
计算机科学上我却一直感觉好像一直没有特别厉害的人物.... 好像就是一堆dalao 没区别一样
Forwarded from Deleted Account
今天又有人问我怎么不再写技术文章了,俺说到:... 技术文章容易沦为不负责任(因为时间推移,作者见解可能改变,文章内容本身可能过时,需要更新,比较费力);
所以有空的时候,博客还是要再清理一番,以后有机会的话,可以转为「感慨博客」,发发各种感慨,多好(drakeet 从初中到现在一直在 QQ 空间发布各种黑历史感慨文章,至今有几百篇了)。不过因为博客网站是完全公开的,还没考虑清楚(其实问题也不大,完全公开也好),导致此计划一直没有施行。
所以有空的时候,博客还是要再清理一番,以后有机会的话,可以转为「感慨博客」,发发各种感慨,多好(drakeet 从初中到现在一直在 QQ 空间发布各种黑历史感慨文章,至今有几百篇了)。不过因为博客网站是完全公开的,还没考虑清楚(其实问题也不大,完全公开也好),导致此计划一直没有施行。
duangsuse::Echo
等 Lime 做完 Ruby、Java、JavaScript 的展开器、写完一个能用的std和oop插件后我就回去做 GeekApk
昨天考虑到方便访问展开规则的缘故把 Hash 加入原生类型里了
现在有
和
(然后Hash既然有了就干脆也实现 OOP 吧, libstd 也使用 oop\
现在有
Macro Hash List String Symbol Bool Number Nil 八种原生类型 (预备以后的 Native 解释器实现)和
→ # ⇒ : :' ' " ~ ⇢ ↻ ↷ ? $ :: ::= ⤓ 🖬 几个内部实现的 以及 .(然后Hash既然有了就干脆也实现 OOP 吧, libstd 也使用 oop\