Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
MCP Tools with Dependent Types
(opens in new tab)
(vlaaad.github.io)
4 points
vlaaad
10mo ago
2 comments
Save
Share
2 comments
2 comments · 1 top-level
top
newest
oldest
VivaTechnics
10mo ago
· 1 in thread
Good work! `type<T>` (generic types) can mimic dependent types for this?
vlaaad
OP
10mo ago
Not sure; the schema of the Props argument depends on the value — not type — of another argument, so it's not just generics.
j
/
k
navigate · click thread line to collapse