David Blass

Results 103 comments of David Blass

@unional Could you link it to me if it's open source or otherwise provide a bit of additional context in the example, e.g. what the input/output types are? That would...

A more recent example from #1034: ```ts import { scope, type } from "arktype"; const t = type([{ a: "number" }, "=>", (obj) => ({ ...obj, b: obj.a + 3...

Should be able to give a type error in situations like these: ```ts scope({ a: "a" }) scope({a: "b", b: "a|undefined"}) ```