V
主页
Expression Problem
发布人
Cat Talks 是一个关于范畴论的系列课程,课程来源于 Tubi Cat Talks 兴趣小组,主题涵盖范畴论、类型论乃至各种函数式编程相关的内容。本视频为第 20 次课程—— Expression,分享于 2021/1/20。 这次我们讨论的内容是 Expression Problem。这是一个在有趣的、无处不在的、在函数式和 OO 编程世界中都会出现的难题,最后我们会讨论它的多种解决方案。
打开封面
下载高清视频
观看高清视频
视频下载器
Property-Based Testing 101
CPS Transformation
Pijul
Algebraic Effects 101
Parser Combinator OCaml
Computation Expressions
Existential Types
Codata
封装与抽象:Ruby 思想在 Elixir 项目中的应用
Parser Combinator
F-algebra 2
2019/11 Scala Meetup - 程序员撸猫指南—函数式编程初探-by 屈国栋
2019/10 Scala Meetup - Open Tracing In Scala--by 艾彦波
Representable Functors
f-algebra
AI 阅读:借助 GPT 阅读一本书
Adjunctions
零基础写一个 Lisp 解释器
2019/11 Scala Meetup-邓草原:Akka若干应用实例、设计和范式
【孙颖莎 | 和孙莎莎一起学习吧】30min 莎莎自习室×笔尖沙沙、翻书、雪夜、学习白噪音
miniKanren 和关系式编程
F-Algebra 1
Compsotion of Functor Applicative Monad
Rikai 核心设计
Free Monoid
基于 Vim 打造高效 IDE
2021年1月 Online Scala Meetup
2019/12 Shenzhen Scala Meetup-《Akka HTTP、gRPC、Typed Actor与Cluster工程实践》-by 羊八井
2019/10 Scala Beijing Meetup - Alex's talk
2019-10-20 Scala_Beijing_Meetup-Practical Programming with FP
马云当场下跪!揭露马云“消失”真相!跟说错话没关系!
Contravariant Functors in Action
A Taste of Prolog
Tubi Talent Time | 羽毛球
Typesafe Generic CSV Parser
裸辞后在家通宵做复制粘贴,30天收入45057,快收藏这18个网站,下个月你也可以做到!!
The connection between Elixir and Lisp
在家做AI接单,昨天580,一台电脑,操作简单!分享我的接单平台、接单技巧和资源分享,目前经济自由
20201024-Elixir-Meetup
Rikai——分析并理解大规模视频内容的开源引擎