1,778 Matching Annotations
- Dec 2022
-
www.zhihu.com www.zhihu.com
-
Java 基础问题: 用 try{❶}catch(){❷} ❸，如果 try 中代码即 1 发生异常, 就被 2 捕获, 还能走到 3，加不加 finally 都会走到后面的代码，那 finally 还有什么用？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
函数式编程所倡导使用的「不可变数据结构」如何保证性能？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
在 Java 中很常见的“静态工厂方法”在 C++ 也很常见吗？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
现代C/C++编译器有多智能？能做出什么厉害的优化？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
在姚班做普通人是一种什么样的体验？
-
-
www.zhihu.com www.zhihu.com
-
为什 Ada 语言没有普及开？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
看一些 Type Inference 的论文感觉吃力，需要补哪些知识？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程语言中， type, typed, typing 有什么区别？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
什么样的类型系统才是 Unsound 的?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 hegel 这个 type checker?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
计算机领域有哪些短小精悍的轮子？(仅用于教学)？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
MongoDB 等 NoSQL 与关系型数据库相比，有什么优缺点及适用场景？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何把任意的递归函数写成利用堆栈的非递归形式？
-
-
www.zhihu.com www.zhihu.com
-
Daniel P. Friedman的新书The Little Typer怎么样？
Tags
Annotators
URL
-
-
-
如何有步骤地实现一个解释器？如果采用低级语言，如 C 之类的语言来实现像 Lisp 这样的语言，需要什么知识和工具？
Tags
Annotators
URL
-
-
-
对大量使用 immutable data structure 的语言，其 VM 和 GC 会有何特点？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
在不使用JIT的前提下，解释器能达到多高的速度呢？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
你见过哪些让你瞠目结舌的 Java 代码技巧？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
SystemF 对应二阶逻辑，Fω 对应高阶逻辑，这个阶是怎么算得？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
[PLT]和[数理逻辑、类型论、抽象代数及范畴论]的关系是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Cut elimination对于STLC以及其他type system的意义？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
求讲解下列链接以及pascal嵌套子程序是如何实现的？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
设计闭包（Closure）的初衷是为了解决什么问题？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编译原理中的抽象语法树(AST)为什么而存在？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
从语言设计的角度来看, Pascal 是一门优秀的语言吗?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
和 C++ 相比，用 Fortran 编程是怎样的体验？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 Meta 的代码搜索系统 Glean?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
操作 AST 树都有哪些标准算法，各自的优缺点是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
什么是闭包？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Scheme 适合用来做什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Y Combinator 的名字是怎样来的？有什么故事？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
如何写 Lisp 解释器？
-
-
www.zhihu.com www.zhihu.com
-
OCaml 语言能做些什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么很多语言的实现里面的 Lexer 都没有使用 DFA？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Racket有contract为什么还要加一个type system？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
SLR与LALR之间的区别？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何在程序中将中缀表达式转换为后缀表达式？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解编程语言中「操作符」（operator）的概念？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
语言设计中运算符优先级如何确定？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Parser Combinator 在语法解析的当中处于怎样的位置?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编译原理（龙书）的句法分析部分内容是不是有很大问题？
Tags
Annotators
URL
-
-
-
shift reduce，预测分析，递归下降分析（这是解析方法）和LL(K) LR(K) SLR以LALR的关系？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
学习程序语言设计与类型系统如何找到工作？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
上下文有关（注意，不是无关）文法与自然语言的区别在哪里？
-
-
www.zhihu.com www.zhihu.com
-
为什么编程语言都是上下文无关文法，不能采用上下文有关文法吗？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
有哪些讲编程范式的好书或好文？
Tags
Annotators
URL
-
-
github.com github.com
-
比起其他主题，自学数据库系统需要更多的付出。这是一个相对年轻的研究领域，并且出于很强的商业动机，研究者把想法藏在紧闭的门后。此外，许多原本有潜力写出优秀教材的作者反而选择了加入或创立公司。
-
-
www.zhihu.com www.zhihu.com
-
PingCAP 这家公司的前景如何？
-
-
www.zhihu.com www.zhihu.com
-
学习编译原理有什么好的书籍?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
读 CS PhD 之前没有工业界经历真的没关系吗？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
在计算机科学中，整体来说，PL 更接近 Theory 还是 System？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
现今编程语言的理想类型系统是怎样的？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
哪门语言的设计最能规避运行时错误？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么大部分编程语言不支持宏？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Glavo
-
-
www.zhihu.com www.zhihu.com
-
如果实现了一种不用暂停世界的GC算法，会对现在编程语言产生什么影响？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何看待R大加入大数据公司Databricks？
-
-
www.zhihu.com www.zhihu.com
-
既然 GraalVM 支持多语言且能 AOT 编译 Java，它能否用来 AOT 编译 TS？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
程序在编译的时候，会转换成汇编，然后是机器指令，那么运行的时候，操作系统充当什么呢？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
scheme中letrec的语义要如何转化以及实现？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程语言发展史上有哪些趣事？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
lisp是否和静态类型基因上就不合？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
对r6rs中一个letrec实现的问题?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
(list 1 2 3)为什么不可以是(cons (cons (cons nil 1) 2) 3)?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如果想自学逻辑学哪里有可靠的信息来源？
-
-
www.zhihu.com www.zhihu.com
-
如何理解linear logic？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
什么语言最适合写编译器/解释器？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
是否可以说 Contract 和 Type Inference 模糊了静态类型和动态类型的界限？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
First class higher order function 是编程语言发展中的弯路吗？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 MSR 的 Lean Theorem Prover？
-
-
www.zhihu.com www.zhihu.com
-
如何看待微软研究院的LEAN项目没有使用微软出品的编译器?
-
-
www.zhihu.com www.zhihu.com
-
如何看待 Lean 和 Agda 逐渐成为年轻人的第一个 prover?
-
-
www.zhihu.com www.zhihu.com
-
简单图灵机怎么模拟高级的？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
TAPL这本书适合作为入门读物吗？
-
-
www.zhihu.com www.zhihu.com
-
不适合编程的人是怎样的？
-
-
www.zhihu.com www.zhihu.com
-
面向对象编程的弊端是什么？
-
-
www.zhihu.com www.zhihu.com
-
invalid s
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
编程真的能改变人的思维方式吗？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
现代计算机之父明明是冯诺依曼，为什么提到计算机，大家首先想到的是图灵？
-
-
www.zhihu.com www.zhihu.com
-
函数式编程是否适用于超大型项目？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
目前，人工智能各个流派发展现状如何？
-
-
www.zhihu.com www.zhihu.com
-
（sicp 计算机程序的构造和解释） 如何理解无限长的流？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
世界上第一款编译器是如何打造的？
-
-
www.zhihu.com www.zhihu.com
-
LISP可以做什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Common Lisp 为什么不用卫生宏？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 The Little Schemer 系列的文风？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么有些程序语言的类型推断可以推断函数参数，有些不会，哪种更好？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
现代语言的closure是如何处理的？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
OCaml语言有什么先进的地方?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
rust是不是一个no gc 的 haskell？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价The Development of Chez Scheme ？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
精通 Lisp 是一种怎样的体验？
-
-
www.zhihu.com www.zhihu.com
-
为什么lisp开始是为了人工智能创造的，可是现在人工智能火了，lisp却被冷落了？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Lisp machine 这种用 Lisp 代码当机器的汇编指令的硬件实现为什么销声匿迹了？硬件和 Lisp 这样的高级语言两个极端如何融合在一起？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何证明一个语言的类型系统是sound的？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
类型应该是一等公民吗?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Lazy computation 在实际应用中有什么妙用？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
lambda演算求值顺序的问题？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价PLT Redex？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
CEK machine里的C、E、K分别对应了“真实”计算机里的哪些构造？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Haskell 和 Scheme, 哪一个更适合用于生产环境?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
有人说动态语言没有类型系统，这个认识是对是错？如果是错的，应该从什么角度进行回应呢？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 Abstracting Gradual Type?
-
-
www.zhihu.com www.zhihu.com
-
Julia 究竟是静态类型还是动态类型？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
应该怎么理解编程语言中的协变逆变？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么社区里那些类 React 库至今没有选择实现 Fiber 架构？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
haskell中的callcc有什么用？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
实现 Async/Await 是否必须魔改编译器，靠普通 OOP 机制能否实现？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
async/await异步模型是否优于stackful coroutine模型？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
请问Babel能将ES5转成ES6吗？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么C/C++等少数编程语言要区分左右值？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
有哪些算法惊艳到了你？
-
-
www.zhihu.com www.zhihu.com
-
c++中，引用和指针的区别是什么？
-
-
-
C++ 中，如果指针换了被指向的东西，那被指向的原来的东西（是被 new 出来的）所占的内存会立刻被释放吗？
-
-
www.zhihu.com www.zhihu.com
-
是否有可能发现一段内存被野指针修改了？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
悬垂指针和野指针到底什么关系，我怎么觉得悬垂指针也是野指针的一种呢？
-
-
www.zhihu.com www.zhihu.com
-
全局指针变量指向栈上的对象的问题？
-
-
www.zhihu.com www.zhihu.com
-
如何让脑笨的人理解c语言指针和函数？
-
-
www.zhihu.com www.zhihu.com
-
c++是否应避免使用普通指针，而使用智能指针（包括shared，unique，weak）？
-
-
www.zhihu.com www.zhihu.com
-
如何看待编程语言越来越大的趋势？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
计算机系大四学生如何在六个月的时间内完成一个编译器？要学些什么？
-
-
www.zhihu.com www.zhihu.com
-
如何写一个简单的编译器？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
学习 scheme 有哪些资源推荐？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
什么情况下 C++ 需要垃圾处理机制？
-
-
www.zhihu.com www.zhihu.com
-
free一块修改过的malloc指针会发生什么？
Tags
Annotators
URL
-
-
-
在c或者c++中为什么free() 和delete释放内存，不直接在函数内部实现指针等于NULL，而是将其设置为野指针呢？
-
-
-
Partial Evaluation, Constant Propagation, AI的关系是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Call By Need语义下如何做Partial Evaluation？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何通俗地解释停机问题（Halting Problem）？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解莱斯定理(Rice's Theorem)?
-
-
www.zhihu.com www.zhihu.com
-
编程语言为什么有变量类型这个概念？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价Julia语言使用Scheme编写Parser？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
类型系统里的概念 Soundness 和形式系统中的概念一致性（Consistency）有什么异同？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
normalization property、type safety与soundness有什么联系？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
有没有关于编程语言的大一统理论？
-
-
www.zhihu.com www.zhihu.com
-
如何学习JIT，能提供一些系统全面的路线和材料吗？
-
-
www.zhihu.com www.zhihu.com
-
为什么王垠说“其实面向对象语言的根本毛病就是由它（Smalltalk）而来的”？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价abstracting abstract machine？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Visitor 设计模式使用频率和经典场景？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Lisp的精髓是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
设计一门编程语言的话，你认为最重要的一定要有的特性会是哪些？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
想看懂编程语言理论书籍需要什么前置的知识?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么我们需要了解编程的历史？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么有很多人说 Go 语言不需要依赖注入？
Tags
Annotators
URL
-
-
zhuanlan.zhihu.com zhuanlan.zhihu.com
-
为什么“耦合”概念该要摒弃
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么 Go 语言如此不受待见？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
函数式编程的函数是如何实现的？
Tags
Annotators
URL
-
-
www.cnblogs.com www.cnblogs.com
-
服务端性能优化--最大QPS推算及验证
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何简单易懂地解释 Lua 的元表（metatable）？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
什么是「continuation」?
Tags
Annotators
URL
-
-
chpengzh.com chpengzh.com
-
服务状态与容量预估
Tags
Annotators
URL
-
-
chpengzh.com chpengzh.com
-
如何客观清晰地描述好一个问题?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
既然有 HTTP 请求，为什么还要用 RPC 调用？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
系统地学习PLT需要读哪些经典书籍？
-
-
www.zhihu.com www.zhihu.com
-
如何评价0配置的web打包器parcel？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何自己创建一种编程语言？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何实现 Call / CC 或者阴阳谜题（Yin Yang Puzzle）？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
C 语言如何实现 continuation？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
scheme中的continuation实现原理是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
使用yield可以做哪些很酷的事情？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何用七条公理构造call/cc？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
CPS变换后怎么实现的call/cc，可以详细解释吗？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
程序分析中的 {path,context,flow}-sensitive 问题？
-
-
www.zhihu.com www.zhihu.com
-
Y Combinator 的函数签名该如何表达？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Racket 这个语言的潜力怎么样？有什么生产环境使用的例子吗？
-
-
-
编程语言，编译，软件工程方面，在知乎上有哪些可以关注的researcher包括PhD student?
-
-
www.zhihu.com www.zhihu.com
-
为什么HASKELL这类语言要用代数概念描述类型的组合（ADT） 而不是看作集合去运算和组合？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价王垠的《Sum types and union types》？
Tags
Annotators
URL
-
-
zhuanlan.zhihu.com zhuanlan.zhihu.com
-
续《Racket杂谈：可扩展的宏》
-
-
www.zhihu.com www.zhihu.com
-
Haskell等语言中的模式匹配在C++中如何实现？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Typed Racket相对于Racket会有多少性能提升？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
typed shell是否是未来？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么很多语言的pattern matching能力有限？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程语言需要哪些机制才能支持模式匹配(pattern match)？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么说racket中的syntax object是卫生宏的基础础？
Tags
Annotators
URL
-
-
-
用racket实现R或Python时如何处理赋值？特别是条件语句和循环语句中的赋值,还有函数对外部变量的赋值？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 RASH （RAcket SHell Library）？
-
-
www.zhihu.com www.zhihu.com
-
C++编译器是怎么处理lambda的？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
有什么项目适合用racket实现？最近看完SICP要练练手．
-
-
zhuanlan.zhihu.com zhuanlan.zhihu.com
-
图灵奖得主、《龙书》作者万字长文讲解：什么是「抽象」？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程语言理论
-
-
www.zhihu.com www.zhihu.com
-
可以给类型系统设计解释器吗？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么滑铁卢大学让大一学生从不实用的racket语言学起而不是直接上手C语言？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Trace-based和Method-based的JIT编译器有什么区别？各自优势在哪？
-
-
www.zhihu.com www.zhihu.com
-
宏的“理论极限”是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Racket这种可以把语言特性写成库的语言为何没有得到广泛的工业应用？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
什么是卫生宏, 跟普通的宏以及函数有什么区别?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
你用 Node.js 写过哪些大型/复杂的应用？碰到什么难点?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
函数式语言能否内置一个 caching 类似的功能用于函数 Memoization, 为什么?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
IntelliJ IDEA 中有什么让你相见恨晚的技巧？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Racket里的Macro都可以用来做些什么？
-
-
www.zhihu.com www.zhihu.com
-
康托尔著名的对角线证明？
-
-
www.zhihu.com www.zhihu.com
-
GitHub 上有哪些适合新手跟进的优质项目？
-
-
www.zhihu.com www.zhihu.com
-
哪些学校的类型系统与编译器方向不错？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
怎么评价这份PLT Learning By Doing Guide 攻略？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Essentials of Programming Languages 第五章 trampolined interpreter不知道如何实现？
-
-
www.zhihu.com www.zhihu.com
-
写一个操作系统内核有多难？大概的内容、步骤是什么？
Tags
Annotators
URL
-