parametric-polymorphism

39 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to it is a natural transformation?
user_17438430
•
5
1
786
parametric-polymorphism category-theory scala functional-programming haskell
Can smart-constructor types have multiple valid Functor instances?
user_75090650
•
7
1
131
parametric-polymorphism typeclass functor constructor haskell
Coq: can I use a type argument as the type of successive argument?
user_59472470
•
2
1
38
adhoc-polymorphism parametric-polymorphism coq typing
Overloading operators for objects that are used to instantiate parameterized roles
user_108243220
•
5
2
135
parametric-polymorphism raku operator-overloading
Unpacking a first-class module constrained by a type variable
user_79435640
•
2
1
344
parametric-polymorphism first-class-modules compiler-errors ocaml
What is the relationship between polymorphism's rank and (im)predicativity?
user_1564580
•
5
1
523
impredicativetypes parametric-polymorphism polymorphism programming-languages haskell
Apply a polymorphic function to two different types of inputs
user_75090650
•
5
1
152
parametric-polymorphism haskell types
Why is this implementation invalid?
user_15564750
•
4
1
110
parametric-polymorphism typeclass compiler-errors haskell types
Haskell count length using foldr throw type error
user_93063720
•
3
2
252
monomorphism-restriction parametric-polymorphism compiler-errors haskell types
Which languages, if any, implement rank-2 parametric polymorphism and why not ML?
user_8239550
•
9
0
465
parametric-polymorphism ml sml polymorphism ocaml
Hot Questions