V
主页
Representable Functors
发布人
Cat Talks 是一个关于范畴论的系列课程,课程来源于 Tubi Cat Talks 兴趣小组,主题涵盖范畴论、类型论乃至各种函数式编程相关的内容。本视频为第五次课程—— Representable Functors,分享于 2020/4/1。
打开封面
下载高清视频
观看高清视频
视频下载器
F-algebra 2
Parser Combinator OCaml
Parser Combinator
F-Algebra 1
f-algebra
Continuation
Adjunctions
ElixirConf2021-Promox-YimingChen
Typesafe Generic CSV Parser
Covariance and Contravariance
Pijul
Algebraic Effects 101
Computation Expressions
Cat Talks:Perceptual Hash
CatTalks - lens 库简介
Property-Based Testing 101
封装与抽象:Ruby 思想在 Elixir 项目中的应用
Cat Talks:归纳法的源头
2019/10 Scala Meetup - Open Tracing In Scala--by 艾彦波
CPS Transformation
Expression Problem
Scala meetup - 计算的本质:一个野生中年程序员的胡说八道
Cat-Talks: E-graph
Cat-Talks:5 分钟内定义和使用自己的 DSL
2019/12 Shenzhen Scala Meetup-《Akka HTTP、gRPC、Typed Actor与Cluster工程实践》-by 羊八井
Cat-Talks: 用类型进行抽象
2020-4-Online Scala Meetup Recording
Cat-Talks: Type inference with miniKanren
Cat-Talks: XMonad - A Tiling Window Manager
2019-10-20 Scala_Beijing_Meetup-Practical Programming with FP
Cat-Talks:Programming Language Semantics
2021年1月 Online Scala Meetup
2019/11 Scala Meetup-邓草原:Akka若干应用实例、设计和范式
Zipper 和导数的关系
Cat-Talks:Monadic 事务库
Scala Meetup - 反应式流在大规模场景下的实战
零基础写一个 Lisp 解释器
The connection between Elixir and Lisp
用 Zanzibar 处理用户授权的难题
Tubi Talent Time|深度学习