will-read Haskell は Rust になれるのか？──2023年の Linear Haskell 体験記
Linear Haskellは線形型を活かした新しいHaskellの書き方
線形型は、あるリソースが高々1回だけ消費されるという事実を型レベルで表現できるような型
will-read Haskell は Rust になれるのか？──2023年の Linear Haskell 体験記
Linear Haskellは線形型を活かした新しいHaskellの書き方
線形型は、あるリソースが高々1回だけ消費されるという事実を型レベルで表現できるような型