DEVHIDE
Login Or Sign up

List Question

20
135
Views

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

Published on
#scala #generics #types #existential-type
251
Views

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

Published on
#scala #existential-type
415
Views

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

Published on
#haskell #dependent-type #existential-type
262
Views

General 'typeless' STack in Haskell

Published on
#haskell #types #monads #existential-type #impredicativetypes
280
Views

How to construct wildcard type in Scala macro?

Published on
#scala #scala-macros #existential-type
3k
Views

Where is the scaladoc for scala.language.existentials?

Published on
#scala #existential-type
232
Views

Existentials vs Covariance in Scala

Published on
#scala #covariance #existential-type
351
Views

Existentially quantified types Could not deduce in the typeclass context

Published on
#haskell #typeclass #existential-type
2.6k
Views

How to describe and fix this Scala type mismatch error?

Published on
#scala #type-systems #type-mismatch #existential-type #parameterized-types
157
Views

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

Published on
#haskell #pattern-matching #gadt #existential-type
397
Views

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

Published on
#scala #generics #existential-type
202
Views

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

Published on
#scala #existential-type #higher-kinded-types
269
Views

Existential type or type parameter bound failure

Published on
#scala #pattern-matching #existential-type #type-bounds #bounded-quantification
75
Views

Understanding type constraints

Published on
#haskell #types #typeclass #existential-type
169
Views

Resolving a Function Call in an Existential Type

Published on
#haskell #types #existential-type
127
Views

How do I efficiently add existentially typed safe money values?

Published on
#haskell #currency #dependent-type #existential-type
51
Views

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

Published on
#swift #generics #existential-type #associated-types
683
Views

Heterogeneous map

Published on
#haskell #polymorphism #existential-type #higher-rank-types
99
Views

error while extending existential class

Published on
#scala #existential-type
5.4k
Views

What's the theoretical basis for existential types?

Published on
#haskell #types #type-systems #existential-type #quantifiers

Trending Questions

Popular # Hahtags

javascript python java c# php android html jquery c++ css ios sql mysql r reactjs node.js arrays c asp.net json python-3.x ruby-on-rails .net sql-server swift django angular objective-c pandas excel

Popular Questions

Copyright © 2021 Jogjafile Inc.