刚看到邀请我就怒了,还以为又是什么 PL 民科搞的垃圾。结果我点开官网看了几分钟 in Action 的视频就直接惊了,那个结构化编辑器给我的感觉是这个语言的意义已经远远超过了一个后端开发编程语言本身,希望他们能把这个部分单独提取出来,做成一个开发框架开发框架(development framework-development framework)。伦家也想整个像这样的 Cubical TT 的结构化编辑器啊。
首先你可以看到这个人一开始的编程过程是直接在服务器上写的,然后瞬间部署,这意味着日后后端程序员可以不用再学习搭建环境的过程(又可以淘汰一批不愿意学习的后端开发了,液~)。其次它也可以使用传统的方式命令行打包部署,可以把开发流程集成进 CI 之类的工具。
再说说这个编程语言本身。我找了一圈没看到 spec,于是正在观看那个 ♂ 的视频,半小时后过来更新回答。
更新:原来 Dark 的 CTO 曾经是 CircleCI 的 CEO,还是编译器和静态分析的 PhD。已经被彻底圈粉。
更新_1:这个结构化编辑器和 JetBrains MPS 非常相似(同样都是 parser-less 的编程语言,同样都写不了语法错误的代码——因为你修改的是 AST),但是 MPS 是一个做结构化编辑器的框架,而他们这个是针对一个语言写死的。不知道这两个团队背后有没有交集。
更新_2:刚打完上面那段话,作者就提到了 MPS:
这个视频看得很爽,因为演讲者 assume 听众拥有的知识体系我全部具备,没有一句话听不懂的。
更新_3:作者提到了开发和部署分离的手段——feature flag。我觉得这其实是所谓的 deployless 带来的副作用——而且结构化编辑器的一个巨大缺点,版本控制,演讲者也没有提到。
更新_4:立即提到了版本控制,说是和 feature flag 集成。但是我觉得这并没有解决 diff/merge 的问题(而 MPS 解决了这个问题),静待后续发展。
更新_5:演讲者指出他们的编辑器和执行引擎是集成的(立即想到了 Partial Evaluator 和 Elaborator),然后有个功能可以让你看到一段代码最近经过的值是多少,而且好像还能暂停+时间回溯……我想知道能时删和天堂制造么……
看完视频:很感动,不愧是我最喜欢的 CI 公司的前 CEO。这个人的想法从头到尾我都很喜欢。唯一的缺点,也是作者承认的缺点,就是 scalability 了。不知道这点会怎么改进?