Hacker News new | ask | show | jobs
MCP Tools with Dependent Types (vlaaad.github.io)
4 points by vlaaad 298 days ago
1 comments
VivaTechnics 298 days ago
Good work! `type<T>` (generic types) can mimic dependent types for this?
link
vlaaad 298 days ago
Not sure; the schema of the Props argument depends on the value — not type — of another argument, so it's not just generics.
link