Post #993

读文档时发现下面这句话是歧义句： This program type isn't allowed to read from and write to all fields of the context since doing so might break assumptions in the kernel or because data isn't available at the point where the program is hooked into the kernel. 它可以被理解成 a. all the fields aren't allowed to read and write b. not all the fields are allowed to read and write (i.e. some are allowed) 我记得之前在知乎看过 费事发财 老师科普过自然语言的歧义似乎讲过这个，大概是 De dicto vs de re: https://en.wikipedia.org/wiki/De_dicto_and_de_re a. De dicto: Not allowed [to access-all-fields] ¬allow(∀field: RW(field)) b. De re: For each field, not allowed [to access that field] ∀field: ¬allow(RW(field)) 中文也有一样的歧义表达，请品：这种程序类型不允许读写上下文的所有字段。 ref: https://en.wikipedia.org/wiki/Scope_(formal_semantics)