V
主页
Existential Types
发布人
Cat Talks 是一个关于范畴论的系列课程,课程来源于 Tubi Cat Talks 兴趣小组,主题涵盖范畴论、类型论乃至各种函数式编程相关的内容。本视频为第 16 次课程—— Existential Types,分享于 2020/11/11。Universal types and Existential types exist and are universal in many functional programming languages. In this talk I made a basic introduction to Existential types and their application.
打开封面
下载高清视频
观看高清视频
视频下载器
Representable Functors
Codata
封装与抽象:Ruby 思想在 Elixir 项目中的应用
Computation Expressions
Property-Based Testing 101
Adjunctions
Pijul
CPS Transformation
2019/10 Scala Meetup - Open Tracing In Scala--by 艾彦波
miniKanren 和关系式编程
AI 阅读:借助 GPT 阅读一本书
20201024-Elixir-Meetup
Tubi Talent Time | 羽毛球
外网疯传中国老板娘模拟机器人视频
A Taste of Prolog
2019/10 Scala Beijing Meetup - Alex's talk
使用 AWS Smithy 优雅地构建 REST API
零基础写一个 Lisp 解释器
The connection between Elixir and Lisp
Covariance and Contravariance
Cat Talks:归纳法的源头
2019/11 Scala Meetup-邓草原:Akka若干应用实例、设计和范式
初创公司如何冷启动|什么是 Network Effect
2021年1月 Online Scala Meetup
Tubi Talent Time | 垂钓入门
CatTalks - 实现一个玩具 Coroutine 调度器
重发了一下,需要的赶紧保存,随时会被下架
用 AIGC 制作电影宣传片!
“无模式”GraphQL 开发|Scala & Java Meetup
Scala meetup - 计算的本质:一个野生中年程序员的胡说八道
Free Monoid
2019/12 Shenzhen Scala Meetup-《Akka HTTP、gRPC、Typed Actor与Cluster工程实践》-by 羊八井
基于 Vim 打造高效 IDE
Typesafe Generic CSV Parser
Contravariant Functors in Action
2020-9-Online Scala Meetup
Cat-Talks:React Hooks
2020-4-Online Scala Meetup Recording
2019-10-20 Scala_Beijing_Meetup-Practical Programming with FP
Cat-Talks:5 分钟内定义和使用自己的 DSL