量子科技中心_量科网

Guppy中基于所有权和借贷的命令式量子编程

参考来源 ➔ 下载PDF ➔

线性类型在函数式量子编程中强制执行不可克隆和不可删除定理。然而，在命令式量子编程领域，它们尚未得到广泛采用。该工作旨在开发一种量子类型系统，将符合人体工学的线性类型与命令式语义相结合，同时保持安全性保障。本文提出的所有构想均已实现于Quantinuum公司的Guppy编程语言中。

作者所在地： VIP可见
作者单位： VIP可见
提交arXiv： 2025-10-15 01:54
访客五签：
量子 编程语言 量子编程 Quantinuum 量子物理

量科快讯

近日，欧洲高性能计算联合体（EuroHPC JU）启动了一项新的提案征集，旨在提升欧洲在量子计算技术领域的领导地位，并加速工业级量子计算平台…
2 天前
加拿大舍布鲁克大学的一个研究团队最近基于用于模拟开放量子系统时间演化的软件包QuTip，开发并集成了一个新的cuQuantum插件，名为qu…
2 天前
由美国国家科学基金会（NSF）国家量子虚拟实验室（NQVL）资助的SCY-QNet项目将连接10个地点，包括美国石溪大学、哥伦比亚大学、耶鲁…
2 天前
量子技术公司QphoX和Welinq与法国索邦大学日前联合宣布启动一个新项目“Meet-Q”，该项目旨在实现光量子互连技术，以推动可扩展的混…
2 天前
麻省理工学院的研究人员开发了一种用于评估量子材料规模化潜力的系统，该系统能将材料的量子特性与其成本、供应链韧性、环境足迹等多个因素结合起来。…
2 天前
瑞士日内瓦近日正式启用了首个量子通信网络，这标志着其在下一代数据和时间传输技术发展迈出了重要一步。日内瓦量子网络（GQN）是日内瓦大学、欧洲…
2 天前
D-Wave Quantum公司近日宣布与瑞士量子技术公司（SQT）达成协议，将在欧洲部署一台D-Wave Advantage2退火量子计算…
2 天前
面向工业的高效量子算法EQUALITY项目的合作伙伴提出了一种新的矩阵乘法加权方法，针对一些QUBO问题实例，显著提高了量子和量子启发式算法…
2 天前
芬兰初创公司QMill近期利用人工智能的最新进展，开发出了一种创纪录的量子电路压缩方法，进一步缩短了实现实用量子计算的时间。QMill通过分…
2 天前
来自波兰华沙大学物理学院、华沙大学新技术中心以及美国埃默里大学的物理学家团队，最近分析了原子之间的相互作用如何改变它们与光的集体相互作用方式…
3 天前
法国量子硬件初创公司Isentroniq日前宣布完成由Heartcore领投的750万欧元融资，本轮融资还吸引了OVNI Capital、K…
3 天前
近日，D-Wave公司宣布成为Q-Alliance联盟的创始成员。根据在意大利科莫签署的谅解备忘录，该联盟的创立被定义为“全球最强量子枢纽的…
3 天前
汽车解决方案创新企业indie公司日前发布了一款来自其光子事业部的新型可见光分布式反馈（DFB）氮化镓（GaN）激光二极管，以支持下一代量子…
3 天前
总部位于西班牙巴塞罗那的全栈量子计算公司Qilimanjaro日前与在英国和西班牙运营的全球量子教育与职业服务提供商QURECA签署合作协议…
3 天前
西班牙巴斯克自治区政府近日与IBM在位于圣塞巴斯蒂安的IBM-Euskadi量子计算中心共同揭幕了欧洲首台IBM Quantum Syste…
3 天前
我国日前已部署基于“祖冲之三号”设计的超导量子计算机，用于商业化应用，这标志着量子计算迈向实际应用的一大步。该超导量子计算机配备105个可读…
3 天前
日本软银集团近日宣布，日本的旗舰量子高性能计算（HPC）合作项目已从实验室软件阶段迈向产业试点，现在已为特定团队提供了访问“富岳”超级计算机…
3 天前
从丹麦技术大学衍生出的初创公司SiC Systems日前宣布完成首轮融资，该轮融资由QDNL Participations领投，Propag…
3 天前
美国普渡大学的研究人员最近开展了一项研究，旨在通过测量一种可产生分数量子霍尔液体态的器件中一维边缘模之间的隧穿行为，并进一步检验手性Lutt…
3 天前
西班牙光子科学研究所（ICFO）的研究人员在制定两份前沿科研路线图中发挥了核心作用，这两份路线图已发表在《美国化学学会光子学》（ACS Ph…
3 天前
近日，中科富海在北京证监局进行上市辅导备案，辅导机构为中泰证券。据悉，中科富海成立于2016年，依托中科院理化技术研究所技术，是国内大型低温…
4 天前
在日前于美国圣何塞举办的2025年Open Compute Project（OCP）全球峰会上，慧与科技公司（HPE）宣布，即日起HPE i…
4 天前
美国摩根大通公司推出了一项安全与韧性计划，这是一个为期十年、总规模达1.5万亿美元的投资和融资计划，旨在支持对美国经济和国家安全至关重要的产…
4 天前
IonQ近日宣布，其在IonQ Tempo开发版系统上提前三个月实现了64个算法量子比特（#AQ），达成了其已发布性能路线图中的最新里程碑。…
4 天前
来自保加利亚计算机科学、人工智能与技术研究所（INSAIT）、瑞士苏黎世联邦理工学院和英国牛津大学的研究人员开发了一款名为qblaze的量子…
4 天前
领先的量子科技公司IonQ日前宣布将参与2025年GITEX全球科技展。该展会将于10月13日至17日在迪拜世界贸易中心举行，是全球规模最大…
4 天前
沙特阿拉伯国家石油公司（沙特阿美）日前推出了该地区最大的量子计算仿真平台之一Dammam 7Q，这是其数字化转型战略的一部分，旨在提升能源勘…
4 天前
丹麦哥本哈根大学尼尔斯·玻尔研究所的研究人员成功地将一种极其细薄的导体从超导态调控到绝缘态，并在这两种原本互不兼容的状态之间创造出一种被认为…
4 天前
澳大利亚电信公司Telstra与Silicon Quantum Computing（SQC）近日公布了一项联合计划，旨在将量子计算从实验室带…
4 天前
量子计算公司IonQ近日宣布在量子化学模拟领域取得重要突破。该公司利用量子–经典辅助场量子蒙特卡洛（QC-AFQMC）算法，成功实现了对原子…
4 天前

量科企业服务

量科网首页

最新资讯