server.onMethod(new P.methods.create.category, async name => {

return "what the?";
}

Argument of type '(name: string) => Promise<string>' is not assignable to parameter of type '(data: string, source: { id: number; socket: WebSocket; session: void; }) => Promise<{ isOk: boolean; pl: string | void; }>'.

server.onMethod(new P.methods.create.category, async name => {
return "what the?";
return P.ok(null);
}
— компилируется!?!?!?!?!?!?!?!?!

что за фокусы? почему оно сигнатуру функции приняло так (Promise<"what the" | {....}>)??

public onMethod<Req, Res>(signature: Method<Req, Res>, fn: (data: Req, source: CS) => Promise<Res>)

class Method<Request, Response> {
request: Request;
rtRequest: t.Type<unknown, unknown>;

response?: Response;
rtResponse: t.Type<unknown, unknown>;
name: string;

// If nothing, then the instance is gonna be a signature instead!
constructor(request?: Request) {
this.request = request;
}

static new<A, B, C, D>(name: string, Req: t.Type<A, B>, Res: t.Type<C, D>) {
return class extends Method<t.TypeOf<typeof Req>, t.TypeOf<typeof Res>> {
name = name;
rtRequest = Req;
rtResponse = Res;
};
}
}

А так же:
(new P.methods.create.category).response.a; // Property 'a' does not exist on type '{ isOk: boolean; pl: string | void; }

можно в плейграунде?

сек

а есть плейграунд, куда можно либы типа io-ts добавлять?

https://www.typescriptlang.org/play

а все вижу, не сразу загрузилось)

https://www.typescriptlang.org/play?target=9&jsx=0&module=7&ts=5.0.4#code/JYWwDg9gTgLgBPAZlCI4CJgQLQwM7oDcAUMQMYA2AhnnnALICmMAFhACYA8ASowI4BXRnhgAaOLzyQAdnkYA+OAG9icNXCjCZcgPwAuCVoizGJVepFUYwMnGmMA7pwCC4gELiAwuIAi8gBTSVCCMBiJQwNIA5uK8fAYwAHQAKgCeYIwu7vKxwgkp6ZnecH4AlMrm6uqaMAJQ0nCUNHSMAB4wjNLsdEysHJxJaRkA8ogDhRCIhnw5CAUjYzATU5LyiipVVQC+JNvEW6SIAtJk1sYawgIUMFlwbgHDANb5Q5nOswCiUFAvhZz35Q2F1q9TmSwy-iBamAeCe+QARhAIBRGFRpKJKnAwBR8scsNJ-ABtOBPcRfKBwAC6pXMW1KJB2h2Op3xcGMvTYXDiuTwATwwCiQRBoQYzE5PH4PNmiGkBn87CsVAMcXKAF5FAAFFAgGGZValJSM4g0VInOBHE5nBoEoIhMIwCLRUoGLWoXWcABuEGA7DgAB9lHAYXC4Ijkaj0VicXBwpEonAtusDuRjCI4M44KrRX12Il7A5-OgyJorIxEmRS1FoKl0OIkrHouJNHgrjB-PWHXG64kG1FSvTSOyxRxAo50+JpPSgA upd

Кстати, вопрос, а почему юзаешь io-ts, а не sсhema из effect-ts?

Хм, у тя в этом коде не работает?