基本信息:
- 专利标题： 编程方法、装置、设备及计算机存储介质
- 申请号：CN202410390179.X 申请日：2024-04-01
- 公开(公告)号：CN118819489A 公开(公告)日：2024-10-22
- 发明人： 罗维 , 廖筱芮 , 左庆邻 , 刘昶
- 申请人： 中移物联网有限公司 , 中国移动通信集团有限公司
- 申请人地址： 重庆市南岸区茶园新区玉马路8号
- 专利权人： 中移物联网有限公司,中国移动通信集团有限公司
- 当前专利权人： 中移物联网有限公司,中国移动通信集团有限公司
- 当前专利权人地址： 重庆市南岸区茶园新区玉马路8号
- 代理机构： 北京东方亿思知识产权代理有限责任公司
- 代理人： 杨永恒
- 主分类号： G06F8/30
- IPC分类号： G06F8/30 ; G06F8/41
摘要：
本发明实施例提供了一种编程方法、装置、设备及计算机存储介质，方法包括：通过知识图谱OWL2、高阶抽象语法HOAS以及范畴论构建函数知识图谱，所述函数知识图谱包括函数式编程的类型系统，所述类型系统用于定义函数式编程中的约束关系；构建所述函数知识图谱的函数式编程元语言，所述函数式编程元语言用于定义所述函数式编程的编程规则；对目标编程语言进行解析，得到语义元素；将所述语义元素和所述函数知识图谱进行实例化，得到目标知识图谱；在所述目标知识图谱中，根据所述函数式编程元语言推导与用户的输入内容相对应的函数组合方式。通过上述步骤，能够提高函数式编程的编程效率。