摘要：
第一周介绍了 ML 语言的一些表达与基本的 Language pieces 第二周主要关注 ML 语言中的各种类型 (type) Conceptual ways to build new types 任何一门编程语言都包含有两种类型，基础类型 (base type) 与复合类型 (compound 阅读全文
posted @ 2022-03-19 23:30
四季夏目天下第一
阅读(142)
评论(0)
推荐(0)
该文被密码保护。 阅读全文
posted @ 2022-03-15 17:56
四季夏目天下第一
阅读(0)
评论(0)
推荐(0)
摘要：
博客园，我又回来啦！ Static & Dynamic environment 在ML语言中，每当出现一个新的语句，我们都用现存的 Static / Dynamic Environment 对它进行 type-check / Evaluate。 只有通过 type-check 的语句才不会出现错误。 阅读全文
posted @ 2022-03-14 22:18
四季夏目天下第一
阅读(64)
评论(0)
推荐(0)
摘要：
题意 给定一个 $N$ 个点的完全图，现在要移除至少一条边，问移除后恰好有 $M$ 个联通块的方案数是多少 $N,M \leq 300$ 解法 可以发现每一种删边方案都对应着一种加边方案，又给出的图是完全图，那么实际上就是要求我们求出 $N$ 个点可以形成的联通块的个数 数据范围明示了是 $N^3$ 阅读全文
posted @ 2019-11-13 19:14
四季夏目天下第一
阅读(143)
评论(1)
推荐(0)
该文被密码保护。 阅读全文
posted @ 2019-11-11 21:00
四季夏目天下第一
阅读(2)
评论(1)
推荐(0)
该文被密码保护。 阅读全文
posted @ 2019-11-11 20:35
四季夏目天下第一
阅读(2)
评论(1)
推荐(0)
该文被密码保护。 阅读全文
posted @ 2019-11-11 19:58
四季夏目天下第一
阅读(6)
评论(1)
推荐(0)
浙公网安备 33010602011771号