已经有了完成操作系统的问题
一个大四的计算机学生如何在六个月（大概只有晚上有空）的时间内完成一个简单的操作系统。应该要学些什么？
在答案里看到很多人推荐写编译器，希望了解一下例如要写JavaScript或Python的编译器，需要做什么，怎样安排？
回复内容：
如果你不执着于主流语言的话，可以看看SICP第1、2以及第4章，看完后写scheme解释器。
我不推荐龙书、虎书什么的，是因为门槛。那种偏理论的书，对于相对缺乏实践的在校生来说，不容易理解；加上节奏比较慢，成就感来得晚，很可能烂尾。所以在这里我姑且只提供短平快的建议。
SICP第1、2章，作为函数式及编程技法的教程，都已经很能让人受益。
对有一定经验的同学来说，看完第2章对闭包实现的简单描述（2句话）后，很可能已经迫不及待的撸了一个简单的scheme解释器了；但是现阶段你的解释器实现，冗余、缓慢、不支持尾调用，所以你还需要看第4章。如果你愿意多想多写的话，第4章可谓本书的精华，lazy evaluation、pattern matching、continuation、partial evaluation都能从书中得到启发。
实现一个scheme解释器能让你收获什么？
你对解释器的基本原理及优化，都有一定感觉了。
如果一上来就阅读lua源码里闭包实现，你可能会陷入各种细节，等好容易理清来龙去脉过后，却又觉得它过于精巧。毕竟，一个准工业级项目中的关键设施，往往是几经调整、高度优化的产物。
而如果有在scheme中，通过聊聊数行代码，实现一个简洁、正确的闭包的经验，这时，再反过来看lua源码，反汇编.Net字节码看C#的闭包实现，实在非常容易了。毕竟，先作对，再做好，这个路子往往更顺利。
如果有一定执行力，那么，1~2个月，你总应该看完书中相关内容，做出1个或多个解释器，不至于白走这一遭了。
下面是一个可供参考的步骤：
- 看完SICP相关章节，用scheme写一个scheme解释器。由于scheme中的基本结构list，很容易用来构造抽象语法树，加上scheme语言动态类型的特点、以及强大的模式匹配，用scheme实现一个最基本的自举解释器，只需数十行代码（完美的支持闭包哦）。你会发现，这个解释器的几个关键分支，正好对应lambda演算的3要素，也是SICP全书反复强调的“基本单元”、“抽象”、“应用”三元素。
- 观摩一下Peter Norvig用数十行python代码实现一个scheme解释器：(How to Write a (Lisp) Interpreter (in Python))。于是，你开始知道怎样用主流语言实现解释器了，欢迎回到地球...Norvig也介绍了一个技法，让你的解释器能够支持尾递归。
- 用C/C++语言实现解释器。第一次用非GC语言实现GC语言，你必须开始认真思考内存管理的问题。建议暂时不实现赋值，这样，你的函数式语言解释器中，将总是只有新对象引用老对象，不会出现环形引用，于是可以直接使用引用计数。
- 更快，更好。
- 之前实现的解释器，都是基于抽象语法树的匹配，相当于OO设计模式中的visitor pattern；比起遍历语法树的同时进行解释的做法，尝试在遍历的过程中，先生成字节码并保存下来，之后只解释执行字节码？你能获得显著的性能提高。这样的预处理，是一种partial evaluation。
- 发现性能瓶颈在变量求值？你需要引入词法寻址（lexical addressing）了。这里你一步步优化的话，会发现你的环境链，被折叠成lua/C#那种主流形式。
- 放弃引用计数，转向真正的GC？mark and sweep、copying gc、mark-compact gc、generational gc？怎样让注册到你环境中的c函数，其函数体中分配的临时GC对象，总是可达？移动gc对象时，怎样保证所有指向它的指针被修改？（尤其是栈上的指针变量）
- 显然，一个程序并不总能写成尾递归形式，怎样才能让非尾递归程序的解释，也不栈溢出呢？Norvig介绍的技巧不够用了，你需要考虑实现CPS解释器或者进行全文CPS变换；于是栈空间被移动到堆中，栈将总是只有一帧。
- 尝试在scheme中进行一趟预处理，将library forms如let、let*、cond展开成基本形式？于是你开始意识到宏的威力，这是常见的data abstraction、functional abstraction之外的强力武器，syntactic abstraction。
- 在CPS解释器中实现call/cc？通过一趟全文CPS变换，输出不包含call/cc的普通scheme源码给你的DS解释器?
- 如果你想做得更好，还有很多很多问题需要你思考，而解决这些问题的过程，是很能让你得到锻炼的
JavaScript 的规范有 200 多页（Harmony 的页数还要翻倍），你看完 Spec 都得一个月……
做一个 lisp 方言的，在两个方面沿着下面这两张图点亮图里的技能
不是有这本书吗？
图灵社区 : 图书 : 两周自制脚本语言
还有这本：
图灵社区 : 图书 : 自制编程语言
毕业论文是编译器吧？是不是很紧张？o(≧v≦)o
先说清楚，你是否确定写一个编译器？如果没有想好那么就先看看我下面推荐的文章
前期：
編譯器
看完上面的如果确定好了，那么就进行下面的工作，既然你的时间很短暂。只有晚上有空，先学会安排时间19点（妈蛋，不要告诉我还太早了！！）开始到23点（很多学校是这个时间熄灯断网）.
基础知识
- 想裸写编译器，除了编译原理外还有那些资料可以参考？应该从什么开始写起？（用c/c++）？
- 开发一个 C++ 编译器的难度有多大，难点又在哪里？
- 怎样去写一个编译器（用C语言写C语言编译器），需要哪些知识做铺垫，可以给一下相关网站和书籍的推荐吗？
- 编译器在硬件层面上的工作原理是什么？
- 从零开始写个编译器吧系列 - 平凡与非凡 - 知乎专栏
前4个是你第一个晚上需要弄明白的。4个小时，如果不懂那么就立即去查阅资料和谷歌(Google
,这个不用翻)。第二晚上先不要继续第5点的内容。从头再看一次1-4点，看看还是否有遗漏的地方记录。
看看4点就好好确定下来你写一个什么语言的编译器，想好了就可以进行第5点了顺便你需要买一个本书，不要听他人说买龙书、虎书等，这些大作难度太大了。你就买一个本 @赵劼推荐的图灵社区 : 图书 : 两周自制脚本语言
。
写一个编译器是一个比较枯燥的事情，看到界面很不容易。归根结底就是"
折腾"；且思且珍惜 从scheme这样的lisp语言的编译器开始写。。而且不必完全实现，可以选取子集，gc闭包什么的都可以不要。。
你可以先写解释器，再试试编译到其他语言，再试试编译成二进制
这个资料太多，你自己搜吧。
书嘛，我提过的一个问题，下面很多回答都很好，你自己找找看 我写过一个C的编译器，实际上只是把C翻译成汇编。编译器要做好，最重要的是汇编代码优化，不过新手把翻译做出来才是首要的。
词法简单，可以手写。文法可以找标准的C文法，用Bison之类的工具生成一个分析表（不过我和轮子哥类似，自己写了个LR1的分析表生成器），剩下的也简单了，可以生成一个AST。然后，翻译成汇编就是遍历AST了，我没有处理C的所有语法，比如结构体就没管。翻译基本的C语言结构，虽然复杂，但并不难，如果是汇编高手，就更轻松了。（其实最好生成中间表示IR，再翻译成汇编）
写的过程中，AST节点的设计比较关键，要保存很多信息，另外符号表的设计也很重要。翻译过程中才真真感觉到，类型是需要时时刻刻考虑的因素，同样是加减，整形和浮点型在汇编层面差很多。另外我一直认为，课本上教的语法制导翻译太狗血，对于文法很多的语言，得一条条改文法，所以还是老老实实地建立AST，翻译起来才比较快乐。 从C的编译器开始写，不要写Python和Javascript的编译器，特别是Javascript的编译器。]
昨天是在手机上打的，今天来解释一下。
Javascript和Python都不是上下文无关的语言，做起来相对难度要大一些。而C89有完整的LALR(1)相容的EBNF文法，网上也很容易搜到。
关于文法和分析方法的学习，请参见我的一个回答：
如何自创一门计算机语言？ 写编译器最简单的方法就是直接去看别人写的呗，题主大四当然是学过编译原理了的，我去年年底上编译原理课的时候就自己实现了一个，其实也就是根据别人的代码自己思考以后写出来，前后也就几周的时间而已
C++实现pascal子集 也就1200行左右
duduscript/pl0 · GitHub
欢迎fork 我自己是没有写编译器的能力的，但我听说，龙书，虎书，和鲸书，很不错，你看完了，不一定能写出来，但肯定有帮助！ “很多人推荐写编译器”，估计所谓的“很多人”有80%是装B
