108 Matching Annotations
- Dec 2022
-
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
-
如何看待Erlang之父Joe Armstrong觉得OO编程很烂？
Tags
Annotators
URL
-
-
-
Protocol，Interface，Trait，Concept，TypeClass之间的关系和区别？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
函数式编程所倡导使用的「不可变数据结构」如何保证性能？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程语言中， type, typed, typing 有什么区别？
Tags
Annotators
URL
-
-
-
对大量使用 immutable data structure 的语言，其 VM 和 GC 会有何特点？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
设计闭包（Closure）的初衷是为了解决什么问题？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Scheme 适合用来做什么？
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
-
scheme中letrec的语义要如何转化以及实现？
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
-
First class higher order function 是编程语言发展中的弯路吗？
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
-
OCaml语言有什么先进的地方?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
rust是不是一个no gc 的 haskell？
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
-
haskell中的callcc有什么用？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何看待编程语言越来越大的趋势？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
normalization property、type safety与soundness有什么联系？
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
-
什么是「continuation」?
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
-
如何用七条公理构造call/cc？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Haskell等语言中的模式匹配在C++中如何实现？
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
-
函数式语言能否内置一个 caching 类似的功能用于函数 Memoization, 为什么?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
CPS变换可以用来将普通递归转变为尾递归？？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
读完sicp后应该做些什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么Java闭包不能通过返回值之外的方式向外传递值？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Lambda 表达式、Block、闭包与匿名函数之间有什么区别？和 λ 演算有什么关系？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Python 中的 lambda 和「真正的」lambda 有什么区别？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
怎样理解 Partial Evaluation？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解 Free Monad？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
elm如何既能对状态进行统一管理又能保持分形的呢，在我看来 集中管理 跟 分形 是一对矛盾？
Tags
Annotators
URL
-
-
-
函数式响应型编程(Functional Reactive Programming)会在什么问题上有优势?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
代数数据类型是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
程序语言设计界是否开始认为 Subtyping 是 Anti-pattern？
Tags
Annotators
URL
-
-
-
为什么函数式语言里有recursive data type但没有recursive function type？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
类型推导是否可以理解为一种编译期计算？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
应该如何理解Profunctor？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Call by name 的语言能模拟 call by value 吗？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
每一个 Haskell 中的「范畴论的」概念都可以去 co 吗？
-
-
www.zhihu.com www.zhihu.com
-
PLT零基础的人，要看懂王垠和彭飞在《王垠，请别再欺负我们读书少》里讨论的内容，需要掌握哪些知识？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
读《The Little Schemer》时，看到第9章有partial function和total function两个概念，不是特别懂，请赐教？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何看待Spring 5引入函数式编程思想以及Reactor?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
MobX 的“间接引用值尽可能晚使用”产生的强耦合问题应该如何解决？
-
-
www.zhihu.com www.zhihu.com
-
Haskell 的 Typeclass 怎么理解？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Higher-kinded type到底有什么用？
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
-
如何评价Liquid Types？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
该如何理解Monad？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解 Extensible Effects?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理清 lens 这个库的各个组件，熟悉各种高级玩法？
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
-
-
www.zhihu.com www.zhihu.com
-
如何理解Haskell中的Arrow及其用途?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
怎么看待王垠对 Haskell 的评价？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Erlang，Haskell都会的人出路在哪里？
-
-
www.zhihu.com www.zhihu.com
-
精通 Haskell 是一种怎样的体验？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何解释 Haskell 中的单子（Monad）？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解Monad Transformer？有哪些资料可以帮助理解它？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
state monad 为什么wrap的是一个 Function ？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么applicative不定义为monoid的子类？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
List的Applicative instance应该怎么写？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Haskell 这段代码该如何理解？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 Racket 这门编程语言？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Haskell 里面的 Functor 是个什么概念？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
函数式编程和反应式编程（reactive programming）有什么区别？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
一阶逻辑和高阶逻辑的区别，能不能具象一点说明？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Haskell引入Applicative functor有什么意义？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
函数式编程中cps（continuation-passing style ）是什么意思？
-
-
www.zhihu.com www.zhihu.com
-
Y不动点组合子用在哪里？
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
-
sicp中的流模式在实际开发中有什么应用？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Hindley-Milner 是什么，以及函数式编程中它的用途是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
函数式编程如何优雅的处理很多 多个函数都要用到的 参数？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么 pattern matching 常常出现在函数式编程语言？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Java8引入Lambda表达式的利弊？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
当我们写什么java代码的时候会出现invokedynamic这个指令？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
JavaScript 函数式编程存在性能问题么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
JavaScript 如何获取闭包变量？
-
-
www.zhihu.com www.zhihu.com
-
怎样理解 Continuation-passing style?
-
-
www.zhihu.com www.zhihu.com
-
Java8 Functional Interface 疑问?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何解释 Lisp 中 call/cc 的概念？
Tags
Annotators
URL
-
- Aug 2022
-
juejin.cn juejin.cn
-
StreamBridge模式
主动发送
-
函数式消息队列的步骤： * 声明supplier或者consumer（function name） * 配置中声明：且将destination设置为同一个，input亦可声明group: 1. * input - functionName+ -in- + index 1. * output - functionName + -out- + index * 配置声明function的definition：名字为function的name
-
函数式编程模型
functional binding is disabled due to the presence of @enablebinding 函数式和命令式有兼容性问题：https://github.com/spring-cloud/spring-cloud-stream-binder-kafka/issues/882
Tags
Annotators
URL
-
-
time.geekbang.org time.geekbang.org
-
还有助于我们实现函数类型
类型系统与函数式编程在静态类型语言中相辅相成
Tags
Annotators
URL
-
-
time.geekbang.org time.geekbang.org
-
无副作用的函数，它具有引用透明的特性
引用透明，结果可以替代函数调用
Tags
Annotators
URL
-
- Mar 2022
-
www.ruanyifeng.com www.ruanyifeng.com
-
学习函数式编程对我产生的影响是，让我更加关注哪些概念自然地被视为"对象"，哪些概念是不可变的"值"。 我还会更加注意，我的代码是否包含副作用，从而更谨慎地隔离这些地方，使代码更多是"纯的"，这大大提高了我的面向对象代码的可测试性。
思考变化能更好的理解什么是对象
Tags
Annotators
URL
-