V
主页
CatTalks - Imperative Objects from STLC
发布人
是否有可能从函数式的λ演算中制定出命令式的对象?需要什么额外条件? 这个讲座是基于我对B.C.Pierce的《类型和编程语言》一书中同名章节的个人提炼。材料见:https://gist.github.com/shouya/b503ce62e86c68463d974942d3f69b48 Cat Talks 是一个关于范畴论的系列课程,课程来源于 Tubi Cat Talks 兴趣小组,主题涵盖范畴论、类型论乃至各种函数式编程相关的内容。本视频为第 29 次课程,分享于 2021/8/23。
打开封面
下载高清视频
观看高清视频
视频下载器
CatTalks - Y combinator
ElixirConf2021-Promox-YimingChen
CatTalks - The STG Machine
CatTalks - Lojban: Encoding information with relations
CatTalks - lens 库简介
CatTalks - 形式化证明助手 Coq
CatTalks - core.spec in Clojure
CatTalks - A guided expedition to type theory
CatTalks - Abstract Data Type in Real-Life
Scala Meetup - Scala 与函数式编程
CatTalks - 实现一个玩具 Coroutine 调度器
封装与抽象:Ruby 思想在 Elixir 项目中的应用
Cat-Talks: Clojure 中的 Transducer
Cat-Talks: Functional Zipper and Implementation
Algebraic Effects 101
Tubi Talent Time | 羽毛球
Cat-Talks:5 分钟内定义和使用自己的 DSL
Cat-Talks:Elvish 脚本编程基础
Elixir Meetup - Tubi 如何将一个无人维护的旧系统平稳无感地迁移到 Elixir 上
Cat-Talks: Programming Language Semantics: Defunctionalization 的应用
为什么每个 Java 开发者都需要了解 Scala |Scala & Java Meetup
20201024-Elixir-Meetup
The connection between Elixir and Lisp
2020-9-Online Scala Meetup
Typesafe Generic CSV Parser
jdk 并发编程的终极解决方案:虚拟线程|Scala & Java Meetup
Cat Talks :Pretty-printer
“无模式”GraphQL 开发|Scala & Java Meetup
f-algebra
F-algebra 2
Scala meetup - 计算的本质:一个野生中年程序员的胡说八道
Compsotion of Functor Applicative Monad
Cat-Talks:Programming Language Semantics
Cat-Talks: Traversables and States
Cat-Talks: Interactive Development with Shadow CLJS
Elixir Meetup - 通过 eBPF 查看服务依赖
Cat-Talks: Parser combinator_A categorical overview
Property-Based Testing 101
F-Algebra 1
Cat-Talks: Categorical Database