MCP Tools with Dependent Types (opens in new tab)

(vlaaad.github.io)

4 pointsvlaaad7mo ago2 comments

2 comments

Good work! `type<T>` (generic types) can mimic dependent types for this?

vlaaadOP7mo 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

(vlaaad.github.io)

4 pointsvlaaad7mo ago2 comments

Good work! `type<T>` (generic types) can mimic dependent types for this?

vlaaadOP7mo 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