Question

Software Transactional Memory in Scala

score 46 · Answer 1 · 2023-10-10T12:05:36.320000

46

Views

Software Transactional Memory in Scala

Published on 10 October 2023 at 12:05

score 96 · Answer 2 · 2023-08-28T19:02:05.087000

96

Views

In Scala 3 (dotty) or Scala 2, how to make dependent types transitive?

Published on 28 August 2023 at 19:02

score 122 · Answer 3 · 2023-05-23T16:27:57.327000

122

Views

How to use macros in the Scala console?

Published on 23 May 2023 at 16:27

score 244 · Answer 4 · 2023-04-30T22:48:49.930000

244

Views

Scala3 type matching with multiple types

Published on 30 April 2023 at 22:48

score 253 · Answer 5 · 2023-04-25T19:00:32.820000

253

Views

In Scala 3 with DOT calculus, is `this.type` a path-dependent type? What makes it special?

Published on 25 April 2023 at 19:00

score 137 · Answer 6 · 2023-04-16T17:56:54.043000

137

Views

How to prove that `Tuple.Map[H : T, F] =:= (F[H] : Tuple.Map[T, F])` in Scala 3

Published on 16 April 2023 at 17:56

score 223 · Answer 7 · 2023-02-11T21:28:06.033000

223

Views

In Scala 3, what's the canonical method for pattern match that uses an erased type?

Published on 11 February 2023 at 21:28

score 162 · Answer 8 · 2023-02-08T23:11:33.477000

162

Views

How to write curried polymorphic function & its higher kind in Scala 3?

Published on 08 February 2023 at 23:11

score 421 · Answer 9 · 2023-01-24T20:47:09.600000

421

Views

In Scala 3, how to replace General Type Projection that has been dropped?

Published on 24 January 2023 at 20:47

score 123 · Answer 10 · 2023-01-06T19:16:23.853000

123

Views

How to abstract over higher-kind with F-bounded polymorphism in Scala3? The same definition works in Scala2

Published on 06 January 2023 at 19:16

score 76 · Answer 11 · 2023-01-03T22:56:03.650000

76

Views

In scala3/dotty. Why is it impossible to mix in a type definition with constraint?

Published on 03 January 2023 at 22:56

score 154 · Answer 12 · 2022-12-22T00:00:30.820000

154

Views

Finding lambda captured values (or their classes) in Scala 3

Published on 22 December 2022 at 00:00

score 912 · Answer 13 · 2022-11-16T20:05:35.790000

912

Views

circe doesn't see field when it contains an array

Published on 16 November 2022 at 20:05

score 207 · Answer 14 · 2022-07-02T21:09:34.447000

207

Views

Pattern matching against union type can't remove cases from consideration

Published on 02 July 2022 at 21:09

score 341 · Answer 15 · 2022-03-16T10:53:09.873000

341

Views

What is Scala 3 equivalent to this Scala 2 code that uses Enumeration and play-json?

Published on 16 March 2022 at 10:53

score 78 · Answer 16 · 2022-02-12T17:59:53.527000

78

Views

Context bound on trait

Published on 12 February 2022 at 17:59

score 112 · Answer 17 · 2021-07-28T15:12:15.723000

112

Views

How Assigning TupleN value to *: type variable works in Scala 3?

Published on 28 July 2021 at 15:12

score 569 · Answer 18 · 2021-06-26T22:18:11.497000

569

Views

Scala3 extensions for basic types and overriding ==

Published on 26 June 2021 at 22:18

score 480 · Answer 19 · 2021-05-29T10:13:38.317000

480

Views

How to implement types like MapK in Scala 3 / Dotty?

Published on 29 May 2021 at 10:13

score 540 · Answer 20 · 2021-03-28T22:58:57.983000

540

Views

Can't use flatMap as an extension method on a self-written instance of a monad

Published on 28 March 2021 at 22:58

List Question

Software Transactional Memory in Scala

In Scala 3 (dotty) or Scala 2, how to make dependent types transitive?

How to use macros in the Scala console?

Scala3 type matching with multiple types

In Scala 3 with DOT calculus, is `this.type` a path-dependent type? What makes it special?

How to prove that `Tuple.Map[H : T, F] =:= (F[H] : Tuple.Map[T, F])` in Scala 3

In Scala 3, what's the canonical method for pattern match that uses an erased type?

How to write curried polymorphic function & its higher kind in Scala 3?

In Scala 3, how to replace General Type Projection that has been dropped?

How to abstract over higher-kind with F-bounded polymorphism in Scala3? The same definition works in Scala2

In scala3/dotty. Why is it impossible to mix in a type definition with constraint?

Finding lambda captured values (or their classes) in Scala 3

circe doesn't see field when it contains an array

Pattern matching against union type can't remove cases from consideration

What is Scala 3 equivalent to this Scala 2 code that uses Enumeration and play-json?

Context bound on trait

How Assigning TupleN value to *: type variable works in Scala 3?

Scala3 extensions for basic types and overriding ==

How to implement types like MapK in Scala 3 / Dotty?

Can't use flatMap as an extension method on a self-written instance of a monad

Trending Questions

Popular # Hahtags

Popular Questions