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

怎样支持递归定义/初始化变量（相较于几乎所有现代语言都支持函数定义递归）？

如何看待Erlang之父Joe Armstrong觉得OO编程很烂？

Protocol，Interface，Trait，Concept，TypeClass之间的关系和区别？

函数式编程所倡导使用的「不可变数据结构」如何保证性能？

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

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

Scheme 适合用来做什么？

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

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

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

lisp是否和静态类型基因上就不合？

(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）？

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

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

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

读完sicp后应该做些什么？

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

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

如何理解 Free Monad？

elm如何既能对状态进行统一管理又能保持分形的呢，在我看来 集中管理 跟 分形 是一对矛盾？

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

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

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

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

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

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

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

如何评价Liquid Types？

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

如何评价Elm 编程语言？

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

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

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

Haskell 这段代码该如何理解？

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

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

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

Haskell引入Applicative functor有什么意义？

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

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

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

JS中先有Object还是先有Function？

JavaScript 如何获取闭包变量？

怎样理解 Continuation-passing style?

Java8 Functional Interface 疑问?

学习函数式编程对我产生的影响是，让我更加关注哪些概念自然地被视为"对象"，哪些概念是不可变的"值"。 我还会更加注意，我的代码是否包含副作用，从而更谨慎地隔离这些地方，使代码更多是"纯的"，这大大提高了我的面向对象代码的可测试性。