19 replies

Inferred Generics from runtime schema definitions

I often have data types with generics, for example:

interface Event<Name extends string = string> {
  name: Name
}

interface Event<Name extends string = string> {
  name: Name
}

The ability to have data types with stronger static guarantees in certain code paths is very helpful I've found, in large projects in particular.

I have in the past used Zod, and one of its major issues is its inability to define schemas that have inferred generics.

Now, as far as I understand, inferred generics is something TS itself is not supporting

Has the Effect community come up with clever solutions to this issue? I'm thinking for example TS+ perhaps.

Or just effect patterns, that work around the issue, with minimal effort, at least.

Effect Community•3y ago•

19 replies

jasonkuhrt

Inferred Generics from runtime schema definitions

I often have data types with generics, for example:

interface Event<Name extends string = string> {
  name: Name
}

interface Event<Name extends string = string> {
  name: Name
}

Inferred Generics from runtime schema definitions

Similar Threads

Inferred Generics from runtime schema definitions

Similar Threads

Similar Threads

Similar Threads