V
主页
Free Monoid
发布人
Cat Talks 是一个关于范畴论的系列课程,课程来源于 Tubi Cat Talks 兴趣小组,主题涵盖范畴论、类型论乃至各种函数式编程相关的内容。本视频为第 10 次课程—— Free Monoid ,分享于 2020/7/22。
打开封面
下载高清视频
观看高清视频
视频下载器
Parser Combinator OCaml
Representable Functors
Covariance and Contravariance
f-algebra
ElixirConf2021-Promox-YimingChen
Adjunctions
Compsotion of Functor Applicative Monad
Typesafe Generic CSV Parser
Algebraic Effects 101
2020-4-Online Scala Meetup Recording
Existential Types
Cat Talks:归纳法的源头
Scala Meetup - Scala 与函数式编程
Cat-Talks:5 分钟内定义和使用自己的 DSL
Cat-Talks: 用类型进行抽象
Expression Problem
Scala meetup - 计算的本质:一个野生中年程序员的胡说八道
Cat-Talks: E-graph
2021年1月 Online Scala Meetup
2019/10 Scala Meetup - Open Tracing In Scala--by 艾彦波
Tubi Club|浅说中美地理气候禀赋之差异
Pijul
Rikai——分析并理解大规模视频内容的开源引擎
Codata
2019/11 Scala Meetup - 程序员撸猫指南—函数式编程初探-by 屈国栋
Cat-Talks: Parser combinator_A categorical overview
Cat-Talks: Type inference with miniKanren
2019-10-20 Scala_Beijing_Meetup-Practical Programming with FP
用 Zanzibar 处理用户授权的难题
2019/11 Scala Meetup-邓草原:Akka若干应用实例、设计和范式
使用 Elixir / OTP 构建多媒体 E2E 处理平台
2021/6 Scala Meetup -《关于 Scala 学习和就业中若干问题的讨论》-- by 张伟文
FFmpeg在音视频播放器的应用
Tubi Talent Time | 北大软微郭立峰教授「os 规划与架构」
20201024-Elixir-Meetup
运用 ChatGPT 从零实现 一个简单的 http 服务器
“无模式”GraphQL 开发|Scala & Java Meetup
从哪一刻开始,我成了资深工程师|资深工程师与你有话说
关于声明式 UI 的发展与思考
Tubi Talent Time|深度学习