reification

6 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Enforce a typeclass constraint on an existing datatype
user_159736030
•
2
2
116
rank-n-types singleton-type gadt reification haskell
Do we need metaclasses to do this, or is reflection enough?
user_17746670
•
4
1
264
static-reflection c++23 metaclass reification c++
SPARQL property path in reified rdf triples
user_145842030
•
3
1
56
sparql rdf reification properties path
For Scala are there any advantages to type erasure?
user_2173240
•
10
1
823
type-erasure reification type-systems scala
Why should I care that Java doesn't have reified generics?
user_168530
•
104
13
12098
reification generics java
What are Reified Generics? How do they solve Type Erasure problems and why can't they be added without major changes?
user_137530
•
82
5
38979
reification jvm collections generics java
  • 1
Hot Questions