1樓：應用
tweag關於linear type的部落格。
這些部落格從2023年3月到2023年11月。詳細描述了他們做linear type的目的，以及很多很酷的linear type的用法。
linear type配套的base庫，裡面有大量基礎的函式，也有很多列子。
這個庫目前正在積極的更新中。
linear type 早在六月份就合進GHC了
Linear types are merged in GHC
那時候叫ghc-8.12.1，不過後來改成ghc-9.0.1了。
ghc-9.0.1 正式版好像卡在乙個關鍵問題上
GHC 7.8—8.10, putMVar segfault (#18919) · Issues · Glasgow Haskell Compiler / GHC
這個問題還沒解決，不過好像已經找到了原因。。
是由於下面這個優化引起的。
Optimization for takeMVar/putMVar when MVar left empty (#7923) · Issues · Glasgow Haskell Compiler / GHC
這個問題解決之後ghc-9.0.1應該很快就會發布了。
期待大神用linear type 做出炫酷的東西！！！！！！！
如何評價Volvo V90 Cross Country正式開啟預售？
急公好義小布希 迷 定價 來看一下吉利美國車價 XC90 底配 45750 7 32萬V90 CC 底配 55300 7 39萬再看一下吉利國內定價 XC90 底配 69萬 V90 CC 底配 49萬 如何評價？我一吉利車託思考了十分鐘，我說拜託這個活兒還是交給別人吧，我tm還是有底線的。另外，凡是...
如何評價 90 後演員李現？
無趣的我 這是我第一次在乙個男孩火了很久以後才去了解他，也是在有了自己的本命後第乙個讓我在幾天內從路人逐漸變成粉絲的藝人演員.最近放假突然想起，便去看完了這部劇，從開始的毫無感覺到二刷，我發現不同於大部分的九零後小生 沒有批評任何人的意思 李現兼具了男人的man和男孩的少年氣.他完美駕馭韓商言冷酷嚴...
如何評價90後詩人餘真？
飛來的石豬 一起在詩藝幾個群混過，有靈氣，但過早地 熟 了，寫過詩的人知道，熟 是一件需要高度警惕的事情，往往意味著超驗的喪失與冒險的枯竭，進一步就是平庸了，這也是絕大部分寫詩人的宿命。但話說回來，女詩人裡又有幾個狄金森和茨娃啊。缺少真誠是當今中國詩壇的通病 在最不可能追名逐欲的地方，竟然聚集了最大...