David Blass

@Hsiwe Is looking into this now🔥

@Oblarg Are you sure a top-down strategy will work for regex? There were cases I ran into like `'1|2'|'3|4'` that were essentially impossible to parse top-down as far as TS...

But what if you have an escaped `foo|\||bar`? It doesn't seem like you'd be able to recover from this top down. It seems quite similar to the issues I eventually...

@Oblarg Yes I'm aware, ArkType's validation works quite similarly! I'd have to look into it more. It may be possible if in regex every control character would be directly preceded...

I'd say just try handling this test case in particular: `(foo(bar|quux)*)|(baz)*` If it is possible, I'd definitely be interested to see what that would look like.

Thank you @floratmin! Concision and expressiveness are definitely areas where an embedded syntax has some big advantages over other methods. There are several other major areas as well, some of...

Had some discussion about intersecting DFAs here, refer to this repo: https://github.com/tjjfvi/3FA

Messed around with this a bit. Got completions working but only in expressions, and wasn't able to actually get the function inputs to infer. Likely will require similar workarounds to...

Updated the above example to provide the best completions possible while allowing inference (completions with an expression doesn't seem possible in keys right now): ```ts type validateCases = { //...

It would be an alternate syntax for adding metadata to object types. There would still be a standard tuple expression/chained syntax as well.