Self:编程语言的变革仍未到来

Self:编程语言的变革仍未到来

本文是一篇小作品

本文引用并翻译了在 HOPL III 上发表的论文 Self(DOI: 10.1145/1238844.1238853)中的倒数第二节。在 ACM Digital Library 收录的所有 HOPL(History of Programming Languages 论文中,这篇论文的下载量排到了第八位。

我将要引用并翻译的段落出自论文的倒数第二节 “8. Conclusion”(8. 结论) 。在读完全文后,我在我的私人群里如此表达我的感受:

阅读更多
企划:一本有关程序的词典——《编程语言词典》

企划:一本有关程序的词典——《编程语言词典》

在传统意义上,词典是包容、严肃、客观、权威的代名词。

我们希望取得一个折衷:鉴于编者们有限的——事实如此——名声和学识,我们无法做到全部。于是,这本我个人(自私和专断地)认为对产业界将有一定益处的词典,我期望它在行文、体例、风格上做到前两者就十分足够了:我希望我们最终达到的是在包容各种主题同时保持必要的严肃,但又鼓励与工业实践结合紧密的个人看法。

所以,这是一本有关编程语言的词典。它的上一个标题是:《当我们谈论语言时我们在谈论什么——编程语言理论(PLT)术语和译名考释》。但我最终决定撤回了这个标题,并采用了现在的这个版本:《当我们谈论程序时我们在谈论什么:编程语言词典》。

阅读更多
从 SML 到 Scala:简单考察 typeclass 范式的演变和各种实现,以及🎉🎉🎉

从 SML 到 Scala:简单考察 typeclass 范式的演变和各种实现,以及🎉🎉🎉

本文是一篇「小作品」

这次要是还写巨长我就吃了渚薰((((大雾)

Typeclass 范式是对于 表达式问题 Expression Problem 的一个重要的解。在我了解的编程语言范式中,个人认为,typeclass 范式是较为优雅的一个。本文将简要考察这一范式本身,以及更加重要的:它在各种编程语言中到底如何落地。具体而言,本文将在各种落地语言中构造同一个示例:一个类似 Ruby 中的 Comparable mixin,或者 Java 中的 Comparable 接口,并且演示这些结构如何对既有的类型同样具备可扩展性。

阅读本文需要一定的代码基础,尤其是对 typeclass 范式的认识和相关的编码经验。本文并不会对文中的举例作详尽解释。

阅读更多
简单聊聊编程语言的哲学,以及关于 Rust 的一些想法 (1)

简单聊聊编程语言的哲学,以及关于 Rust 的一些想法 (1)

本文是一篇「小作品」。

草,写着写着发现越写越长,一点也不「小」嘛。

感觉这样下去真的不行,如果每次动笔都是起码五千字——意味着好几天的全天候无休码字、占用了所有的空闲时间、导致长久的眼睛酸疼的话,很快就要丧失更新博文的动力了…… 😥😥😥

我应该真的尝试一下「小」作品的体例才是。

我的长期TODO列表里已经躺着五六篇以“博文”开头的条目——原本想着寒假一周一篇很快就能写完,然而到现在也没动笔。爆肝填坑了一个星期,今天实在有点累,不大想打开 RustLion,于是把这篇坑了很久的文章写一写。

在这几篇坑了这么久的文章中其实有一篇已经写了前半部分了,然而咕了太久后半部分要写什么都有点不大记得,于是只能前功尽弃…… 😥😥

本文的主要内容是从我个人的经验出发,简单聊聊对于 Rust 的一些想法和体会。我会尽量避开诸如 “文档质量良好”、“很有特点” 这类宽泛的概括,而尽量将自己在使用 Rust 编程的过程中感受到的一些特别之处、尤其是和此前经历的不同之处拿来说说。我期望如此行文能使得本文对无论是 Rust 初学者、还是仍在观望的开发者甚至是 Rust 老手们都能带来一定启发。

阅读更多
Your browser is out-of-date!

Update your browser to view this website correctly.&npsb;Update my browser now

×