Question

Types and generics: difference between `[X <: Int]` and `{type X <: Int }`

score 88 · Answer 1 · 2015-06-22 16:53:55

88

Views

Types and generics: difference between `[X <: Int]` and `{type X <: Int }`

Published on 22 June 2015 at 16:53

score 206 · Answer 2 · 2016-12-18 22:48:16

206

Views

Why can't the compiler figure out (_ >: T) => (_ <: V[_ <: U]) <: T => V[U] for V[+_]?

Published on 18 December 2016 at 22:48

score 361 · Answer 3 · 2017-01-05 19:05:15

361

Views

Could not deduce KnownNat in two existentials with respect to the singletons library

Published on 05 January 2017 at 19:05

score 211 · Answer 4 · 2014-11-22 09:33:47

211

Views

General 'typeless' STack in Haskell

Published on 22 November 2014 at 09:33

score 233 · Answer 5 · 2013-12-05 09:41:03

233

Views

How to construct wildcard type in Scala macro?

Published on 05 December 2013 at 09:41

score 3k · Answer 6 · 2013-12-20 19:51:35

3k

Views

Where is the scaladoc for scala.language.existentials?

Published on 20 December 2013 at 19:51

score 184 · Answer 7 · 2017-09-03 08:54:04

184

Views

Existentials vs Covariance in Scala

Published on 03 September 2017 at 08:54

score 301 · Answer 8 · 2013-09-01 14:43:19

301

Views

Existentially quantified types Could not deduce in the typeclass context

Published on 01 September 2013 at 14:43

score 2.6k · Answer 9 · 2013-09-13 17:10:24

2.6k

Views

How to describe and fix this Scala type mismatch error?

Published on 13 September 2013 at 17:10

score 105 · Answer 10 · 2020-10-02 08:51:00

105

Views

Is there a way to bind the supressed type variable of an existential data type during pattern matching?

Published on 02 October 2020 at 08:51

score 386 · Answer 11 · 2020-10-18 19:40:36

386

Views

Scala list of any and list of something extending Any. What is a difference?

Published on 18 October 2020 at 19:40

score 187 · Answer 12 · 2012-01-15 20:19:05

187

Views

Constraining higher-kinded types for a Function1's argument and result type

Published on 15 January 2012 at 20:19

score 227 · Answer 13 · 2014-01-07 21:51:14

227

Views

Existential type or type parameter bound failure

Published on 07 January 2014 at 21:51

score 60 · Answer 14 · 2014-12-02 00:19:37

60

Views

Understanding type constraints

Published on 02 December 2014 at 00:19

score 155 · Answer 15 · 2014-12-13 07:43:41

155

Views

Resolving a Function Call in an Existential Type

Published on 13 December 2014 at 07:43

score 116 · Answer 16 · 2023-11-06 08:00:52

116

Views

How do I efficiently add existentially typed safe money values?

Published on 06 November 2023 at 08:00

score 35 · Answer 17 · 2023-12-21 20:47:44

35

Views

What kind of implication does `any` have on concrete generic protocol types?

Published on 21 December 2023 at 20:47

score 628 · Answer 18 · 2012-05-24 15:26:41

628

Views

Heterogeneous map

Published on 24 May 2012 at 15:26

score 83 · Answer 19 · 2012-06-03 03:50:15

83

Views

error while extending existential class

Published on 03 June 2012 at 03:50

score 5.4k · Answer 20 · 2012-05-25 10:47:46

5.4k

Views

What's the theoretical basis for existential types?

Published on 25 May 2012 at 10:47

List Question

Types and generics: difference between `[X <: Int]` and `{type X <: Int }`

Why can't the compiler figure out (_ >: T) => (_ <: V[_ <: U]) <: T => V[U] for V[+_]?

Could not deduce KnownNat in two existentials with respect to the singletons library

General 'typeless' STack in Haskell

How to construct wildcard type in Scala macro?

Where is the scaladoc for scala.language.existentials?

Existentials vs Covariance in Scala

Existentially quantified types Could not deduce in the typeclass context

How to describe and fix this Scala type mismatch error?

Is there a way to bind the supressed type variable of an existential data type during pattern matching?

Scala list of any and list of something extending Any. What is a difference?

Constraining higher-kinded types for a Function1's argument and result type

Existential type or type parameter bound failure

Understanding type constraints

Resolving a Function Call in an Existential Type

How do I efficiently add existentially typed safe money values?

What kind of implication does `any` have on concrete generic protocol types?

Heterogeneous map

error while extending existential class

What's the theoretical basis for existential types?

Trending Questions

Popular # Hahtags

Popular Questions