V
主页
Algebraic Effects 101
发布人
本次分享首先介绍了函数式编程语言寻求解决 side effects 的历程,进而引出 Algebraic Effects 的核心思路,然后通过 Koka 编程语言的一些经典示例生动地体现出 Algebraic Effects 的优雅灵活。在不久的将来,我们还会进一步介绍背后的数字原理,敬请期待。 视频中演示代码: https://gist.github.com/springuper/02fecbe6333bab2f90ea0edbb7c9c104 Cat Talks 是一个关于范畴论的系列课程,课程来源于 Tubi Cat Talks 兴趣小组,主题涵盖范畴论、类型论乃至各种函数式编程相关的内容。本视频为第 22 次课程,分享于 2021/3/18。
打开封面
下载高清视频
观看高清视频
视频下载器
Existential Types
ElixirConf2021-Promox-YimingChen
Pijul
F-algebra 2
Parser Combinator
Computation Expressions
封装与抽象:Ruby 思想在 Elixir 项目中的应用
Codata
Representable Functors
f-algebra
F-Algebra 1
2019/10 Scala Meetup - Open Tracing In Scala--by 艾彦波
Rikai 核心设计
Contravariant Functors in Action
Expression Problem
2019/12 Shenzhen Scala Meetup-《Akka HTTP、gRPC、Typed Actor与Cluster工程实践》-by 羊八井
Cat Talks:Perceptual Hash
2019/10 Scala Beijing Meetup - Alex's talk
miniKanren 和关系式编程
CatTalks - Abstract Data Type in Real-Life
2020-9-Online Scala Meetup
2021年1月 Online Scala Meetup
Free Monoid
【孙颖莎 | 和孙莎莎一起学习吧】30min 莎莎自习室×笔尖沙沙、翻书、雪夜、学习白噪音
2020-4-Online Scala Meetup Recording
Scala Meetup - 反应式流在大规模场景下的实战
Tubi Talent Time | 发挥软件工程师的长处学习英文
Cat Talks :Pretty-printer
Tubi Club|浅说中美地理气候禀赋之差异
【挑战系列Ⅲ】从零开始挑战用互联网七天赚一万元(第五天)
Tubi Talent Time | 垂钓入门
Tubi Talent Time|深度学习
CatTalks - 实现一个玩具 Coroutine 调度器
在网上,谁不是裸奔?(本视频提供网络安全教程)
Tubi Talent Time| 新西兰的生活
CatTalks - A guided expedition to type theory
Scala Meetup - Tubi 推荐系统之架构与实践
Tubi Talent Time | 北大软微郭立峰教授「os 规划与架构」
CatTalks - Lojban: Encoding information with relations
2021/6 Scala Meetup -《关于 Scala 学习和就业中若干问题的讨论》-- by 张伟文