264 Matching Annotations
- Sep 2024
-
moreality.net moreality.net
-
自动将剪切板内容总结并保存到 Telegram 我自己的收藏夹中
这个可以有，有空搞一下
-
-
www.v2ex.com www.v2ex.com
-
你遇到过哪些比较难理解的编程语言概念
这个值得好好研究一下
-
- Dec 2022
-
www.zhihu.com www.zhihu.com
-
java中如何让一个方法不能被反射调用？
Tags
Annotators
URL
-
-
-
JDK中Lambda表达式的序列化与SerializedLambda的巧妙使用
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
一门语言没有ad hoc polymorphism，那应该怎么解决呢？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
怎样支持递归定义/初始化变量（相较于几乎所有现代语言都支持函数定义递归）？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么JAVA,wait（）要放在while循环里？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何判断一个字符串是否经过base64加密过？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
常用的分布式事务解决方案有哪些?
Tags
Annotators
URL
-
-
-
使用java的ReentrantReadWriteLock读写锁时，锁降级是必须的么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
编程领域都有哪些牛逼闪闪的「禁术」？
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
自学编程的人，都是怎么找到第一份软件开发工作的？
-
-
www.zhihu.com www.zhihu.com
-
java nio使用的是水平触发还是边缘触发？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
自学编程四个月了，感觉都会了，又感觉什么都不会。这种状态下我下一步该怎么做？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
java中的io 流到底怎么理解？
-
-
www.zhihu.com www.zhihu.com
-
你的编程能力从什么时候开始突飞猛进？
-
-
www.zhihu.com www.zhihu.com
-
编程新手如何提高编程能力？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么内部类的private变量可被外部类直接访问？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何设计解释器的文件结构使之更优雅？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Jvm规范中的LDC_W指令问题？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Effective Java一书中的代码规范现实中的你或者你所在的团队做到了几条？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
的
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
专攻哪门编程语言好？
-
-
www.zhihu.com www.zhihu.com
-
IDE的自动提示是如何实现的？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何看待Erlang之父Joe Armstrong觉得OO编程很烂？
Tags
Annotators
URL
-
-
-
Protocol，Interface，Trait，Concept，TypeClass之间的关系和区别？
Tags
Annotators
URL
-
-
wiki.kimleo.net wiki.kimleo.net
-
]论面向组合子程序
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解面向组合子编程?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为啥 Erlang 没有像 Go、Scala 语言那样崛起？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Java 中的接口有什么作用？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
函数式编程所倡导使用的「不可变数据结构」如何保证性能？
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
-
计算机领域有哪些短小精悍的轮子？(仅用于教学)？
Tags
Annotators
URL
-
-
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
-
你见过哪些让你瞠目结舌的 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
-
和 C++ 相比，用 Fortran 编程是怎样的体验？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Scheme 适合用来做什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
Racket有contract为什么还要加一个type system？
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
-
学习程序语言设计与类型系统如何找到工作？
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
-
读 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
-
为什么大部分编程语言不支持宏？
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
-
(list 1 2 3)为什么不可以是(cons (cons (cons nil 1) 2) 3)?
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 和 Agda 逐渐成为年轻人的第一个 prover?
-
-
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
-
（sicp 计算机程序的构造和解释） 如何理解无限长的流？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
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开始是为了人工智能创造的，可是现在人工智能火了，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
-
应该怎么理解编程语言中的协变逆变？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
haskell中的callcc有什么用？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么C/C++等少数编程语言要区分左右值？
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
-
free一块修改过的malloc指针会发生什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Call By Need语义下如何做Partial Evaluation？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程语言为什么有变量类型这个概念？
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
-
为什么王垠说“其实面向对象语言的根本毛病就是由它（Smalltalk）而来的”？
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
-
-
www.zhihu.com www.zhihu.com
-
函数式编程的函数是如何实现的？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何简单易懂地解释 Lua 的元表（metatable）？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
什么是「continuation」?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
系统地学习PLT需要读哪些经典书籍？
-
-
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
-
scheme中的continuation实现原理是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
使用yield可以做哪些很酷的事情？
Tags
Annotators
URL
-
-
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
-
如何评价王垠的《Sum types and union types》？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Haskell等语言中的模式匹配在C++中如何实现？
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
-
-
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
-
宏的“理论极限”是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
函数式语言能否内置一个 caching 类似的功能用于函数 Memoization, 为什么?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
怎么评价这份PLT Learning By Doing Guide 攻略？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Golang vs Rust vs Dlang 哪个更有前途，哪位大牛这 3 门语言都用过？
-
-
www.zhihu.com www.zhihu.com
-
以王垠的水平，他可以开发出像 nginx 和 redis 这样的软件吗？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
刷完 LeetCode 是什么水平？能拿到什么水平的 offer？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Prolog 这类逻辑式编程语言为什么没有得到广泛应用？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
程序语言中的取余是如何实现的?
-
-
www.zhihu.com www.zhihu.com
-
有人没事儿玩Hackerrank网站都拿到多高的rank了？
-
-
www.zhihu.com www.zhihu.com
-
CPS变换可以用来将普通递归转变为尾递归？？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
完成一个Scheme解释器需要哪些知识？实现各功能都有哪些东西需要理解？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
《计算机程序的构造和解释（SICP）》讨论的核心问题是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程语言的类型系统为何如此重要？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
读完sicp后应该做些什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
图灵机与λ演算是等价的，为什么前者成为了普遍接受的计算机或计算理论的模型？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
WeakHashMap中关于queue的疑惑 ？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
.jar 是否都能被轻易的反编译？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
未来什么编程语言和开发技术会比较吃香呢？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 Clean Code 作者对 Swift 与 Kotlin 的看法？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Java8 lamba为什么不在编译期生成匿名类，而选择在运行时生成匿名类呢？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
JVM的规范中允许编程语言语义中创建闭包(closure)吗？
-
-
www.zhihu.com www.zhihu.com
-
Lambda 表达式、Block、闭包与匿名函数之间有什么区别？和 λ 演算有什么关系？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么javascript closure(闭包)要叫闭包？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Python 中的 lambda 和「真正的」lambda 有什么区别？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解抽象解释（abstract interpretation）？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Java为什么不自举？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
一门语言要做到何种地步，才能说是「自举」？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
ruby语言有什么样的美学特点？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Java 中引入内部类的意义？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价王垠的新文章，《给Java说句公道话》？
-
-
www.zhihu.com www.zhihu.com
-
如何评价王垠新博文《如何掌握所有的程序语言》？
-
-
www.zhihu.com www.zhihu.com
-
Java的函数重载为什么采取静态静态绑定而非动态绑定？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
初学者该从哪里入门学习写 tokenizer 和 grammar analyzer ?
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
-
upsource的使用体验如何?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解 Free Monad？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
elm如何既能对状态进行统一管理又能保持分形的呢，在我看来 集中管理 跟 分形 是一对矛盾？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么 Elm 类似语言很稀罕？未来怎样？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
异步复杂度要到什么程度才需要用到Rxjs？
-
-
www.zhihu.com www.zhihu.com
-
Rx.js 的定位到底是什么？
Tags
Annotators
URL
-
-
-
函数式响应型编程(Functional Reactive Programming)会在什么问题上有优势?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 Webkit 推出的并发 JavaScript 提案？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
JavaScript一个疑问，[ ] （空数组）== true ，具体如下，请问这是为何？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
getter 和 setter 方法有什么意义？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程到底难在哪里？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
C语言或C++语言如何实现尾调用消除？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
从编程语言设计的角度，如何评价SQL语言？
-
-
www.zhihu.com www.zhihu.com
-
程序语言设计界是否开始认为 Subtyping 是 Anti-pattern？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
设计、更新一门通用编程语言的一般流程是怎样的？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
类型（Types）和集合（Sets）二者之间有何区别？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
高级语言为什么要添加数据类型？
-
-
www.zhihu.com www.zhihu.com
-
玩模板元编程走火入魔是一种怎样的体验？
-
-
www.zhihu.com www.zhihu.com
-
Call by name 的语言能模拟 call by value 吗？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
有人质疑PL研究，比如program slicing的价值。如何解释？
-
-
www.zhihu.com www.zhihu.com
-
OCaml 类型系统的缺陷有哪些？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
PLT零基础的人，要看懂王垠和彭飞在《王垠，请别再欺负我们读书少》里讨论的内容，需要掌握哪些知识？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何看待Spring 5引入函数式编程思想以及Reactor?
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
-
Edward Kmett 的这个讲座在讲什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
子类型（subtyping）是不是错误（ill-defined）的东西？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
subtyping和inheritance的区别是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Java 泛型 <? super T> 中 super 怎么 理解？与 extends 有何不同？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价Liquid Types？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
程序语言中的类型系统怎么理解，它有哪些要素？如何由它演化出一门编程语言的？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Haskell 的带界量化多态和 Java/C# 的接口动态委派，哪一个更有利于优化？灵活性更好？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价Elm 编程语言？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解笛卡尔闭范畴以及它与函数式编程的关系？
Tags
Annotators
URL
-