type-challenges-judge

Type Challenges Judge

Problems

Progress

Trunc

提出詳細

type NumToS<T> = T extends number ? `${T}` : T
type Trunc<T, Acc extends string =""> =
  NumToS<T> extends `${infer Head}${infer Rest}` ? Head extends "." ? Acc : Trunc<Rest, `${Acc}${Head}`> : Acc

提出日時	2025-09-16 10:53:55
問題	Trunc
ユーザー	balckowl
ステータス	Accepted

テストケース

import type { Equal, Expect } from '@type-challenges/utils'

type cases = [
  Expect<Equal<Trunc<0.1>, '0'>>,
  Expect<Equal<Trunc<1.234>, '1'>>,
  Expect<Equal<Trunc<12.345>, '12'>>,
  Expect<Equal<Trunc<-5.1>, '-5'>>,
  Expect<Equal<Trunc<'1.234'>, '1'>>,
  Expect<Equal<Trunc<'-10.234'>, '-10'>>,
  Expect<Equal<Trunc<10>, '10'>>,
]