一個(gè)點(diǎn)擊事件，從React表單出發(fā)，經(jīng)過(guò)模式校驗(yàn)，進(jìn)入WebAssembly里的Rust求解器，再帶著類型化的結(jié)果返回，最后渲染成熱力圖——全程沒(méi)有try/catch。這是怎么做到的？

作者獨(dú)立開(kāi)發(fā)了三個(gè)庫(kù)，把它們放進(jìn)同一個(gè)項(xiàng)目后，邊界消失了。核心設(shè)計(jì)是"可區(qū)分的返回值"：用Result/Option代替異?？刂屏?。如果你用過(guò)Rust、fp-ts或neverthrow，下面的代碼會(huì)很自然；如果沒(méi)用過(guò)，耐心看完 porkchop 那段，語(yǔ)法本身會(huì)證明價(jià)值。

先看場(chǎng)景：Lambert兩點(diǎn)邊值問(wèn)題。給定位置向量r?、r?，飛行時(shí)間tof，引力參數(shù)μ，求連接它們的速度v?、v?。Dario Izzo 2014年發(fā)表了一個(gè)快速穩(wěn)健的算法。地球到火星的發(fā)射窗口、衛(wèi)星交會(huì)、 debris 清除任務(wù)——任何軌道轉(zhuǎn)移設(shè)計(jì)都會(huì)用到它。porkchop圖就是在這個(gè)窗口上畫(huà)熱力圖，每個(gè)格子是總Δv，最便宜的格子就是發(fā)射窗口。

這個(gè)問(wèn)題有明確的失敗模式：幾何退化、非正飛行時(shí)間、非有限浮點(diǎn)數(shù)、超范圍圈數(shù)。這些不是異常，是情況。代碼里統(tǒng)一處理：Result，Ok分支走成功路徑，Err分支處理失敗——包括重試、降級(jí)、或返回給用戶。

關(guān)鍵在FFI邊界。大多數(shù)TypeScript調(diào)用WASM時(shí)，包裝層會(huì)捕獲JS Error，判斷是panic還是領(lǐng)域失敗，再投射到應(yīng)用層——鐵路到這里就斷了。lambert-izzo沒(méi)有這個(gè)問(wèn)題：Rust端全程Result，求解器對(duì)建模輸入不panic；TypeScript包裝層只做一件事，把Rust的和類型投射成JS的tagged union，不壓平任何分支。

這個(gè)crate兩種分發(fā)方式：crates.io上的純Rust（no_std友好，[f64; 3] API，無(wú)硬數(shù)學(xué)依賴），以及wasm-pack打的npm包。WASM體積夠小，普通瀏覽器直出。

代碼示例被截?cái)嗔?，但核心已?jīng)清晰：從表單輸入到Rust求解器，同一形狀貫穿始終。異?？刂屏鞅粡氐着懦涌p消失了。