Tag type-systems - Dies ist Seite 6 - GeneraCodice

Scala - Enforcing size of Vector at compile time

https://www.generacodice.com/de/articolo/6314146/scala-enforcing-size-of-vector-at-compile-time
  tuples  -  compile-time  -  type-systems  -  scala
StackOverflow StackOverflow

Scala - a type-parametrized trait method returning a type-parametrized object - how to implement?

https://www.generacodice.com/de/articolo/5728644/scala-a-type-parametrized-trait-method-returning-a-type-parametrized-object-how-to-implement
  types  -  type-systems  -  scala  -  implementation  -  traits
StackOverflow StackOverflow

Disallow mix of specific traits

https://www.generacodice.com/de/articolo/5711762/disallow-mix-of-specific-traits
  type-systems  -  scala
StackOverflow StackOverflow

Haskell's type system and logic programming - how to port Prolog programs to type level

https://www.generacodice.com/de/articolo/5646080/haskell-s-type-system-and-logic-programming-how-to-port-prolog-programs-to-type-level
  haskell  -  type-systems  -  prolog  -  logic-programming
StackOverflow StackOverflow

How to handle a collection of Foo<T>, where T can be different for each item?

https://www.generacodice.com/de/articolo/5633530/how-to-handle-a-collection-of-foo-t-where-t-can-be-different-for-each-item
  c#  -  generics  -  collections  -  type-systems
StackOverflow StackOverflow

Scala - return a type

https://www.generacodice.com/de/articolo/5567897/scala-return-a-type
  types  -  type-systems  -  scala
StackOverflow StackOverflow

Why not be dependently typed?

https://www.generacodice.com/de/articolo/4942943/why-not-be-dependently-typed
  haskell  -  type-systems  -  dependent-type
StackOverflow StackOverflow

Why is (a, a) not a functor? [duplicate]

https://www.generacodice.com/de/articolo/4878719/why-is-a-a-not-a-functor-duplicate
  haskell  -  type-systems  -  functor  -  typeclass
StackOverflow StackOverflow

Scala - match a passed parameter against a passed type parameter in a recursive function

https://www.generacodice.com/de/articolo/4861264/scala-match-a-passed-parameter-against-a-passed-type-parameter-in-a-recursive-function
  type-systems  -  scala  -  pattern-matching
StackOverflow StackOverflow

Why does dialyzer find my type specification invalid?

https://www.generacodice.com/de/articolo/4846400/why-does-dialyzer-find-my-type-specification-invalid
  erlang  -  type-systems  -  dialyzer
StackOverflow StackOverflow
Gefundene Ergebnisse: 369
scroll top