Question

Default type parameters on Rust structs: is it possible to provide a default type containing a lifetime?

score 79 · Answer 1 · 2024-03-29T07:08:21.977000

79

Views

Default type parameters on Rust structs: is it possible to provide a default type containing a lifetime?

Published on 29 March 2024 at 07:08

score 106 · Answer 2 · 2024-01-16T04:00:48.000000

106

Views

Defining a trait which takes a higher-kinded type generic

Published on 16 January 2024 at 04:00

score 200 · Answer 3 · 2023-12-25T01:31:04.430000

200

Views

In Scala2, how to implement match type using implicits?

Published on 25 December 2023 at 01:31

score 167 · Answer 4 · 2023-10-22T06:50:56.200000

167

Views

How HKT really works in fp-ts?

Published on 22 October 2023 at 06:50

score 148 · Answer 5 · 2023-05-15T23:14:57.380000

148

Views

In Scala 3, why is it sometimes possible to do impredicative type assignment?

Published on 15 May 2023 at 23:14

score 52 · Answer 6 · 2023-05-08T13:06:48.067000

52

Views

Requiring type constraints for concrete types when working with higher-kinded data types and Barbies

Published on 08 May 2023 at 13:06

score 74 · Answer 7 · 2023-05-07T18:31:55.510000

74

Views

From a type system perspective, In Scala 3, should variance affect extensional equality between types `F[T]` and `F[_ <: T]`?

Published on 07 May 2023 at 18:31

score 58 · Answer 8 · 2023-04-01T13:55:57.867000

58

Views

In Scala, is the transitive rule of covariance missing?

Published on 01 April 2023 at 13:55

score 69 · Answer 9 · 2023-04-01T10:36:13.080000

69

Views

How to define a data type with an explicit kind quantification?

Published on 01 April 2023 at 10:36

score 506 · Answer 10 · 2023-03-24T20:09:12.797000

506

Views

In Scala 2 or 3, is there a higher kind argument extractor without using match type?

Published on 24 March 2023 at 20:09

score 162 · Answer 11 · 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 130 · Answer 12 · 2023-01-23T00:19:17.727000

130

Views

In Scala 3/Dotty, is it possible to write a kind/type constructor that takes a value with a unique path as an argument?

Published on 23 January 2023 at 00:19

score 74 · Answer 13 · 2023-01-17T11:35:36.523000

74

Views

WeakTypeTag for higher kinded type

Published on 17 January 2023 at 11:35

score 156 · Answer 14 · 2022-12-22T14:22:03.187000

156

Views

Converting a generic function argument to an `Arc` with a generic trait

Published on 22 December 2022 at 14:22

score 414 · Answer 15 · 2022-12-08T04:36:42.153000

414

Views

Type Arguments and Bounds in Scala

Published on 08 December 2022 at 04:36

score 248 · Answer 16 · 2022-12-07T10:57:33.857000

248

Views

Scala Higher Kinded Types for Traits and Method Parameters

Published on 07 December 2022 at 10:57

score 237 · Answer 17 · 2022-10-31T18:21:01.637000

237

Views

Polymorphic method works with type lambda, but not with type wildcard in Scala 3

Published on 31 October 2022 at 18:21

score 93 · Answer 18 · 2022-10-31T11:47:25.140000

93

Views

How to fix "T does not conform to bound <: AnyKind"?

Published on 31 October 2022 at 11:47

score 116 · Answer 19 · 2022-10-29T16:12:16.330000

116

Views

What do the generic type constraints ":<:" and ":+:" mean in this Scala example?

Published on 29 October 2022 at 16:12

score 77 · Answer 20 · 2022-10-11T12:37:46.950000

77

Views

Type inference of higher-kinded type argument identity in scala

Published on 11 October 2022 at 12:37

List Question

Default type parameters on Rust structs: is it possible to provide a default type containing a lifetime?

Defining a trait which takes a higher-kinded type generic

In Scala2, how to implement match type using implicits?

How HKT really works in fp-ts?

In Scala 3, why is it sometimes possible to do impredicative type assignment?

Requiring type constraints for concrete types when working with higher-kinded data types and Barbies

From a type system perspective, In Scala 3, should variance affect extensional equality between types `F[T]` and `F[_ <: T]`?

In Scala, is the transitive rule of covariance missing?

How to define a data type with an explicit kind quantification?

In Scala 2 or 3, is there a higher kind argument extractor without using match type?

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

In Scala 3/Dotty, is it possible to write a kind/type constructor that takes a value with a unique path as an argument?

WeakTypeTag for higher kinded type

Converting a generic function argument to an `Arc` with a generic trait

Type Arguments and Bounds in Scala

Scala Higher Kinded Types for Traits and Method Parameters

Polymorphic method works with type lambda, but not with type wildcard in Scala 3

How to fix "T does not conform to bound <: AnyKind"?

What do the generic type constraints ":<:" and ":+:" mean in this Scala example?

Type inference of higher-kinded type argument identity in scala

Trending Questions

Popular # Hahtags

Popular Questions