Adjunctions
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Parser Combinator
...
f-algebra
...
F-Algebra 1
...
Computation Expressions
...
Cat Talks：Perceptual Hash
...
F-algebra 2
...
Algebraic Effects 101
...
CatTalks - lens 库简介
...
CPS Transformation
...
Property-Based Testing 101
...
Cat-Talks: E-graph
...
Scala Meetup - Scala 与函数式编程
...
Free Monoid
...
封装与抽象：Ruby 思想在 Elixir 项目中的应用
...
Cat-Talks: Programming Language Semantics: Defunctionalization 的应用
...
Fosco Loregian - 2-(交换代数)
...
Scala meetup - 计算的本质：一个野生中年程序员的胡说八道
...
Cat-Talks：5 分钟内定义和使用自己的 DSL
...
Rikai 核心设计
...
Cat-Talks：Programming Language Semantics
...
2019-10-20 Scala_Beijing_Meetup-Practical Programming with FP
...
Cat-Talks: Parser combinator_A categorical overview
...
2019/11 Scala Meetup - 程序员撸猫指南—函数式编程初探-by 屈国栋
...
零基础写一个 Lisp 解释器
...
Cat-Talks: Type inference with miniKanren
...
Cat-Talks: 用类型进行抽象
...
AI 阅读：借助 GPT 阅读一本书
...
Cat-Talks: XMonad - A Tiling Window Manager
...
Contravariant Functors in Action
...
2019/12 Shenzhen Scala Meetup-《Akka HTTP、gRPC、Typed Actor与Cluster工程实践》-by 羊八井
...
Zipper 和导数的关系
...
2021年1月 Online Scala Meetup
...
【孙颖莎 | 和孙莎莎一起学习吧】30min 莎莎自习室×笔尖沙沙、翻书、雪夜、学习白噪音
...
2019/11 Scala Meetup-邓草原：Akka若干应用实例、设计和范式
...
A Taste of Prolog
...
Elixir Meetup - Tubi 如何将一个无人维护的旧系统平稳无感地迁移到 Elixir 上
...
屏幕显示技术的发展历程
...
Rikai——分析并理解大规模视频内容的开源引擎
...
运用 ChatGPT 从零实现 一个简单的 http 服务器
...
Cat-Talks：Monadic 事务库