본문 바로가기

타입스크립트

(11)
타입스크립트 타입 호환성과 타입 계층 트리 타입스크립트의 타입 계층을 통해 타입 호환성을 알아봅시다. 1. 타입 호환성은 뭔가요? 타입 호환성 Documentation - Type Compatibility How type-checking works in TypeScript www.typescriptlang.org 타입스크립트에는 다양한 타입이 존재하는데, 어떠한 타입 변수에 다른 타입 데이터(값)이 할당 가능하면 타입이 호환된다고 합니다. 타입스크립트는, 구조적 타이핑을 허용하기에, 클래스 명이 다르면 하위 구조가 완전 같아도 호환이 불가능한 자바의 명목 타이핑과 다른 동작을 보여줍니다. 기본적으로 타입 호환성은 업캐스팅 가능 여부로 판단합니다. 이 게시물에서는 타입스크립트 기본 타입 간의 계층 구조를 이해하며, 타입 호환성을 알아봅니다. 아래..
타입스크립트(typescript)로 배우는 함수형 프로그래밍 - 모나드(monad) https://dev.to/gcanti/getting-started-with-fp-ts-applicative-1kb3 지금까지의 내용 : Program f Program g Composition pure pure g ∘ f effectful pure (unary) lift(g) ∘ f where liftA1 = lift Functor A타입의 인스턴스 a와 T=>F 시그니처의 함수(Constructor), A=>B 시그니처의 함수 f를 다루었다. 아래 fa(F)는 constructor(a)를 암시한다. 즉 A타입 인스턴스 하나와 생성자(effectful program) 하나, 순수 함수 하나를 이용하여 F타입의 인스턴스 하나(F 를 다른 타입(F)으로 전환하는 이야기였다. lift: (f: (a: A) ..
타입스크립트 Mapped Type, KeyOf, TypeOf 정리 해당 글의 조회수가 꽤 나와서 내용을 보강하였습니다. 참고로 끼워넣은 게시물들도 읽어주세요... 0. typeof 연산자 해당 연산자는 자바스크립트에도 존재하지만 타입스크립트 타입, 인터페이스 문법에도 확장하여 사용할 수 있다. 기본적으로 값은 "값 공간"에 존재한다. 값 공간에 있는 값에 typeof 연산자를 적용하여 값 공간의 값을 타입 공간에서 타입으로 이용할 수 있다. 타입 공간과 타입 계층에 대해 더 잘 알고 싶으면 아래 글을 참고한다. https://itchallenger.tistory.com/447?category=1091150 [Typescript][타입스크립트][The Type Hierarchy Tree][타입 계층 트리] 원문 : https://www.zhenghao.io/posts/t..