Question

How can linear-types replace monads?

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

230

Views

How can linear-types replace monads?

Published on 01 January 2025 at 11:23

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

47

Views

What does the pound sign mean in Idris 2?

Published on 01 January 2025 at 11:23

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

148

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 168 · Answer 4 · 2025-01-01 11:29:46

168

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 133 · Answer 5 · 2025-01-01 11:25:23

133

Views

Idris interpreting nonlinear argument as linear

Published on 01 January 2025 at 11:25

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

264

Views

Uniqueness Types Instead STM

Published on 01 January 2025 at 23:50

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

412

Views

Does F* support linear types?

Published on 01 January 2025 at 11:22

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

221

Views

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

Published on 02 January 2025 at 02:05

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

396

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 355 · Answer 10 · 2025-01-01 11:25:50

355

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 193 · Answer 12 · 2025-01-01 11:27:09

193

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 57 · Answer 14 · 2025-01-01 11:25:49

57

Views

Destructuring result of applying a linear function

Published on 01 January 2025 at 11:25

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

175

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 320 · Answer 17 · 2025-01-01 11:29:09

320

Views

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

Published on 01 January 2025 at 11:29

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

82

Views

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

Published on 01 January 2025 at 11:28

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

128

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 64 · Answer 20 · 2025-01-06 07:32:36

64

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