Do one thing, and do it well

如何看待文章 《The two factions of C++》？

自动将剪切板内容总结并保存到 Telegram 我自己的收藏夹中

你遇到过哪些比较难理解的编程语言概念

java中如何让一个方法不能被反射调用？

JDK中Lambda表达式的序列化与SerializedLambda的巧妙使用

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

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

为什么JAVA,wait（）要放在while循环里？

如何判断一个字符串是否经过base64加密过？

常用的分布式事务解决方案有哪些?

使用java的ReentrantReadWriteLock读写锁时，锁降级是必须的么？

面向对象中的依赖注入概念本质上是否与面向过程中的模块导入一致的？

为什么Akka(Actor模型)在中国不温不火？

编程领域都有哪些牛逼闪闪的「禁术」？

你怎么看待满嘴高并发，编码能力却稀松平常的程序员？

如何设计秒杀系统？

自学编程的人，都是怎么找到第一份软件开发工作的？

java nio使用的是水平触发还是边缘触发？

自学编程四个月了，感觉都会了，又感觉什么都不会。这种状态下我下一步该怎么做？

如何深刻理解Reactor和Proactor？

java中的io 流到底怎么理解？

你的编程能力从什么时候开始突飞猛进？

编程新手如何提高编程能力？

为什么内部类的private变量可被外部类直接访问？

如何设计解释器的文件结构使之更优雅？

Jvm规范中的LDC_W指令问题？

Effective Java一书中的代码规范现实中的你或者你所在的团队做到了几条？

的

专攻哪门编程语言好？

IDE的自动提示是如何实现的？

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

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

]论面向组合子程序

如何理解面向组合子编程?

为啥 Erlang 没有像 Go、Scala 语言那样崛起？

Java 中的接口有什么作用？

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

在姚班做普通人是一种什么样的体验？

为什 Ada 语言没有普及开？

看一些 Type Inference 的论文感觉吃力，需要补哪些知识？

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

什么样的类型系统才是 Unsound 的?

计算机领域有哪些短小精悍的轮子？(仅用于教学)？

Daniel P. Friedman的新书The Little Typer怎么样？

如何有步骤地实现一个解释器？如果采用低级语言，如 C 之类的语言来实现像 Lisp 这样的语言，需要什么知识和工具？

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

你见过哪些让你瞠目结舌的 Java 代码技巧？

SystemF 对应二阶逻辑，Fω 对应高阶逻辑，这个阶是怎么算得？

[PLT]和[数理逻辑、类型论、抽象代数及范畴论]的关系是什么？

Cut elimination对于STLC以及其他type system的意义？

从语言设计的角度来看, Pascal 是一门优秀的语言吗?

和 C++ 相比，用 Fortran 编程是怎样的体验？

Scheme 适合用来做什么？

语言只是工具，那么什么是编程思想呢？

Racket有contract为什么还要加一个type system？

如何理解编程语言中「操作符」（operator）的概念？

语言设计中运算符优先级如何确定？

学习程序语言设计与类型系统如何找到工作？

上下文有关（注意，不是无关）文法与自然语言的区别在哪里？

为什么编程语言都是上下文无关文法，不能采用上下文有关文法吗？

有哪些讲编程范式的好书或好文？

读 CS PhD 之前没有工业界经历真的没关系吗？

在计算机科学中，整体来说，PL 更接近 Theory 还是 System？

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

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

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

编程语言发展史上有哪些趣事？

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

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

是否可以说 Contract 和 Type Inference 模糊了静态类型和动态类型的界限？

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

如何评价 MSR 的 Lean Theorem Prover？

如何看待 Lean 和 Agda 逐渐成为年轻人的第一个 prover?

不适合编程的人是怎样的？

编程真的能改变人的思维方式吗？

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

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

LISP可以做什么？

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

为什么有些程序语言的类型推断可以推断函数参数，有些不会，哪种更好？

现代语言的closure是如何处理的？

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

rust是不是一个no gc 的 haskell？

如何评价The Development of Chez Scheme ？

为什么lisp开始是为了人工智能创造的，可是现在人工智能火了，lisp却被冷落了？

如何证明一个语言的类型系统是sound的？

类型应该是一等公民吗?

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

lambda演算求值顺序的问题？

如何评价PLT Redex？

CEK machine里的C、E、K分别对应了“真实”计算机里的哪些构造？

Haskell 和 Scheme, 哪一个更适合用于生产环境?

有人说动态语言没有类型系统，这个认识是对是错？如果是错的，应该从什么角度进行回应呢？

应该怎么理解编程语言中的协变逆变？

haskell中的callcc有什么用？

为什么C/C++等少数编程语言要区分左右值？

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

计算机系大四学生如何在六个月的时间内完成一个编译器？要学些什么？

如何写一个简单的编译器？

free一块修改过的malloc指针会发生什么？

Call By Need语义下如何做Partial Evaluation？

编程语言为什么有变量类型这个概念？