Doom Emacs 对编程语言的点评
~/.doom.d/init.el 是 Doom Emacs 的功能配置文件,包含大量功能模块,通过注释进行开关。
其中有一个 :lang 小节,用户开启对某个编程语言的支持。
好玩的是,Doom Emacs 对每个语言都写了一句毒舌点评。我将它们记录翻译下来:
有的双关语我可能没有 Get 到,或者翻译的不够妙的,供大家指正!
| 语言 | 点评 | 备注 |
|---|---|---|
| agda | types of types of types of types...
类型的类型的类型的类型... |
|
| beancount | mind the GAAP
牢记 GAAP |
Double-Entry Accounting from Text Files.
GAAP (generally accepted accounting principles) |
| (cc +lsp) | C > C++ == 1 | |
| clojure | java with a lisp
带 Lisp 的 Java |
|
| common-lisp | if you've seen one lisp, you've seen them all
如果你见过一种 Lisp,你就见过所有的 Lisp 了 |
|
| coq | proofs-as-programs
证明即程序 |
|
| crystal | ruby at the speed of c
以C语言的速度运行的Ruby |
|
| csharp | unity, .NET, and mono shenanigans
unity、.NET 和 mono 的诡计 |
|
| data | config/data formats | |
| (dart +flutter) | paint ui and not much else
绘制 UI,其他的就不多说了 |
|
| dhall | ||
| elixir | erlang done right
做的好的 Erlang |
|
| elm | care for a cup of TEA?
想喝杯茶(TEA)吗? |
|
| emacs-lisp | drown in parentheses
淹没在括号里 |
|
| erlang | an elegant language for a more civilized age
文明时代的优雅语言 |
|
| ess | emacs speaks statistics
懂统计学的 Emacs |
用于支持 R, S-Plus, SAS 等语言 |
| factor | ||
| faust | dsp, but you get to keep your soul
dsp,但你可以保留你的灵魂 |
Functional Programming Language for Real Time Signal Processing |
| fortran | in FORTRAN, GOD is REAL (unless declared INTEGER)
在 FORTRAN 中,GOD 是存在的(REAL)(除非声明为 INTEGER)。 |
|
| fsharp | ML stands for Microsoft's Language
ML 是微软语言的缩写 |
|
| fstar | (dependent) types and (monadic) effects and Z3
(从属)类型和(单子化效用)效应和 Z3 |
A Proof-oriented Programming Language
主要用于程序的形式化验证 |
| gdscript | the language you waited for
你所期待的语言 |
godotengine 的脚本语言 |
| (go +lsp) | the hipster dialect
潮人方言 |
|
| (graphql +lsp) | Give queries a REST
给查询一个REST |
|
| (haskell +lsp) | a language that's lazier than I am
一种比我还懒的语言 |
|
| hy | readability of scheme w/ speed of python
Scheme 的可读性,Python 的速度 |
|
| idris | a language you can depend on
一种你可以依赖的语言 |
|
| json | At least it ain't XML
至少它不是 XML |
|
| (java +lsp) | the poster child for carpal tunnel syndrome
写到手抽筋的典型代表 |
|
| javascript | all(hope(abandon(ye(who(enter(here))))))
万(劫(不(复))) |
|
| julia | a better, faster MATLAB
一个更好、更快的 MATLAB |
|
| kotlin | a better, slicker Java(Script)
一个更好、更流畅的 Java(Script)。 |
|
| latex | writing papers in Emacs has never been so fun
用 Emacs 写论文从未如此有趣过 |
|
| lean | for folks with too much to prove
为需要证明的人而设 |
Lean is a theorem prover and programming language. |
| ledger | be audit you can be
审时度势 |
Ledger is a powerful, double-entry accounting system |
| lua | one-based indices? one-based indices
单一的指数? 单一的指数 |
|
| markdown | writing docs for people to ignore
用于编写供人忽略的文档 |
|
| nim | python + lisp at the speed of c
以 C 语言的速度运行的 Python+Lisp |
|
| nix | I hereby declare "nix geht mehr!"
我在此宣布:"nix geht mehr!" |
|
| ocaml | an objective camel
一只客观的骆驼 |
|
| org | organize your plain life in plain text
用普通的文本整理你的平淡生活 |
|
| php | perl's insecure younger brother
Perl 的不安全的弟弟 |
|
| plantuml | diagrams for confusing people more
让人更困惑的图表 |
|
| purescript | javascript, but functional
函数式的 JavaScript |
|
| python | beautiful is better than ugly
美好的事物胜过丑陋 |
|
| qt | the 'cutest' gui framework ever
有史以来 "最可爱 "的 UI 框架 |
|
| racket | a DSL for DSLs
一个为 DSL 服务的 DSL |
|
| raku | the artist formerly known as perl6
原名为 perl6 的艺术家 |
|
| rest | Emacs as a REST client | |
| rst | ReST in peace
R.I.P |
|
| (ruby +rails) | ; 1.step {|i| p "Ruby is #{i.even? ? 'love' : 'life'}"} | |
| rust | Fe2O3.unwrap().unwrap().unwrap().unwrap() | |
| scala | java, but good
挺好的 Java |
|
| (scheme +guile) | a fully conniving family of lisps
一个完全纵容的 Lisp 家族 |
|
| sh | she sells {ba,z,fi}sh shells on the C xor | |
| sml | ||
| solidity | do you need a blockchain? No. | |
| swift | who asked for emoji variables?
是谁说 emoji 变量的? |
|
| terra | Earth and Moon in alignment for performance. | |
| web | the tubes | |
| yaml | JSON, but readable | |
| zig | C, but simpler |