Lobsters | 原文链接 | 2026-09-18 收录

金色道钉:用 Valen 语言打通 Rust 互操作

来源: verdagon.dev — 2026-09-17

概述

Evan Ovadia 提出「金色道钉」这一目标,比喻 1869 年横贯美国铁路在犹他州合龙的那一刻:把两种彼此隔绝的编译器真正接起来。他正在从零写一门叫 Valen 的语言,编译器要与 rustc 无缝对话,从而在他自己的 Rust 图形库上使用跨语言泛型,并保留线性类型、分组借用检查等特性。文章也坦承现状的限制:线性类型有了但还不能把既有 Rust 类型声明为线性,结构体可以跨边界但必须是零尺寸,分代引用被暂时禁用。

核心要点

金句

让我们做点极度野心勃勃、而且非常不明智的事。
返回 Lobsters 首页