Question

How can linear-types replace monads?

score 237 · Answer 1 · 2025-01-01 11:23:29

237

Views

How can linear-types replace monads?

Published on 01 January 2025 at 11:23

score 59 · Answer 2 · 2025-01-01 11:23:28

59

Views

What does the pound sign mean in Idris 2?

Published on 01 January 2025 at 11:23

score 156 · Answer 3 · 2025-01-02 18:52:25

156

Views

Can the idea of Affine (relaxed Linear) Types be implemented in an untyped setting to enable safe mutations?

Published on 02 January 2025 at 18:52

score 177 · Answer 4 · 2025-01-01 11:29:46

177

Views

How to properly create a HashMap from linear-base (Data.HashMap.Mutable.Linear) in Haskell?

Published on 01 January 2025 at 11:29

score 143 · Answer 5 · 2025-01-01 11:25:23

143

Views

Idris interpreting nonlinear argument as linear

Published on 01 January 2025 at 11:25

score 274 · Answer 6 · 2025-01-01 23:50:35

274

Views

Uniqueness Types Instead STM

Published on 01 January 2025 at 23:50

score 421 · Answer 7 · 2025-01-01 11:22:05

421

Views

Does F* support linear types?

Published on 01 January 2025 at 11:22

score 230 · Answer 8 · 2025-01-02 02:05:08

230

Views

How can linear types prevent such implementation of "duplicate"?

Published on 02 January 2025 at 02:05

score 404 · Answer 9 · 2025-01-01 11:28:37

404

Views

Why does Haskell 9.0 not have Zero in its linear types, but Idris 2 does?

Published on 01 January 2025 at 11:28

score 364 · Answer 10 · 2025-01-01 11:25:50

364

Views

Lowering of higher order function with linear types

Published on 01 January 2025 at 11:25

score 1.2k · Answer 11 · 2025-01-01 11:25:22

1.2k

Views

Is there a way to emulate linear types in Haskell?

Published on 01 January 2025 at 11:25

score 199 · Answer 12 · 2025-01-01 11:27:09

199

Views

Linear types let binding workaround for recursive function

Published on 01 January 2025 at 11:27

score 1k · Answer 13 · 2025-01-01 11:25:21

1k

Views

Why doesn't GHC recognize the function as linear?

Published on 01 January 2025 at 11:25

score 63 · Answer 14 · 2025-01-01 11:25:49

63

Views

Destructuring result of applying a linear function

Published on 01 January 2025 at 11:25

score 183 · Answer 15 · 2025-01-01 11:28:36

183

Views

Linear types in hacklang: Statically forcing an order of function calls

Published on 01 January 2025 at 11:28

score 1k · Answer 16 · 2025-01-01 11:22:57

1k

Views

How to represent linear types in C#/.Net?

Published on 01 January 2025 at 11:22

score 326 · Answer 17 · 2025-01-01 11:29:09

326

Views

Why does the type signature of linear array change compared to normal array?

Published on 01 January 2025 at 11:29

score 89 · Answer 18 · 2025-01-01 11:28:09

89

Views

In JVM, is 0-overhead type coercion/downcasting a possibility?

Published on 01 January 2025 at 11:28

score 134 · Answer 19 · 2025-01-01 11:30:07

134

Views

How to move an opaque value like a hot potato from one Enum constructor to the next to the next?

Published on 01 January 2025 at 11:30

score 70 · Answer 20 · 2025-01-06 07:32:36

70

Views

Unwrapping an Optional Resource in a post-condition

Published on 06 January 2025 at 07:32

List Question

How can linear-types replace monads?

What does the pound sign mean in Idris 2?

Can the idea of Affine (relaxed Linear) Types be implemented in an untyped setting to enable safe mutations?

How to properly create a HashMap from linear-base (Data.HashMap.Mutable.Linear) in Haskell?

Idris interpreting nonlinear argument as linear

Uniqueness Types Instead STM

Does F* support linear types?

How can linear types prevent such implementation of "duplicate"?

Why does Haskell 9.0 not have Zero in its linear types, but Idris 2 does?

Lowering of higher order function with linear types

Is there a way to emulate linear types in Haskell?

Linear types let binding workaround for recursive function

Why doesn't GHC recognize the function as linear?

Destructuring result of applying a linear function

Linear types in hacklang: Statically forcing an order of function calls

How to represent linear types in C#/.Net?

Why does the type signature of linear array change compared to normal array?

In JVM, is 0-overhead type coercion/downcasting a possibility?

How to move an opaque value like a hot potato from one Enum constructor to the next to the next?

Unwrapping an Optional Resource in a post-condition

Trending Questions

Popular # Hahtags

Popular Questions