Haskell は Rust になれるのか？──2023年の Linear Haskell 体験記

追記：いくらなんでもあまりにも長いので、配列演算に焦点を絞ってより「Rustっぽさ」の気持ちを強調した姉妹編を書きました。手っ取り早く雰囲気を掴みたい方はこちらもどうぞ。 TL;DR GHC 9.0 から Haskell に入った線型型（Linear Types）の機能を一部割とガッツリ使ってみたので、Linear Haskell の現在の使い心地と将来の展望を報告するよ。 使おうと思えば使える段階にあるけれど、一部バグもあるし、まだ言語機能面で実装が追い付いていない部分もあって、快適に書けるようになるにはもうちょっと掛かるよ。それでも実用しようと思えばできるレベルにあるよ。 RustのようになるにはLinear Constraintsに期待。 更新履歴 2023/12/15 11:45 姉妹編へのリンク追加。 2023/10/01 12:30 線型性を納得してくれない場合の \eta-展

[kakkun61]

自分もちょっとだけ触ったけど、これはめちゃくちゃ使い込んでるな

[mumei-0]

“ある資源（メモリなど）が高々一回だけ消費されるという事実を型レベルで表現できるものです。”

[zyzy]

Haskell界隈がまた面白くなってきてる

[lbtmplz]

ああなんか興味深いことを言っている…

[ooblog]

#Haskell #線形論理 #線形型 「GHC9.0系~Linear Haskell~LinearTypes言語拡張~引数を何回使うか~重複度1と、無制限を表す重複度ωを扱う~必ず一回消費しないと型エラー~きっかり一回~リソースが必ず解放され~中間形式が外に漏れない」