V
主页
京东 11.11 红包
CatTalks - core.spec in Clojure
发布人
Yucheng talks about how to use Clojure's core.spec library to validate and generate data. Material: https://gist.github.com/Jostar1024/bba7d49af9cfed3373737d9b02e5438d Composing music with clojure.spec - Wojciech Franke: https://youtu.be/404UXttr8kw Cat Talks 是一个关于范畴论的系列课程,课程来源于 Tubi Cat Talks 兴趣小组,主题涵盖范畴论、类型论乃至各种函数式编程相关的内容。本视频为第 33 次课程,分享于 2021/10/27。
打开封面
下载高清视频
观看高清视频
视频下载器
20201024-Elixir-Meetup
CatTalks - Y combinator
CatTalks - Lojban: Encoding information with relations
Cat-Talks: Categorical Database
CatTalks - The STG Machine
CatTalks - 形式化证明助手 Coq
CatTalks - lens 库简介
CatTalks - 实现一个玩具 Coroutine 调度器
Cat-Talks: Rust ownership and linear types
使用 AWS Smithy 优雅地构建 REST API
Algebraic Effects 101
Cat Talks:归纳法的源头
Cat Talks:Perceptual Hash
Cat-Talks:如何从头开始实现 Axum 风格的「类型安全路由」特性
Cat-Talks: Small languages
Cat-Talks: Clojure 中的 Transducer
Cat-Talks: Traversables and States
Compsotion of Functor Applicative Monad
Cat-Talks: E-graph
【直播回放】2022/3/19 Elixir Meetup
Cat-Talks: Functional Zipper and Implementation
Scala meetup - 计算的本质:一个野生中年程序员的胡说八道
使用 Elixir / OTP 构建多媒体 E2E 处理平台
Cat-Talks: Dependently-typed Printf Function
Elixir Meetup - 下一代 Elixir 语言服务器 Lexical
Cat-Talks: XMonad - A Tiling Window Manager
Tubi Talent Time | 垂钓入门
50个数学常数解释
Cat-Talks: Parser combinator_A categorical overview
Scala Meetup - Scala 与函数式编程
Cat-Talks: Game of Life with Comonads
为什么每个 Java 开发者都需要了解 Scala |Scala & Java Meetup
2019-10-20 Scala_Beijing_Meetup-Practical Programming with FP
Rikai——分析并理解大规模视频内容的开源引擎
Cat-Talks: 程序即证明
2019/12 Shenzhen Scala Meetup-《Akka HTTP、gRPC、Typed Actor与Cluster工程实践》-by 羊八井
CatTalks - 挑战 1 千万个协程--协程的理论和实现介绍
华罗庚:《谈自学》,第三,没有什么秘密的学习方法
A Taste of Prolog
miniKanren 和关系式编程