找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 指称语义
某些指称语义的著作把类型解释为域理论意义上的域，因而可以被看作模型论的分支，导致了同类型论和范畴论的联系。在计算机科学内与抽象释义、程序验证和函数式编程有联系，参见函数式编程语言中的单子(monad)。特别是，指称语义使用了续体(continuation)来依据函数式编程语义表达顺序编程中的控制流。 — 拼音 zhǐ chēng yǔ yì，更新 2026-07-12 05:20:45
| 拼音 | zhǐ chēng yǔ yì |
|---|---|
| 拼音字母 | zhi cheng yu yi |
| 首字母 | zcyy |
| 注音 | ㄓˇ ㄔㄥ ㄩˇ ㄧˋ |
| 注音符号 | ㄓ ㄔㄥ ㄩ ㄧ |