SpiceQA
Questions
Tags
Users
Badges
data-kinds
32 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
How to create a "kind class" in Haskell, or ad-hoc polymorphism at the type-level using type families
user_582917
0
•
asked Mar 18, 2016
7
2
612
type-families
data-kinds
typeclass
haskell
types
What is the DataKinds extension of Haskell?
user_782220
0
•
asked Dec 13, 2013
76
2
23077
data-kinds
algebraic-data-types
haskell
types
Prev
Prev
1
2
3
4
(current)
Hot Questions