小眾語言的巧思：F#為基礎類型添加了單位

在 F# 中，單位類型（Units of Measure） 是一種用於在類型層面標註物理單位的語言特性，能夠顯著提升代碼的安全性和可讀性。 這項特性的核心優勢在於能夠防止物理單位混用引發的錯誤，例如： 不小心將“千克”和“斤”混用 NASA 火星氣候軌道器的災難性事故：混淆了英制單位（磅力）和公制單位（牛頓），導致經過近 10 個月的長途跋涉後，上億美元的探測器在接近火星時解體 加拿大航空