积极性检查 ¶
NO_POSITIVITY_CHECK杂注 ¶
跳过单个数据定义: {-#NO_POSITIVITY_CHECK#-} 数据 D类 : 设置 哪里 兰姆 : ( D类 → D类 ) → D类 正在跳过单个记录定义: {-#NO_POSITIVITY_CHECK#-} 记录 U型 : 设置 哪里 领域 应用程序 : U型 → U型
跳过一个老式的双向块。 在一个共同的区块内的某个地方 在数据/记录定义之前: 相互的 数据 D类 : 设置 哪里 兰姆 : ( D类 → D类 ) → D类 {-#NO_POSITIVITY_CHECK#-} 记录 U型 : 设置 哪里 领域 应用程序 : U型 → U型
跳过一个老式的双向块。 在 相互的 关键词: {-#NO_POSITIVITY_CHECK#-} 相互的 数据 D类 : 设置 哪里 兰姆 : ( D类 → D类 ) → D类 记录 U型 : 设置 哪里 领域 应用程序 : U型 → U型
跳过一个新型的相互块。 申报前的任何地方 或块中数据/记录的定义: 记录 U型 : 设置 数据 D类 : 设置 记录 U型 哪里 领域 应用程序 : U型 → U型 {-#NO_POSITIVITY_CHECK#-} 数据 D类 哪里 兰姆 : ( D类 → D类 ) → D类
极性杂波 ¶
_ :未使用。 ++ :完全肯定。 + :积极。 - :否定。 * :未知/混合。
假设
∥_∥ : 设置 → 设置
{-#极性‖_‖++#-}
数据 D类 : 设置 哪里
c(c) : ‖D‖ → D类
假设
_ ⇒_ : 设置 → 设置 → 设置
λ : { A和B : 设置 } → ( A类 → B类 ) → A类 ⇒ B类 应用 : { A和B : 设置 } → A类 ⇒ B类 → A类 → B类 {-#极性_ ⇒_ ++ #-}
数据 ⊥ : 设置 哪里
数据 D类 : 设置 哪里
c(c) : D类 ⇒ ⊥ → D类 没有人居住 : D类 → ⊥ 没有人居住 ( 立方英尺 ) = 应用f ( 立方英尺 )
d日 : D类 d日 = c(c) ( lambda无人居住 )
坏的 : ⊥ 坏的 = 无居民d