视频目录 / 抽象代数与对称

热度排名 #1322

把多阶段计算写成应用函子｜TyDe 2023

[TyDe'23] Multi-phase computation as an applicative functor

这场类型理论报告研究怎样组织分阶段的程序。可留意应用函子的操作如何同时保留计算结构和阶段信息。

ACM SIGPLAN · 1 串讨论 · 热度 1.978

在此播放

讨论出处

• Hacker News · 原讨论 ↗2023-12-01 · 帖子分数 5