Have you considered using Zod for creating static types?

[timbrinded]

Are you guys aware of Zod or libraries like it to make typescript actually typesafe at runtime not just compiletime?

The general idea is you create schemas containing rules and route your logic through zod helpers which not only give you errors where you expect, but automatically generates types for you.

import { z } from "zod";

// creating a schema for strings
const mySchema = z.string();

// parsing
mySchema.parse("tuna"); // => "tuna"
mySchema.parse(12); // => throws ZodError

So for example, viem often uses the 0x${string} literal type which is fine in small projects but completely breaks in larger projects that are unaware of a very viem-opinionated concept. Instead you would use strings but have a rule defined as must start with 0x.

Similarly the clients would be massively simplified by not having the heavily inferred types supported by reams of type helpers

[tmm]

We are familiar! viem's type inference is powered by our ABIType and it exports Zod schemas for the core ABI types.

In key areas, we already validate requests, transactions, etc. at runtime. It's unlikely that we would add extensive additional runtime validation without a specific reason since it will slow things down (Zod isn't very fast compared to other runtime validators) and most folks use viem with TypeScript anyway.

–

So for example, viem often uses the `0x${string}` literal type which is fine in small projects but completely breaks in larger projects

Say more. Is it cumbersome to assert strings to `0x${string}` or something else? You can configure the internal types to use whatever you want.

Similarly the clients would be massively simplified by not having the heavily inferred types supported by reams of type helpers

Agree that they would be simplified, but we would trade that for worse developer experience (e.g. no more type inference for ABI function/event names, arguments, EIP-721 typed data, etc.)

[timbrinded]

My bad, my original post is like teaching grandma to suck eggs!

I'll look into AbiType customization to see if it makes my life easier