4 points | by vlaaad 3 days ago
2 comments
Good work! `type<T>` (generic types) can mimic dependent types for this?
Not sure; the schema of the Props argument depends on the value — not type — of another argument, so it's not just generics.
Good work! `type<T>` (generic types) can mimic dependent types for this?
Not sure; the schema of the Props argument depends on the value — not type — of another argument, so it's not just generics.