Standard library for linear types in Haskell.
The optics sublibrary is not very developed yet. Because our arrays, which are one of the principal use-case, require a special kind of lens which we haven't managed to produce without too much code duplication yet. The design space is discussed in this issue.
What is the longterm status of -XLinearTypes ?
2 projects | reddit.com/r/haskell | 11 Mar 2022
Does Haskell allow pure functions to use *encapsulated* impurity
1 project | reddit.com/r/haskell | 11 Aug 2021
Missing line in a smart contract leads to $10M hack
3 projects | news.ycombinator.com | 16 May 2021
Why would someone build on Tezos rather than Solana?
2 projects | reddit.com/r/tezos | 19 Apr 2021
Monthly Hask Anything (March 2021)
2 projects | reddit.com/r/haskell | 11 Mar 2021