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