北京
一個點擊事件，從React表單出發(fā)，經(jīng)過模式校驗，進入WebAssembly里的Rust求解器，再帶著類型化的結(jié)果返回，最后渲染成熱力圖——全程沒有try/catch。這是怎么做到的？
作者獨立開發(fā)了三個庫，把它們放進同一個項目后，邊界消失了。核心設(shè)計是"可區(qū)分的返回值"：用Result/Option代替異?？刂屏鳌Ｈ绻阌眠^Rust、fp-ts或neverthrow，下面的代碼會很自然；如果沒用過，耐心看完 porkchop 那段，語法本身會證明價值。
先看場景：Lambert兩點邊值問題。給定位置向量r?、r?，飛行時間tof，引力參數(shù)μ，求連接它們的速度v?、v?。Dario Izzo 2014年發(fā)表了一個快速穩(wěn)健的算法。地球到火星的發(fā)射窗口、衛(wèi)星交會、 debris 清除任務(wù)——任何軌道轉(zhuǎn)移設(shè)計都會用到它。porkchop圖就是在這個窗口上畫熱力圖，每個格子是總Δv，最便宜的格子就是發(fā)射窗口。
這個問題有明確的失敗模式：幾何退化、非正飛行時間、非有限浮點數(shù)、超范圍圈數(shù)。這些不是異常，是情況。代碼里統(tǒng)一處理：Result，Ok分支走成功路徑，Err分支處理失敗——包括重試、降級、或返回給用戶。
關(guān)鍵在FFI邊界。大多數(shù)TypeScript調(diào)用WASM時，包裝層會捕獲JS Error，判斷是panic還是領(lǐng)域失敗，再投射到應(yīng)用層——鐵路到這里就斷了。lambert-izzo沒有這個問題：Rust端全程Result，求解器對建模輸入不panic；TypeScript包裝層只做一件事，把Rust的和類型投射成JS的tagged union，不壓平任何分支。
這個crate兩種分發(fā)方式：crates.io上的純Rust（no_std友好，[f64; 3] API，無硬數(shù)學(xué)依賴），以及wasm-pack打的npm包。WASM體積夠小，普通瀏覽器直出。
代碼示例被截斷了，但核心已經(jīng)清晰：從表單輸入到Rust求解器，同一形狀貫穿始終。異?？刂屏鞅粡氐着懦?，接縫消失了。
特別聲明：以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺“網(wǎng)易號”用戶上傳并發(fā)布，本平臺僅提供信息存儲服務(wù)。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
