为什么applicative不定义为monoid的子类？

List的Applicative instance应该怎么写？

Haskell 这段代码该如何理解？

如何评价 Racket 这门编程语言？

Scheme语言的优势？

Haskell 里面的 Functor 是个什么概念？

函数式编程中cps（continuation-passing style ）是什么意思？

Y不动点组合子用在哪里？

CPS 变换有什么作用？

想要理解函数式编程的思想，最好用哪种函数式编程语言入门？

Hindley-Milner 是什么，以及函数式编程中它的用途是什么？

函数式编程如何优雅的处理很多 多个函数都要用到的 参数？

为什么 pattern matching 常常出现在函数式编程语言？

为何大量设计模式在动态语言中不适用?

JavaScript 的设计优点是什么？

动态类型的语言的优缺点有哪些？

Java 的invokedynamic指令在是如何使用的？

Java8引入Lambda表达式的利弊？

当我们写什么java代码的时候会出现invokedynamic这个指令？

如何系统的学习动态语言的类型推导，类型系统等知识？

为什么说「动态类型一时爽，代码重构火葬场」？

句柄是什么？

JavaScript 为什么不推荐使用 eval？

Object.create Reflect.setPrototypeOf 哪个比较好？

尾递归究竟是好是坏？

什么是尾递归？

scheme解释器如何避免递归？

Golang 的 goroutine 是如何实现的？

Go 的垃圾回收机制在实践中有哪些需要注意的地方？

Go垃圾回收？

go没有虚拟机怎么运行gc的？

怎样理解 Continuation-passing style?

如何评价 C++11 的右值引用（Rvalue reference）特性？

动态作用域和词法域的区别是什么？

为了看懂王垠Pysonar，我应该掌握哪些知识？

程序设计语言理论（PLT）领域里有哪些经典的教材？

多线程编程的时候，使用无锁结构会不会比有锁结构更加快？

编程语言与编译原理

Programming Languages

计算机学术论文中有哪些令你惊艳或喜欢的 idea？

如何解释 Lisp 中 call/cc 的概念？

Supervisord

编译器在执行完语法分析之后会输出一个抽象语法树，这个抽象语法树会辅助编译器进行语义分析

还有助于我们实现函数类型

an expression is a syntactic entity in a programming language that may be evaluated to determine its value.

a statement is a syntactic unit of an imperative programming language that expresses some action to be carried out.

我看很多网上的文章都把表达式和语句的区别，说成是表达式有值，而语句不总有，我个人不同意这个观点。我认为，纠结于这两个概念的区别和联系没有意义，思维方式的重点应该是在于观察视角和维度的区别。表达式是从数学、计算的视角来看待问题。它关注的是算法的效率（空间和时间复杂度）。而语句是从计算机执行的视角来看问题，这个视角关注的是代码的逻辑和架构。（从这个视角来看，表达式也是语句）我们写代码的时候，需要在这两个视角之间不断的切换，而不是拘泥于去区分这两个概念。

语句和表达式的区别在于，语句不返回结果，执行语句只是为了产生副作用，而表达式总是返回结果，而通常没有副作用。

如果一种计算机语言不会影响你对编程的看法，它就不值得学习。

类似于演戏时用到的脚本，script 其实就是一系列指令——演员看了指令就知道自己该表演什么，说什么台词；计算机看了指令就知道自己该做什么事情。