Question

How can linear-types replace monads?

score 182 · Answer 1 · 2017-09-03 14:47:26

182

Views

How can linear-types replace monads?

Published on 03 September 2017 at 14:47

score 13 · Answer 2 · 2023-10-19 22:20:01

13

Views

What does the pound sign mean in Idris 2?

Published on 19 October 2023 at 22:20

score 117 · Answer 3 · 2020-12-20 18:04:19

117

Views

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

Published on 20 December 2020 at 18:04

score 139 · Answer 4 · 2022-04-10 21:02:55

139

Views

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

Published on 10 April 2022 at 21:02

score 98 · Answer 5 · 2021-05-13 11:00:16

98

Views

Idris interpreting nonlinear argument as linear

Published on 13 May 2021 at 11:00

score 229 · Answer 6 · 2014-01-15 01:00:35

229

Views

Uniqueness Types Instead STM

Published on 15 January 2014 at 01:00

score 366 · Answer 7 · 2018-07-30 20:04:15

366

Views

Does F* support linear types?

Published on 30 July 2018 at 20:04

score 187 · Answer 8 · 2017-08-04 08:48:34

187

Views

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

Published on 04 August 2017 at 08:48

score 359 · Answer 9 · 2021-08-18 17:44:05

359

Views

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

Published on 18 August 2021 at 17:44

score 323 · Answer 10 · 2021-09-06 09:50:03

323

Views

Lowering of higher order function with linear types

Published on 06 September 2021 at 09:50

score 1.2k · Answer 11 · 2015-12-11 15:54:34

1.2k

Views

Is there a way to emulate linear types in Haskell?

Published on 11 December 2015 at 15:54

score 186 · Answer 12 · 2021-08-08 09:23:16

186

Views

Linear types let binding workaround for recursive function

Published on 08 August 2021 at 09:23

score 1k · Answer 13 · 2022-01-28 11:22:12

1k

Views

Why doesn't GHC recognize the function as linear?

Published on 28 January 2022 at 11:22

score 47 · Answer 14 · 2023-05-06 13:16:56

47

Views

Destructuring result of applying a linear function

Published on 06 May 2023 at 13:16

score 168 · Answer 15 · 2014-05-10 18:09:32

168

Views

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

Published on 10 May 2014 at 18:09

score 1k · Answer 16 · 2011-06-22 07:00:43

1k

Views

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

Published on 22 June 2011 at 07:00

score 311 · Answer 17 · 2022-02-28 09:13:49

311

Views

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

Published on 28 February 2022 at 09:13

score 75 · Answer 18 · 2023-12-22 23:54:32

75

Views

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

Published on 22 December 2023 at 23:54

score 121 · Answer 19 · 2024-01-08 13:56:19

121

Views

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

Published on 08 January 2024 at 13:56

score 56 · Answer 20 · 2023-04-12 18:24:52

56

Views

Unwrapping an Optional Resource in a post-condition

Published on 12 April 2023 at 18:24

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