HN
Hacker News
Top
New
Best
Ask
Show
Jobs
MCP Tools with Dependent Types | Hacker News Reader
MCP Tools with Dependent Types
vlaaad.github.io
4 points
·
vlaaad
·
·
2 comments
Open article
Save
View on HN
VivaTechnics
·
Good work! `type<T>` (generic types) can mimic dependent types for this?
vlaaad
(original poster)
·
Not sure; the schema of the Props argument depends on the value — not type — of another argument, so it's not just generics.
Reply on news.ycombinator.com