指称语义

「指称语义」是什么意思？

更新 2026-07-15 23:52:48

• 拼音字母zhi cheng yu yi
• 首字母zcyy
• 注音符号ㄓ ㄔㄥ ㄩ ㄧ

扩展释义

某些指称语义的著作把类型解释为域理论意义上的域，因而可以被看作模型论的分支，导致了同类型论和范畴论的联系。在计算机科学内与抽象释义、程序验证和函数式编程有联系，参见函数式编程语言中的单子(monad)。特别是，指称语义使用了续体(continuation)来依据函数式编程语义表达顺序编程中的控制流。

拆字组词

相关词语

• 东胶西序查含义
• 仇恨之击查含义
• 价格保护查含义
• 华新街街道查含义
• 刘瑞娜查含义
• 动物群落查含义
• 古楼山跌打酒查含义
• 安文军查含义
• 宝蓝阁查含义
• 小轮叶越桔查含义
• 已发展国家查含义
• 废土魔杖查含义
• 楠木铺乡查含义
• 梁生查含义
• 橙味核桃蛋糕查含义
• 氟哌啶查含义
• 毛叶天胡荽查含义
• 海马沟查含义
• 满腹珠玑查含义
• 海外情歌查含义
• 犀甲虫查含义
• 盐酸精氨酸查含义
• 管管查含义
• 继续沉醉查含义
• 芳草查含义
• 范学斌查含义
• 过家鼎查含义
• 赵珂查含义
• 连艳查含义
• 钟花科查含义
• 陈燕玲查含义
• 雷霆神将查含义
• 岳池县人事局查含义
• 焦作市教育局查含义
• 阴恻恻查含义
• 强拳一发查含义
• 一法四令查含义
• 鬼故事系列查含义
• 米诺沙查含义
• 追跌买入法查含义
• 保险车辆查含义
• 竹叶粉蒸果查含义
• 临高启明查含义
• 泡春笋查含义
• 生炒鸡球查含义
• 迪费奥多查含义
• 茫树庄园查含义
• 鲫楚克拉虫查含义
• 拉扎云雀查含义
• 虫草沙参茶查含义