HackerTrans
TopNewTrendsCommentsPastAskShowJobs

MCP Tools with Dependent Types(vlaaad.github.io)

4 points·by vlaaad·11 mesi fa·2 comments
vlaaad.github.io
MCP Tools with Dependent Types

https://vlaaad.github.io/mcp-tools-with-dependent-types

2 comments

VivaTechnics·11 mesi fa
Good work! `type<T>` (generic types) can mimic dependent types for this?
vlaaad·11 mesi fa
Not sure; the schema of the Props argument depends on the value — not type — of another argument, so it's not just generics.