Recommended syntax for Higher Order Functions?
Hi all. Just found the project and started playing with it in a sandbox.
I'm trying to create a module that will take an arktype as an input and return an updated arktype as the output while conserving the type safety. EG:
Any suggestions to make
xx == yy
?2 Replies
I've been running up against a similar issue where the correct return types are being erased when used in a type-factory style function.
I'm not sure if there is a better approach to this, and maybe someone can do this without the ugly
as any
cast, but this can be achieved with some level of type safety using Module
s and generics:
Thanks for taking a stab at it. I'll check this out later