2022/03 (33) 썸네일형 리스트형 타입스크립트(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) .. 이전 1 2 3 4 5 다음