RecodeX 重构消息，Synaphe项目推出一种类型安全的编程语言，专为混合人工智能与量子计算设计。