查询结果
指称语义
zhǐ chēng yǔ yì
ㄓˇ ㄔㄥ ㄩˇ ㄧˋ
「指称语义」是什么意思？
更新 2026-07-10 15:14:28
- 拼音字母zhi cheng yu yi
- 首字母zcyy
- 注音符号ㄓ ㄔㄥ ㄩ ㄧ
扩展释义
某些指称语义的著作把类型解释为域理论意义上的域，因而可以被看作模型论的分支，导致了同类型论和范畴论的联系。在计算机科学内与抽象释义、程序验证和函数式编程有联系，参见函数式编程语言中的单子(monad)。特别是，指称语义使用了续体(continuation)来依据函数式编程语义表达顺序编程中的控制流。
拆字组词
相关词语
- 二毛查含义
- 五堡乡查含义
- 凤皇于飞查含义
- 出品查含义
- 刘美良查含义
- 刘查含义
- 含笑食堂查含义
- 商邦查含义
- 商品价格查含义
- 奈何奈何查含义
- 左膀右臂查含义
- 德山秀典查含义
- 底斑磨塘鳢查含义
- 感觉器官查含义
- 恩氏新唇脂鲤查含义
- 手工刺绣查含义
- 李日敬查含义
- 李翠林查含义
- 植雅查含义
- 牛街西里一区查含义
- 犀利哥男装查含义
- 环境建构查含义
- 狂野禁区查含义
- 田成平查含义
- 哪里查含义
- 石码村查含义
- 美国流行查含义
- 自身分泌查含义
- 运行查含义
- 遥呼相应查含义
- 迷幻桌球查含义
- 飞行交响乐查含义
- 魏佳庆查含义
- 龙星查含义
- 杭州市建委查含义
- 东条英虎查含义
- 珂罗娜缇米尔查含义
- 汽车手机支架查含义
- 油炸桧查含义
- 吴昌征查含义
- 拟狭腹鳋属查含义
- 东山报捷图查含义
- 兰屿苹婆查含义
- 黑边公子小丑查含义
- 乔峰传奇查含义
- 声哑喉查含义
- 太清饮查含义
- 驴骨查含义
- 立止牙痛散查含义
- 基隆大佛禅院查含义