300 - String to Number

[Acoooooooer]

type Num = [1, 2, 3, 4, 5, 6, 7, 8, 9, 0]

type FuNum<S> = S extends `-${infer R}` ? R : S
type isFu<S> = FuNum<S> extends never ? S : FuNum<S>

type isNum<S> = S extends `${infer R}${infer X}`
  ?
  (R extends `${Num[number]}`
    ?
    (X extends '' ? true : isNum<X>)
    : false)
  : never

type GetNum<S> = isNum<isFu<S>> extends true ? S : never

type A<S, Arr extends any[] = []> = S extends `${Arr['length']}` ? Arr['length'] : A<S, [S, ...Arr]>

type ToNumber<S extends string> = A<FuNum<GetNum<S>>>



// this's  false         (  +number  To  -number  ,    i  don't  konw     HELP ME!    )
 Expect<Equal<ToNumber<'-27'>, -27>>