TechQA.

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

0

Answer

79

Views

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

79 views Asked by Brooks At 29 March 2024 at 07:08

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

Defining a trait which takes a higher-kinded type generic

106 views Asked by Chris J Harris At 16 January 2024 at 04:00

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

In Scala2, how to implement match type using implicits?

200 views Asked by tribbloid At 25 December 2023 at 01:31

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

How HKT really works in fp-ts?

167 views Asked by Shnd At 22 October 2023 at 06:50

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

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

148 views Asked by tribbloid At 15 May 2023 at 23:14

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

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

52 views Asked by l7r7 At 08 May 2023 at 13:06

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

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

74 views Asked by tribbloid At 07 May 2023 at 18:31

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

In Scala, is the transitive rule of covariance missing?

58 views Asked by tribbloid At 01 April 2023 at 13:55

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

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

69 views Asked by Petr At 01 April 2023 at 10:36

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

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

506 views Asked by tribbloid At 24 March 2023 at 20:09

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

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

162 views Asked by tribbloid At 08 February 2023 at 23:11

score 130 · Answer 12 · 2023-01-23T00:19:17.727000

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

130 views Asked by tribbloid At 23 January 2023 at 00:19

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

WeakTypeTag for higher kinded type

74 views Asked by Some Name At 17 January 2023 at 11:35

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

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

156 views Asked by Peter Jankuliak At 22 December 2022 at 14:22

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

Type Arguments and Bounds in Scala

414 views Asked by joesan At 08 December 2022 at 04:36

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

Scala Higher Kinded Types for Traits and Method Parameters

248 views Asked by joesan At 07 December 2022 at 10:57

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

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

237 views Asked by Andronicus At 31 October 2022 at 18:21

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

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

93 views Asked by Jonas Kölker At 31 October 2022 at 11:47

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

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

116 views Asked by Charles Josephs At 29 October 2022 at 16:12

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

Type inference of higher-kinded type argument identity in scala

77 views Asked by David Tomecek At 11 October 2022 at 12:37

TechQA.

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

Popular Questions

Trending Questions