TypeScript 개입: Byzantium으로 런타임 확인 중독을 깨뜨려보세요-JS 튜토리얼-php.cn

TypeScript 개입: Byzantium으로 런타임 확인 중독을 깨뜨려보세요

Barbara Streisand

풀어 주다： 2024-10-27 06:15:29

원래의

797명이 탐색했습니다.

보세요, 중독을 확인하는 유형에 대해 이야기해야 합니다. 예, 당신은 인증 미들웨어에 47개의 검사 인스턴스가 있는 사람입니다. 실제 코드보다 테스트 케이스를 더 많이 작성하는 개발자. TypeScript를 마치 JSDoc 주석처럼 다루는 사람.

개입

그림을 하나 그려보겠습니다. 지금은 정오이고 커피를 네 번째 마시고 있으며 생산 문제를 디버깅하고 있습니다. 로그에는 사용자가 어떻게든 런타임 유효성 검사의 15개 레이어를 통과했음이 표시됩니다. Twitter의 활성 사용자보다 더 많은 단위 테스트가 있는데 어쨌든 누군가 문자열이 있어야 할 곳에 숫자를 보냈습니다.

"하지만 그건 불가능해요!" 당신은 깨끗한 100%를 보여주는 테스트 적용 범위 보고서를 스크롤하면서 울었습니다. "이거 확인했어요!"

그래도 그랬나요? 정말로 그랬나요? 아니면 같은 수표를 세 번이나 썼나요?

TypeScript 인터페이스에서 한 번
다시 검증 미들웨어에서
그리고 다시 단위 테스트에서

TypeScript가 이미 알고 있는 내용 테스트 중지

여기 혁명적인 아이디어가 있습니다. 만약 우리가 컴파일러를 신뢰한다면 어떨까요? 나도 알아, 거친 개념. 하지만 내 말을 들어보세요.

interface ValidRabbit {
    username: string;
    password: string;
}
interface InvalidRabbit {
    username: number;
    password: string;
}


type ValidateRabbit<Rabbit> = Assert<
    //assert that Rabbit is of type {username, password}
    Is.Type<
        User,
        {
            username: string;
            password: string;
        }
    >,
    //custom compile time exceptions
    "Trix are for kids. Provide a username and password.",
    User
>;

// Ha! Silly Rabbit...
function checkRabbit<T>(rabbit: ValidateRabbit<T>) {
    // .... protect your trix
}

declare const rabbit1: ValidRabbit;
declare const rabbit2: InvalidRabbit;

checkRabbit(rabbit1);
checkRabbit(rabbit2);
/**        ~~~~~~~~~
 *           └───── Type Exception! "...Provide a username and password"
 */

로그인 후 복사

"하지만 생산은 어떻습니까?"

이제 들리네요. "하지만 누군가 내 API에 잘못된 JSON을 보내면 어떻게 될까요?"

먼저, 누가 당신에게 상처를 주었나요? 둘째, 그렇습니다. API 경계를 확인하세요. 하지만 해당 데이터가 TypeScript 도메인에 들어오면 이제 놓아야 할 때입니다. 컴파일러를 경비원으로 활용하세요.

Byzantium이 신뢰 문제 당사자에게 제공하는 기능은 다음과 같습니다.

// Define your trust boundaries
type APIRequest<Request> = Assert<
    And<
    Is.On<Request, "body">,
    Or<Is.In<Request["method"], "POST">, Is.In<Request["method"], "PUT">>
>;,
    "Someone's being naughty with our API"
>;

// Now everything inside is type-safe
function handleRequest<R>(req: APIRequest<R>) {
    // If it compiles, it's valid
    // If it's valid, it compiles
    // This is the way
}

로그인 후 복사

DevOps 팀이 당신을 사랑할 것입니다(한 번만)

이렇게 생각해 보십시오. CI/CD 파이프라인은 몇 시간이 아닌 몇 분 만에 완료됩니다. 프로덕션 로그는 유형 오류로 채워지지 않습니다. AWS 청구서가 전화번호와 일치하지 않는 것 같습니다.

어떻게요? Byzantium은 유형 검사를 컴파일 시간으로 이동하기 때문입니다. 더 이상:

유형만 확인하는 수천 개의 단위 테스트 실행
동일한 유형을 반복해서 확인하면서 CPU 주기를 소모합니다
문자열을 원한다고 명확하게 말한 함수에 누군가가 정의되지 않은 값을 전달하여 새벽 3시에 일어났습니다.

// Before: Your CPU crying for help
function validateUserMiddleware(req, res, next) {
    try {
        validateId(req.params.id)        // CPU cycle
        validateBody(req.body)           // CPU cycle
        validatePermissions(req.user)    // CPU cycle
        validateToken(req.headers.auth)  // CPU cycle
        // Your CPU is now considering a career change
        next()
    } catch (e) {
        res.status(400).json({ error: e.message })
    }
}

// After: Your CPU sending you a thank you note
type ValidRequest = Assert<
    And<
        Is.On<Request, 'params.id'>,
        Is.On<Request, 'body'>,
        Is.On<Request, 'user'>,
        Is.On<Request, 'headers.auth'>
    >,
    "Invalid request shape"
>;

function handleRequest(req: ValidRequest) {
    // Just business logic, no trust issues
}

로그인 후 복사

"하지만 나는 시험 작성을 좋아해요!"

The TypeScript Intervention: Breaking Your Runtime Check Addiction with Byzantium
엄청난! 실제로 테스트가 필요한 항목에 대한 테스트를 작성하세요.

비즈니스 로직
통합 지점
사용자 작업 흐름
복잡한 알고리즘

테스트가 필요하지 않은 것이 무엇인지 아시나요? 문자열이 실제로 문자열인지 여부입니다. TypeScript가 이러한 실존적 위기를 처리하게 하세요.

실제 대화: 이점

더 빠른 개발
- 더 이상 세 가지 다른 방식으로 동일한 유효성 검사를 작성하지 마세요
- 오전 3시가 아닌 컴파일 타임에 오류를 잡아라
- 검증 상용구가 아닌 기능에 시간을 투자하세요
더 나은 성능
- 유형 검사를 위한 런타임 오버헤드 없음
- 더 작은 번들 크기(검증 라이브러리 없음)
- 행복한 CPU, 행복한 삶
보안 강화
- 유형별 보증은 우회할 수 없습니다
- 더 이상 "죄송합니다. 확인하는 것을 잊어버렸습니다."
- 기본적으로 전체 보장
DevOps의 꿈
- 더 빠른 CI/CD 파이프라인
- 인프라 비용 절감
- 생산사고 감소
- 더 행복한 SRE 팀(결과는 다를 수 있음)

시작하기

interface ValidRabbit {
    username: string;
    password: string;
}
interface InvalidRabbit {
    username: number;
    password: string;
}


type ValidateRabbit<Rabbit> = Assert<
    //assert that Rabbit is of type {username, password}
    Is.Type<
        User,
        {
            username: string;
            password: string;
        }
    >,
    //custom compile time exceptions
    "Trix are for kids. Provide a username and password.",
    User
>;

// Ha! Silly Rabbit...
function checkRabbit<T>(rabbit: ValidateRabbit<T>) {
    // .... protect your trix
}

declare const rabbit1: ValidRabbit;
declare const rabbit2: InvalidRabbit;

checkRabbit(rabbit1);
checkRabbit(rabbit2);
/**        ~~~~~~~~~
 *           └───── Type Exception! "...Provide a username and password"
 */

로그인 후 복사