Search

fp-ts

미리 알아두어야 할 타입

Array.filterMap

fp-ts 타입 시그니처 해석 방법

개요

이 문서에서는 fp-ts 에서 전역적으로 쓰이는 타입에 대한 개념에 대해 작성합니다.

어떤 전역 타입들이 있나?

HKT<A>(Higher-Kinded Type)

fp-ts 자주 쓰이는 개념의 타입

pipe와 flow

개념

pipe와 flow는 함수형 프로그래밍에서 함수들을 조합하는 데 사용되는 두 가지 유틸리티 함수입니다. 두 함수 모두 함수들을 연결하여 실행하고, 각 함수의 결과를 다음 함수의 인자로 전달합니다. 차이점은 함수들의 실행 순서에 있습니다.
•
pipe: 함수들을 왼쪽에서 오른쪽으로 실행합니다. 첫 번째 인자로 받은 값이 첫 번째 함수의 인자로 전달되고, 그 결과가 다음 함수의 인자로 전달됩니다.
•
flow: 함수들을 오른쪽에서 왼쪽으로 실행합니다. 첫 번째 인자로 받은 함수의 결과가 두 번째 인자로 받은 함수의 인자로 전달됩니다.

필요성

함수형 프로그래밍에서는 값을 변경하지 않고 함수를 조합하여 결과를 생성하는 것이 중요한데, 이 때 pipe와 flow를 사용하면 코드를 간결하게 작성할 수 있습니다. 함수를 연속적으로 실행하면서 중간 결과를 변수에 저장하지 않고, 함수들을 조합하여 전체 작업을 설명할 수 있습니다.

장단점

장점:
•
코드의 가독성이 높아집니다. 함수들의 실행 순서를 명확하게 볼 수 있습니다.
•
중간 결과를 변수에 저장할 필요가 없으므로, 불필요한 변수 선언이 줄어듭니다.
•
함수 조합을 통해 재사용 가능한 작은 함수들로 코드를 구성할 수 있습니다.
단점:
•
실행 순서에 따라 pipe와 flow 중 하나를 선택해야 합니다.
pipe와 flow의 차이점

fp-ts 성능 고려 사항

fp-ts는 TypeScript에서 함수형 프로그래밍 패러다임을 지원하는 라이브러리입니다. 성능을 최적화하기 위해 몇 가지 고려 사항을 봐야합니다. 이 문서에서는 fp-ts를 사용할 때 성능을 향상시키는 방법에 대해 설명합니다.

1. 불변성과 지연 평가

함수형 프로그래밍에서는 불변성(immutability)과 지연 평가(lazy evaluation)를 사용하여 성능을 최적화합니다. fp-ts에서는 이러한 개념들을 활용하여 성능을 향상시킬 수 있습니다.

불변성

불변성은 데이터의 변경을 방지하는 것입니다. 불변성을 지키면 프로그램이 예측 가능하고 안정적이며, 성능에 긍정적인 영향을 줄 수 있습니다. 배열이나 객체의 변경이 필요한 경우 새로운 객체나 배열을 생성하는 것이 좋습니다. 이렇게 하면 메모리를 더 사용하지만, 성능에 긍정적인 영향을 미칠 수 있습니다.

지연 평가

지연 평가는 필요한 시점에만 값을 계산하는 것입니다. fp-ts에서는 pipe, chain 등의 함수를 사용하여 지연 평가를 구현할 수 있습니다. 지연 평가를 사용하면 불필요한 연산을 줄여 성능을 향상시킬 수 있습니다.
지연 평가의 장단점

2. 함수 호출 최적화

함수 호출 횟수를 최적화하여 성능을 향상시킬 수 있습니다. 특히 고차 함수(higher-order functions)를 사용할 때 함수 호출 횟수를 줄이는 것이 중요합니다. 이를 위해 다음과 같은 방법을 사용할 수 있습니다.

커링 (Currying)

커링을 사용하면 여러 개의 인자를 받는 함수를 단일 인자를 받는 함수들의 연속으로 변환할 수 있습니다. 이렇게 하면 함수 호출 횟수를 줄이고, 코드 재사용성을 높일 수 있습니다.
fp-ts를 성능 최적화 해서 사용하기

Data Structures

Array
Either
Option

Function

Type Classes

Applicative

Utils

Task

fp-ts Module Classification

Data Structures

•
Array: The Array module provides functionality for working with arrays in a functional way.
•
Either: The Either module provides a way to handle errors and recover from them in a functional way.
•
Option: The Option module provides a way to handle optional values in a functional way.
•
These: The These module provides a way to handle values that are either an A, a B or both in a functional way.
•
Tuple: The Tuple module provides a way to work with tuples in a functional way.

Function

•
Function: The Function module provides utility functions for dealing with functions in a functional way.

Type Classes

•
Applicative: The Applicative module provides a way to apply functions that are wrapped in a context.
•
Apply: The Apply module provides a way to apply functions that are wrapped in a context.
•
Bifunctor: The Bifunctor module provides a way to map over both arguments of a bifunctor.
•
Chain: The Chain module provides a way to chain functions that return a wrapped value.
•
Contravariant: The Contravariant module provides a way to map over the input of a function.
•
Extend: The Extend module provides a way to extend a context with a function.
•
Foldable: The Foldable module provides a way to fold over a data structure.
•
Functor: The Functor module provides a way to map over a wrapped value.
•
Monad: The Monad module provides a way to chain functions that return a wrapped value.
•
Monoid: The Monoid module provides a way to combine values of the same type.
•
Ord: The Ord module provides a way to compare values of the same type.
•
Semigroup: The Semigroup module provides a way to combine values of the same type.
•
Traversable: The Traversable module provides a way to traverse a data structure while accumulating an Applicative effect.

Utils

•
Apply: The Apply module provides a way to apply functions that are wrapped in a context.
•
Array: The Array module provides utility functions for working with arrays in a functional way.
•
Boolean: The Boolean module provides utility functions for working with booleans in a functional way.
•
Date: The Date module provides utility functions for working with dates in a functional way.
•
Function: The Function module provides utility functions for dealing with functions in a functional way.
•
HKT: The HKT module provides utility functions for working with Higher Kinded Types.
•
Identity: The Identity module provides a way to wrap a value in an identity functor.
•
Record: The Record module provides utility functions for working with records in a functional way.
•
Semigroup: The Semigroup module provides utility functions for working with semigroups in a functional way.
•
Set: The Set module provides utility functions for working with sets in a functional way.
•
Show: The Show module provides a way to convert a value to a string.
•
String: The String module provides utility functions for working with strings in a functional way.
•
Tuple: The Tuple module provides utility functions for working with tuples in a functional way.