08 2022 档案

Coursera Programming Languages, Part B 华盛顿大学 Week 2
摘要：Datatype-programming in Racket without structs 在 ML 语言中，我们使用 datatype binding 来实现对 标签联合类型的构建：传送门 这是因为 ML 语言中的 list 中的元素类型是统一的 这里是一份经典的 ML 实现标签联合类型 exp 阅读全文
posted @ 2022-08-31 17:49 四季夏目天下第一 阅读(147) 评论(0) 推荐(0) 编辑