CatTalks - Imperative Objects from STLC
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
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