miniKanren 和关系式编程
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
ElixirConf2021-Promox-YimingChen
...
Cat-Talks: Type inference with miniKanren
...
Computation Expressions
...
Algebraic Effects 101
...
Property-Based Testing 101
...
Parser Combinator OCaml
...
基于 Vim 打造高效 IDE
...
Parser Combinator
...
CPS Transformation
...
Codata
...
Existential Types
...
Adjunctions
...
CatTalks - Abstract Data Type in Real-Life
...
Scala Meetup - 我们都关心的那些问题
...
F-Algebra 1
...
Cat Talks：Perceptual Hash
...
封装与抽象：Ruby 思想在 Elixir 项目中的应用
...
Typesafe Generic CSV Parser
...
零基础写一个 Lisp 解释器
...
Rikai 核心设计
...
【直播回放】2022/3/19 Elixir Meetup
...
2019/12 Shenzhen Scala Meetup-《Akka HTTP、gRPC、Typed Actor与Cluster工程实践》-by 羊八井
...
Compsotion of Functor Applicative Monad
...
2019/10 Scala Beijing Meetup - Alex's talk
...
2019/11 Scala Meetup - 程序员撸猫指南—函数式编程初探-by 屈国栋
...
Representable Functors
...
20201024-Elixir-Meetup
...
Expression Problem
...
Cat Talks：归纳法的源头
...
2019/10 Scala Meetup - Open Tracing In Scala--by 艾彦波
...
CatTalks - 形式化证明助手 Coq
...
Tubi Talent Time | 羽毛球
...
CatTalks - 实现一个玩具 Coroutine 调度器
...
Elixir Meetup - Tubi 如何将一个无人维护的旧系统平稳无感地迁移到 Elixir 上
...
2019-10-20 Scala_Beijing_Meetup-Practical Programming with FP
...
Cat Talks ：Pretty-printer
...
Continuation
...
Cat-Talks: Rust ownership and linear types
...
A Taste of Prolog
...
远程办公的编程模型