V
主页
Property-Based Testing 101
发布人
Cat Talks 是一个关于范畴论的系列课程,课程来源于 Tubi Cat Talks 兴趣小组,主题涵盖范畴论、类型论乃至各种函数式编程相关的内容。本视频为第 19 次课程—— Property-Based Testing 101,分享于 2021/1/6。 In this talk Yiming introduced property based testing technique and shared some tips and thoughts on when and how to use PBT effective.
打开封面
下载高清视频
观看高清视频
视频下载器
ElixirConf2021-Promox-YimingChen
Algebraic Effects 101
Parser Combinator OCaml
Computation Expressions
Existential Types
Parser Combinator
F-algebra 2
f-algebra
2019/10 Scala Meetup - Open Tracing In Scala--by 艾彦波
Codata
Representable Functors
Adjunctions
AI 阅读:借助 GPT 阅读一本书
Compsotion of Functor Applicative Monad
封装与抽象:Ruby 思想在 Elixir 项目中的应用
2019/11 Scala Meetup - 程序员撸猫指南—函数式编程初探-by 屈国栋
miniKanren 和关系式编程
2019/12 Shenzhen Scala Meetup-《Akka HTTP、gRPC、Typed Actor与Cluster工程实践》-by 羊八井
CatTalks - Abstract Data Type in Real-Life
Contravariant Functors in Action
Rikai 核心设计
2021年1月 Online Scala Meetup
2019-10-20 Scala_Beijing_Meetup-Practical Programming with FP
【孙颖莎 | 和孙莎莎一起学习吧】30min 莎莎自习室×笔尖沙沙、翻书、雪夜、学习白噪音
20201024-Elixir-Meetup
Cat Talks:Perceptual Hash
CatTalks - Imperative Objects from STLC
Tubi Talent Time | 羽毛球
Tubi Talent Time | 垂钓入门
CatTalks - A guided expedition to type theory
Cat Talks :Pretty-printer
Cat-Talks: Rust ownership and linear types
Rikai——分析并理解大规模视频内容的开源引擎
Continuation
CatTalks - Lojban: Encoding information with relations
Free Monoid
CatTalks - The STG Machine
Scala Meetup - Scala 与函数式编程
Cat-Talks: Traversables and States
Scala Meetup - 我们都关心的那些问题