266 Matching Annotations
- Jan 2025
-
book.originit.top book.originit.top
-
Do one thing, and do it well
编程原则
-
- Dec 2024
-
-
如何看待文章 《The two factions of C++》?
- [ ] c++的两个派系 #share
-
- 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
-