StackOverflow Questions for Tag: parametric-polymorphism

Joseph Sible-Reinstate Monica

Reputation: 48662

Can smart-constructor types have multiple valid Functor instances?

haskellconstructortypeclassfunctorparametric-polymorphism

Score: 7

Answers: 1

Isaac van Bakel

Reputation: 1862

Coq: can I use a type argument as the type of successive argument?

coqtypingparametric-polymorphismadhoc-polymorphism

Score: 2

Answers: 1

push33n

Reputation: 477

types as parameters in coq

polymorphismcoqdependent-typeparametric-polymorphism

Score: 0

Answers: 1

authchir

Reputation: 1635

Which languages, if any, implement rank-2 parametric polymorphism and why not ML?

polymorphismocamlsmlmlparametric-polymorphism

Score: 9

Answers: 0

uzluisf

Reputation: 3086

Overloading operators for objects that are used to instantiate parameterized roles

operator-overloadingrakuparametric-polymorphism

Score: 6

Answers: 2

uzluisf

Reputation: 3086

Using captured types to type a class's attributes

metaprogrammingrakuparametric-polymorphism

Score: 4

Answers: 1

ELLIOTTCABLE

Reputation: 18108

How do I generically iterate over the properties of an arbitrary object in TypeScript?

typescripttypestypescript-genericsparametric-polymorphismtype-variables

Score: 1

Answers: 1

Greg Nisbet

Reputation: 6994

Combining parametric polymorphism and polymorphic variants (backtick types)

ocamlparametric-polymorphismpolymorphic-variantsrow-polymorphism

Score: 5

Answers: 1

Ilya.K.

Reputation: 321

Generelize a type to a system of types in Java

javaoopgenericsdesign-patternsparametric-polymorphism

Score: 1

Answers: 1

robC

Reputation: 2757

Understanding type variables in type annotations

typeselmparametric-polymorphismtype-variables

Score: 3

Answers: 1

glennsl

Reputation: 29126

Unpacking a first-class module constrained by a type variable

compiler-errorsocamlparametric-polymorphismfirst-class-modules

Score: 2

Answers: 1

Tim

Reputation: 99526

What is the relationship between polymorphism's rank and (im)predicativity?

haskellpolymorphismprogramming-languagesparametric-polymorphismimpredicativetypes

Score: 7

Answers: 1

chrometic

Reputation: 81

Learning the meaning of " :?: " operator in Haskell

haskellparametric-polymorphismtype-constructor

Score: 2

Answers: 1

Gonzalo Guglielmo

Reputation: 629

Difference between Ad-hoc polymorphism and Parametric polymorphism in Scala

scalafunctional-programmingpolymorphismparametric-polymorphismadhoc-polymorphism

Score: 3

Answers: 1

Joseph Sible-Reinstate Monica

Reputation: 48662

Is there something in between Traversable and MonoTraversable?

haskelltypestraversaltypeclassparametric-polymorphism

Score: 3

Answers: 1

DylanSp

Reputation: 1519

Why does mutability preclude covariance?

c#genericscovarianceparametric-polymorphism

Score: 0

Answers: 1

Kaiepi

Reputation: 3230

How can classes be made parametric in Perl 6?

metaprogrammingrakuparametric-polymorphism

Score: 10

Answers: 2

dremodaris

Reputation: 372

NFData instance for the Coyoneda type

performancehaskellunsafeparametric-polymorphism

Score: 7

Answers: 2

dominik

Reputation: 23

Is it possible to call a scala macro from generic scala code?

scalagenericsmacrosmetaprogrammingparametric-polymorphism

Score: 2

Answers: 1

Kaiepi

Reputation: 3230

How do you create custom metamodels for parametric types in Perl 6?

typesmetaprogrammingrakuparametric-polymorphism

Score: 6

Answers: 0

PreviousPage 4Next

StackOverflow Questions for Tag: parametric-polymorphism

Can smart-constructor types have multiple valid Functor instances?

Coq: can I use a type argument as the type of successive argument?

types as parameters in coq

Which languages, if any, implement rank-2 parametric polymorphism and why not ML?

Overloading operators for objects that are used to instantiate parameterized roles

Using captured types to type a class&#39;s attributes

How do I generically iterate over the properties of an arbitrary object in TypeScript?

Combining parametric polymorphism and polymorphic variants (backtick types)

Generelize a type to a system of types in Java

Understanding type variables in type annotations

Unpacking a first-class module constrained by a type variable

What is the relationship between polymorphism&#39;s rank and (im)predicativity?

Learning the meaning of &quot; :?: &quot; operator in Haskell

Difference between Ad-hoc polymorphism and Parametric polymorphism in Scala

Is there something in between Traversable and MonoTraversable?

Why does mutability preclude covariance?

How can classes be made parametric in Perl 6?

NFData instance for the Coyoneda type

Is it possible to call a scala macro from generic scala code?

How do you create custom metamodels for parametric types in Perl 6?

Using captured types to type a class's attributes

What is the relationship between polymorphism's rank and (im)predicativity?

Learning the meaning of " :?: " operator in Haskell