用emacs的好处之一就是，不用为每一种语言安装一个ide 
我只是提醒你有相关的包需要git
我记得cask好像支持版本管理吧，可以指定的。只是spacemacs好像不能用，或者开发者没做这方面的支持吧，但应该是可行的。
有什么问题吗？如果上面的信息有过时和不对的地方，麻烦你到 GitHub - emacs-china/elpa: Emacs China ELPA 镜像 指出。我不用 Spacemacs，所以我自己没法确认。
讲道理 在Windows Subsystem Linux 里用Emacs 26 pretest 问题可能会比较少 本来framework想跟你推荐doom-emacs 但看到你主要想用的是proof-general， doom暂时没有这方面支持 所以就在这随便提一下好了
我回复的是 @Dr.Hiro ，他拿出emacs-china上的文档说我不严谨用了dev的配置都不知道，我回复说文档上本来就这么写的，按文档应该看出来我用的明明不是dev，顺便提醒他每个评论里都附一遍的「提问的艺术」链接都挂了。（他的评论已经删了说我不严谨那部分，造成了你无法理解我们的对话）
别的不说, 至少我不认同Emacs不是用来享受的, 单纯折腾Emacs有多少乐趣或者对技能有多少实质帮助呢? 我用Emacs 就是喜欢它编辑的便捷, Evil模式, magit等等,这些都让我很享受编程.
2 个赞
放弃的人是如何使用Emacs的?
然而, 你会发现, 它对JAVA等语言支持并不理想, 不如IDE来的直接舒服. 我曾经也觉得不用各种IDE切换很好, 现在写了一些稍微有点大的Java项目时, 发现IntelliJ对其语义支持的非常好, 而emacs略有卡顿. 我用emacs尽可能做些不依赖于语言语义或者轻量特定语言支持的高亮, 基本跳转等工作, 如利用projectile, magit管理项目, 利用evil 和emacs 进行编辑, 利用company做基本的补全. 过度的特定语言支持, 在emacs中 表现得比较迟钝, 不够流畅.
对项目本身更细致的refactor, compile and debug等, 我现在都在IDE中做, 省心省力省时.
从目前看, ensime 对java 和Scala 的支持, spacemacs中python layer 满足了我在emacs中的绝大部分需求. C++还没有尝试最近很热的cquerry, 不知道会如何, 至少从贴吧的回复看还不够稳定. 当然我本人是菜鸟一枚.
嗯，其实从某种程度来说，emacs不适合新手程序员，当你对一门PL比较熟悉后，其实很多features是不必要的
emacs对java、php的支持相对于idea、phpstorm来说，确实是有一定差距，但这不妨碍我还是可以用emacs写代码，是么？
当然，我是一个后端程序员，以我自己的经验来说，emacs对于我写python、go、php，以及撸一把前端的js也是足够了的
另外，用emacs玩linux kernel、c++也很适合，我有个朋友就是emacs c++游戏开发
；；；；；；；；；；；；；；；；；
java（业余玩过meghanada，没有开发中用过）
ios
android
我觉得，这算是emacs在编程领域的几个短板吧，ios和android的话，可能还是因为涉及到image、view之类的处理，如果能搭配第三方tool能够解决的，也还是很好的
这要看你如何定义自己的“享受”了😊
有的人觉得emacs的底层实现有意思
有的人觉得从emacs接触下lisp也是挺好玩的
每个人的理解和感受不一样吧
另外，对于我自己而言，我只是把emacs当成一个ide，与编程无关的东西，尽量少安装
我自己也是搭配linux的terminator在用emacs，magit与我而言，麻烦远大于方便
至于你说的evil，我从学习嵌入式时接触的vim，后来写python用的spf13，直至这一两年才接触的emacs ，相对于vim，我还是很愿意玩emacs
iOS 还真不是view的问题……而是iOS的workflow几乎是唯一的…… 你不管在哪儿写代码，如果想交付就离不开Xcode……
今天发現第一个 Unix 上的 Emacs 还是 Java 之父写的⋯⋯
2 个赞
好吧，没玩过ios，但貌似emacs也有xcode的package
但其实，这里只说到编码，app的提交审核、签名之类的，那只能算是xcode的“套件”吧，就好比，可以用emacs写vhdl，仿真还是得上xlinx之类厂家的仿真器
其实Swift的语言支持Emacs做的也不好……
坐等LSP统一天下吧……
我是很理解你遇到一个据说能提高效率的工具，然后被它深深恶心了一回的心情的，开源，免费软件里这种情况太多了，开源，免费常常意味着 no warranty。我是站在你这边的。
- Emacs 的各种配置文件如果用不了就放弃，可以借鉴这些配置文件里的代码或者结构。
- 尽量不使用所谓的配置文件发行版（Spacemacs: A community-driven Emacs distribution ），这些配置文件的发行版之间的区别就好比 Debian 和 Ubuntu 的区别，Ubuntu 的 Bug 总是比 Debian 的多。
- 不论配置有多少功能，使用到的总是很小一部分，所以配置会越来越精简，比如 GitHub - bbatsov/emacs.d: My personal Emacs configuration ，有一篇文章写得很好 software that sucks less | suckless.org software that sucks less
成为一个工具的专家是一件不足挂齿的事情，但是掌握一个工具确实要付出努力，比如学会使用Shell，Git，Docker等工具，仍然要去看文档，去实际使用积累经验。
有些不方便的地方也确实是有问题。自以为是的傲慢和思想习惯的惰性使人麻木，我觉得矫枉必须过正，不过 Emacs 似乎缺少有魄力的开发者（比如 Linus）。
4 个赞