看看你对程序语言理论掌握有多少？

如果你从事程序设计多年，觉得对程序语言不会有更深的认识了，建议你看看是否熟悉这几个程序语言理论术语？如果全部熟悉，你值得99%的程序员学习；如果大部分熟悉，你是大牛；如果熟悉两三个，也算比较牛。废话不说了，请看：

1. coroutine

2. generator

3. continuation

4. currying

5. closure

6. covariant/contravariant

7. duck typing

8. prototype (oop domain)

9. lambda

10. uniqueness typing (感谢怪怪网友补充)

11. monad(感谢怪怪网友补充)

12. combinator(感谢怪怪网友补充)

关于上面“熟悉”的论断，仅代表我个人有限的知识范围，欢迎大家批评，并补充我不熟悉的知识范围。如果引起您的反感我表示抱歉！