log1st Posts - Answer Overflow

log1st

•Created by log1st on 3/26/2025 in #questions

Issue with Default<> in Type as generic.

I'm trying to create a generic function that accepts type returns other type.

export const generic = <t = unknown, $ = {}>(filter: Type<t, $>) =>
  type({
    take: "number.integer = 10",
    filter: filter,
  });

export const generic = <t = unknown, $ = {}>(filter: Type<t, $>) =>
  type({
    take: "number.integer = 10",
    filter: filter,
  });

But if I'm trying to pass something that contains defaultable type it throws error:

const example = generic(type({
  slug: `string = "defaultSlug"`
})); // It says Type Default<string, "defaultSlug"> is not assignable to type string

const example = generic(type({
  slug: `string = "defaultSlug"`
})); // It says Type Default<string, "defaultSlug"> is not assignable to type string

Looks like there's a problem in my usage of Type generic. Cause if I create type without generic function it works perfectly.

15 replies

Aarktype

•Created by log1st on 2/13/2025 in #questions

ArkErrors serialization/deserialization

I'm implementing a very simple NestJS + ArkType bridge (like nestjs-zod or so). Currently I can't find a pretty way to serialize and deserialize ArkErrors object to use it in RPC transports for further use. Is there any "in-a-box" way? Looks like storing whole Traversal context and source data inside serialized object and monkey-patching methods doesn't look good.

10 replies

Gaming

Programming