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

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

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

为什么bs虚函数表的地址（int*）(&bs)与虚函数地址（int*）*(int*)(&bs) 不是同一个？

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

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

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

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

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

求讲解下列链接以及pascal嵌套子程序是如何实现的？

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

Scheme 适合用来做什么？

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

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

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

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有什么用？

如何让脑笨的人理解c语言指针和函数？

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

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？

如何理解 Free Monad？

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

函数式响应型编程(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都会的人出路在哪里？

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

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

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

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

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

List的Applicative instance应该怎么写？

Haskell 这段代码该如何理解？

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

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

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

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

Haskell引入Applicative functor有什么意义？

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

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

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

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

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

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

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

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

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

为什么JavaScript里函数的arguments只是array-like object?

javascript 中使用 onLoad 函数的意义是什么？

Java8引入Lambda表达式的利弊？

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

JavaScript 函数式编程存在性能问题么？

关于具名的IIFE内部对函数自身再赋值问题？