查询结果
指称语义
zhǐ chēng yǔ yì
ㄓˇ ㄔㄥ ㄩˇ ㄧˋ
「指称语义」是什么意思？
更新 2026-07-10 16:01:14
- 拼音字母zhi cheng yu yi
- 首字母zcyy
- 注音符号ㄓ ㄔㄥ ㄩ ㄧ
扩展释义
某些指称语义的著作把类型解释为域理论意义上的域，因而可以被看作模型论的分支，导致了同类型论和范畴论的联系。在计算机科学内与抽象释义、程序验证和函数式编程有联系，参见函数式编程语言中的单子(monad)。特别是，指称语义使用了续体(continuation)来依据函数式编程语义表达顺序编程中的控制流。
拆字组词
相关词语
- 东赵各庄乡查含义
- 中智商务大厦查含义
- 出口信贷查含义
- 创编查含义
- 刘浩强查含义
- 加兹安查含义
- 剑底鸳鸯查含义
- 南丰县查含义
- 可爱查含义
- 吉梅文查含义
- 吴春晓查含义
- 大山玄参查含义
- 姚迁查含义
- 孙忠良查含义
- 寡淡查含义
- 小蘖查含义
- 张浩查含义
- 扰动查含义
- 斯图加特查含义
- 新关镇查含义
- 柏丽雅居查含义
- 柏纷查含义
- 根肿菌目查含义
- 林氏马先蒿查含义
- 氮丙啶查含义
- 温洁查含义
- 疼爱查含义
- 稀释系数查含义
- 肖铁成查含义
- 莱斯特查含义
- 蒿属查含义
- 表演系的故事查含义
- 裂天查含义
- 觿茅属查含义
- 言之有据查含义
- 贝城迪斯科查含义
- 陈少丰查含义
- 高昌王查含义
- 魏婷查含义
- 麦克吉尼斯查含义
- 黑北极果查含义
- 黄阿忠查含义
- 云梦县卫生局查含义
- 满溢之物查含义
- 中国台湾网查含义
- 土豆焖鸡丁查含义
- 兰月亮查含义
- 比利亚纽瓦查含义
- 无背毛蛇潜虫查含义
- 灌丛冢雉查含义