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

类型系统里的概念 Soundness 和形式系统中的概念一致性（Consistency）有什么异同？

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