一门语言没有ad hoc polymorphism，那应该怎么解决呢？

为什么诸多编程语言都将模式匹配作为重要构成？

编程语言中， type, typed, typing 有什么区别？

对大量使用 immutable data structure 的语言，其 VM 和 GC 会有何特点？

设计闭包（Closure）的初衷是为了解决什么问题？

Scheme 适合用来做什么？

现今编程语言的理想类型系统是怎样的？

函数式编程中的 algebraic effects 是什么？

为什么大部分编程语言不支持宏？

scheme中letrec的语义要如何转化以及实现？

(list 1 2 3)为什么不可以是(cons (cons (cons nil 1) 2) 3)?

First class higher order function 是编程语言发展中的弯路吗？

函数式编程是否适用于超大型项目？

（sicp 计算机程序的构造和解释） 如何理解无限长的流？

LISP可以做什么？

如何评价 The Little Schemer 系列的文风？

OCaml语言有什么先进的地方?

rust是不是一个no gc 的 haskell？

类型应该是一等公民吗?

Lazy computation 在实际应用中有什么妙用？

lambda演算求值顺序的问题？

如何评价PLT Redex？

haskell中的callcc有什么用？

如何看待编程语言越来越大的趋势？

normalization property、type safety与soundness有什么联系？

Lisp的精髓是什么？

设计一门编程语言的话，你认为最重要的一定要有的特性会是哪些？

函数式编程的函数是如何实现的？

什么是「continuation」?

如何实现 Call / CC 或者阴阳谜题（Yin Yang Puzzle）？

C 语言如何实现 continuation？

如何用七条公理构造call/cc？

Haskell等语言中的模式匹配在C++中如何实现？

Racket这种可以把语言特性写成库的语言为何没有得到广泛的工业应用？

什么是卫生宏, 跟普通的宏以及函数有什么区别?

函数式语言能否内置一个 caching 类似的功能用于函数 Memoization, 为什么?

CPS变换可以用来将普通递归转变为尾递归？？

读完sicp后应该做些什么？

为什么Java闭包不能通过返回值之外的方式向外传递值？

Lambda 表达式、Block、闭包与匿名函数之间有什么区别？和 λ 演算有什么关系？

Python 中的 lambda 和「真正的」lambda 有什么区别？

怎样理解 Partial Evaluation？

函数式响应型编程(Functional Reactive Programming)会在什么问题上有优势?

代数数据类型是什么？

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

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

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

应该如何理解Profunctor？

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

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

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

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

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

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

Haskell 的 Typeclass 怎么理解？

Higher-kinded type到底有什么用？

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

如何理解多态？

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

如何评价Liquid Types？

该如何理解Monad？

如何理解 Extensible Effects?

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

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

如何评价Elm 编程语言？

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

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

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

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

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

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

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

List的Applicative instance应该怎么写？

Haskell 这段代码该如何理解？

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

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

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

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

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

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

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

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

Java8引入Lambda表达式的利弊？

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

怎样理解 Continuation-passing style?

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

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