java变量块级作用域的问题？

如何评价 Webkit 推出的并发 JavaScript 提案？

JavaScript一个疑问，[ ] （空数组）== true ，具体如下，请问这是为何？

应该使用 const 定义 object 和 array 吗？

编译器或解释器前端对于作用域的处理方法？

java循环长度的相同、循环体代码相同的两次for循环的执行时间相差了100倍?

【JAVA】变量声明在循环体内还是循环体外的争论，以及怎样才真正叫『避免在循环体中创建对象』？

getter 和 setter 方法有什么意义？

编程到底难在哪里？

代码耦合是怎么回事呢？

C语言或C++语言如何实现尾调用消除？

ORM是否必要？

如何通俗的解释计算机中“合一(unification)”这个概念 ？

从编程语言设计的角度，如何评价SQL语言？

关于幻读，可重复读的真实用例是什么？

有没有简单易懂的算法来判定一个语言是/不是图灵完全的？

代数数据类型中的代数 Part 1

代数数据类型是什么？

如何评价王垠的《Kotlin和Checked Exception》？

如何理解编程语言的类型安全性？

程序语言设计界是否开始认为 Subtyping 是 Anti-pattern？

设计、更新一门通用编程语言的一般流程是怎样的？

编程语言为什么区分常量和变量？

为什么函数式语言里有recursive data type但没有recursive function type？

类型（Types）和集合（Sets）二者之间有何区别？

类型推导是否可以理解为一种编译期计算？

高级语言为什么要添加数据类型？

C# 作为一种静态类型语言，为什么会引入 var？

如何看待Python中加入static typing?

能否从编译原理的角度详细的描述一下模板编译的过程？

往Java泛型类中方法传一个对象引用的参数，但是该方法的参数为什么不能调用该对象的方法？

玩模板元编程走火入魔是一种怎样的体验？

C++ 模板元编程的应用有哪些，意义是什么？

如何正确地学习 C++ 的模板和模板元编程?

应该如何理解Profunctor？

java为什么不支持泛型数组？

Call by name 的语言能模拟 call by value 吗？

能否通过语义直接生成解释器？

有人质疑PL研究，比如program slicing的价值。如何解释？

OCaml 类型系统的缺陷有哪些？

每一个 Haskell 中的「范畴论的」概念都可以去 co 吗？

PLT零基础的人，要看懂王垠和彭飞在《王垠，请别再欺负我们读书少》里讨论的内容，需要掌握哪些知识？

读《The Little Schemer》时，看到第9章有partial function和total function两个概念，不是特别懂，请赐教？

如何看待Spring 5引入函数式编程思想以及Reactor?

入门设计模式，以下两本书哪一本比较好？

MobX 的“间接引用值尽可能晚使用”产生的强耦合问题应该如何解决？

dependent type之上还有更高级的类型系统吗？

C++、Julia 允许「泛型」的参数是数值，这属于 Dependent Type 吗？

QQ 等即时通讯软件的消息传输的技术原理是什么？

QQ 为什么以 UDP 协议为主，以 TCP 协议为辅？

什么是动态规划（Dynamic Programming）？动态规划的意义是什么？

Haskell 的 Typeclass 怎么理解？

Higher-kinded type到底有什么用？

如何理解程序设计语言中的泛型？

为什么声明性语言往往适合于并行执行，命令代码很难在多个内核和多个机器之间并行化？

如何理解多态？

Edward Kmett 的这个讲座在讲什么？

柯里-霍华德(Curry-Howard)同构有什么意义？

子类型（subtyping）是不是错误（ill-defined）的东西？

如何理解types are not classes ？

subtyping和inheritance的区别是什么？

Java 泛型 <? super T> 中 super 怎么 理解？与 extends 有何不同？

如何评价Liquid Types？

程序语言中的类型系统怎么理解，它有哪些要素？如何由它演化出一门编程语言的？

该如何理解Monad？

如何理解 Extensible Effects?

如何理清 lens 这个库的各个组件，熟悉各种高级玩法？

Haskell 的带界量化多态和 Java/C# 的接口动态委派，哪一个更有利于优化？灵活性更好？

如何评价Elm 编程语言？

如何理解笛卡尔闭范畴以及它与函数式编程的关系？

如何理解Haskell中的Arrow及其用途?

身份证号的末位校验码算法最后一步模11是基于什么考虑？

面向组合编程之可应用组合子

stdin、stdout、stderr 标准流本质上到底是什么？

怎么看待王垠对 Haskell 的评价？

Erlang，Haskell都会的人出路在哪里？

精通 Haskell 是一种怎样的体验？

如何解释 Haskell 中的单子（Monad）？

怎么理解“一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已”?

怎样用简单的语言解释 monad？

如何理解Monad Transformer？有哪些资料可以帮助理解它？

state monad 为什么wrap的是一个 Function ？

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

GHC扩展-XRankNTypes是什么？如何理解forall .？

List的Applicative instance应该怎么写？

Haskell 这段代码该如何理解？

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

Scheme语言的优势？

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

为什么「群」和「半群」的英文是 group 和 semigroup，而「幺半群」却是 monoid？

函数式编程和反应式编程（reactive programming）有什么区别？

一阶逻辑和高阶逻辑的区别，能不能具象一点说明？

Haskell引入Applicative functor有什么意义？

type theory / category theory是做什么的？

在范畴论中有哪些范畴是等价的？

如何理解java是一门静态多分派且动态单分派的语言？

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

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

写尾递归函数有什么规律或技巧吗？

学习分布式系统需要怎样的知识？

CPS 变换有什么作用？

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

有哪些函数式编程在前端的实践经验？

sicp中的流模式在实际开发中有什么应用？

如何理解 dependent type？

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

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

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