在 Rust 中無望的程序員的類別理論?

https://users.rust-lang.org/t/category-theory-for-programmers-hopeless-in-rust/105698#post_2

在 Rust 中使用類別理論是否令人沮喪?雖然具有挑戰性,但從 Rust 的函數特性遷移到某個(適當的)具體函數型態是一個好的起點。可能的選擇是 Box B> 或在比較 Haskell 的 GCd(和共享)方法時使用 Rc B>。在 Rust 中易於獲得內部可變性和非純性,相較於 Haskell,編寫 memoize 可能更容易。與 Haskell 一樣,你需要引入一些特性約束來進行記憶化。

via The Rust Programming Language Forum – Latest posts

January 23, 2024 at 02:34AM

發佈留言

發佈留言必須填寫的電子郵件地址不會公開。 必填欄位標示為 *