David Blass

Would allow a union like the following to be discriminated: ```ts const discriminated = type({ a: "string", }) .or({ b: "string" }) .onUndeclaredKey("reject"); ```

For the most part, `knip` seems to work well by default for finding unused dependencies in the arktype repo. I've installed it and added a script on the beta branch....

[fast-check](https://github.com/dubzzz/fast-check) is a really powerful library for property-based testing. I've spoken briefly with @dubzzz about adding integration for ArkType, and it is definitely something we're both interested in pursuing after...

Default value morph

3

This would add an assignment operator (`=`) that would add undefined as a valid input type (or make a key optional) and create a morph to the specified literal value....

Template literal

3

Would allow the equivalent TS syntax: ```ts // inferred as `a${string}z`[] const t = type("`a${string}z`[]") ``` Internally should probably compile to a regex.

Support generics, add builtins like Partial

5

This is the API I'm envisioning: ```ts scope({ "box": { box: "t" }, boxedString: "box" }) ``` There'd also be some way to define them using type syntax that I'll...

Mapped types

2

I created the following props rule type to support intersections/unions and eventually checking types whose values are dependent on associated keys. Some parts of this may end up being out...