Dreamer

Game developer.

[Dreamer @shimdh]

- std::expected는 Rust의 Result<T, E> 타입과 매우 유사한 개념입니다. 값 또는 에러를 타입 안전하게 표현합니다.
- std::optional이 "값이 있거나 없거나"라면, std::expected는 "값이 있거나 에러 정보가 있거나"입니다.
#cpp

[Dreamer @shimdh]

#cpp

[Dreamer @shimdh]

"작은 건 그냥 복사하고, 큰 건 참조만 넘겨라 (단, 수정하지 않을 거면 const 붙이기)"
#cpp

[Dreamer @shimdh]

CTAD는 "클래스 템플릿 인스턴스 생성 시 <> 안의 타입을 생략하고, 생성자 인자값으로부터 컴파일러가 알아서 추론하게 해주는 C++17 기능"입니다. 코드가 더 짧고 읽기 쉬워집니다.
#cpp

[Dreamer @shimdh]

람다의 타입 이름은 컴파일러만 알고 있으므로 → 변수에는 auto, **매개변수에는 템플릿 또는 std::function**을 사용해야 합니다.

#cpp

[Dreamer @shimdh]

any는 "이것이 무엇이든 상관없다"는 뜻으로, TypeScript를 쓰는 이유 자체를 없앱니다. 대신 unknown을 사용하면 "타입을 모르지만 안전하게 다루겠다"는 의도를 표현할 수 있어, 타입 안전성을 유지하면서도 유연하게 코드를 작성할 수 있습니다.
#ts

[Dreamer @shimdh]

변수는 할당된 값으로 타입을 추론할 수 있지만, 함수 매개변수는 호출 전까지 타입을 알 수 없으므로 항상 명시적으로 타입을 지정해야 한다. 그렇지 않으면 위험한 any 타입이 암묵적으로 할당되어 타입 안전성이 사라진다.
#ts

[Dreamer @shimdh]

Vite는 TypeScript 변환은 해주지만 타입 검사는 하지 않으므로, noEmit: true를 설정한 tsc를 함께 사용하여 타입 오류를 놓치지 않도록 해야 한다.
#ts

[Dreamer @shimdh]

TypeScript는 에러 메시지를 원인을 구체적으로 파악할 수 있도록 아래로 쌓아 올립니다. 따라서 가장 구체적인 정보가 맨 아래에 있습니다.
#ts

[Dreamer @shimdh]

TypeScript는 런타임에 프로그램이 다운되지 않더라도, 개발자의 논리적 오류나 오타를 사전에 방지하여 안전하고 예측 가능한 코드를 작성할 수 있도록 돕기 위해 경고를 발생시킵니다.
#ts

[Dreamer @shimdh]

TypeScript의 타입은 개발 시간(compile time)에만 존재하고, 실행 시간(runtime)에는 완전히 사라집니다
#ts

[Dreamer @shimdh]

pnpm은 npm과 똑같이 쓸 수 있으면서도, 하드 링크를 활용해 패키지를 한 곳에만 저장하므로 디스크 용량을 획기적으로 절약하고 설치 속도를 크게 높여주는 차세대 패키지 관리자입니다. ⚡
#ts

[Dreamer @shimdh]

TypeScript = JavaScript + 타입 → 개발자에게 더 나은 도구(tooling)를 제공하여 생산성을 높이기 위한 언어
#ts

[Dreamer @shimdh]

유니온 타입으로 허용 값을 좁히고, 내로잉으로 런타임에 타입을 좁히며, 디스크림네이티드 유니온으로 상태를 정확하게 모델링하라.
#ts

[Dreamer @shimdh]

TypeScript = JavaScript + 타입 = 에러를 실행 전에 잡고, IDE가 코드 작성을 적극적으로 도와주는 환경 🎉
#ts

[Dreamer @shimdh]

std::invocable<> auto가 성능과 가독성 모두 최고의 선택입니다.
#cpp

[Dreamer @shimdh]

│ std::function = 편리하지만 복사 오버헤드 있음 | 템플릿 = 빠르지만 코드가 컴파일 단위마다 인스턴스화됨 → 상황에 맞게 선택하세요.
#cpp

[Dreamer @shimdh]

람다의 [&] 캡처는 참조 대상이 먼저 죽으면 허상 참조가 되어 미정의 동작을 일으키며, 기본적으로 값 캡처 + 명시적 지정 + Address Sanitizer로 방지하는 것이 모범 사례입니다.
#cpp

[Dreamer @shimdh]

mutable = 값 캡처한 복사본을 수정 허용. 원본은 건드리지 않고 람다 객체 자체에 상태를 갖게 함. 하지만 의도가 불명확하고 혼란을 초래할 수 있어, 참조 캡처(&)나 클래스로 대체하는 것이 권장됨.
#cpp

[Dreamer @shimdh]

에러를 반환값의 타입으로 표현하라. 예외에 의존하지 마라.
#cpp