List Question
20 TechQA 2024-01-08T13:56:19.163000How to move an opaque value like a hot potato from one Enum constructor to the next to the next?
160 views
Asked by Cactus
In JVM, is 0-overhead type coercion/downcasting a possibility?
103 views
Asked by tribbloid
What does the pound sign mean in Idris 2?
80 views
Asked by Janus Troelsen
Destructuring result of applying a linear function
82 views
Asked by Cactus
Unwrapping an Optional Resource in a post-condition
91 views
Asked by Joshua Hannan
How to properly create a HashMap from linear-base (Data.HashMap.Mutable.Linear) in Haskell?
201 views
Asked by akazukin5151
Why does the type signature of linear array change compared to normal array?
344 views
Asked by idomorphism
Why doesn't GHC recognize the function as linear?
1k views
Asked by RandomB
Lowering of higher order function with linear types
381 views
Asked by OllieB
Why does Haskell 9.0 not have Zero in its linear types, but Idris 2 does?
410 views
Asked by srghma
Linear types let binding workaround for recursive function
223 views
Asked by OllieB
Idris interpreting nonlinear argument as linear
154 views
Asked by Stefan Wullems
Can the idea of Affine (relaxed Linear) Types be implemented in an untyped setting to enable safe mutations?
179 views
Asked by AudioBubble
Does F* support linear types?
460 views
Asked by Olle Härstedt
How should you perform simple read-only string operations against linear-typed strings?
61 views
Asked by Julian Fondren
How can linear-types replace monads?
249 views
Asked by kuwze
How can linear types prevent such implementation of "duplicate"?
244 views
Asked by Bartek Banachewicz
What's the intention behind Idris' `BorrowedType`?
636 views
Asked by 盛安安
Implementing an affine type system
318 views
Asked by max
Is there a way to emulate linear types in Haskell?
1.2k views
Asked by hugomg