Harry Solovay

I don't think it would be worthwhile to refactor all of this code to check for index existence. I think a better approach will be to apply non-null assertions, and––from...

By "non-null" assertion I mean [the operator](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-0.html#non-null-assertion-operator). ```ts declare const value: string | undefined value! // `string` ``` We can apply these (`!`) pretty much everywhere there's a TS error...

Thank you for the quick reply and (temporary (?)) fix. I can confirm that resolved the depth error. Why is `MerkleList` a class and not a class factory like `Struct`?

I'm not sure how to reconcile this use case with the changes in #1574. On one hand, the idea of a partial signature seems like a footgun without some type-level...

So much good feedback in this issue. Gonna riff on this a bit. > How to drop `o1js` into an existing NextJS application > Just use the official NextJS setup...

> In my experience, people really like the zkapp cli and most don't mind at all that a specific set of templates are imposed on them ## Not Minding the...

> That alternative doesn't give developers an example UI with an example integration of a contract though. Examples are indeed important. We should have many example projects for each runtime/framework/lib...

> when in reality, all of them execute Is this a problem? If we find a way to force the irrelevant branches to pass, could we just pretend the irrelevant...

I've been thinking a lot about this issue. And thank you @mitschabaude for your patience: I don't yet understand the underlaying limitation, but I'm sure it's no small feat to...

> have a `match()` function that can directly apply to a native TS union like `Dog | Person` Event better! > then you get into all that weird complex TypeScript...