함수형 코딩에서의 대수적 데이터 타입(ADTs ; Algebraic Data Types)
"대수적"이라는 용어는 수학과 함수형 프로그래밍에서 다소 다른 맥락으로 사용됩니다. 각각의 맥락에서 이 용어의 의미와 사용을 자세히 설명하고, 그 차이점을 비교해보겠습니다. 수학에서의 "대수적(Algebraic)" 개념 수학적 정의: 대수학(Algebra)은 수학의 한 분야로, 숫자와 연산을 일반화하고, 문자와 심볼을 사용하여 수학적 구조, 관계, 양을 표현합니다. 대수적 개념은 대수학에서 다루는 구조들(예: 집합, 벡터 공간, 군, 환 등)과 이러한 구조들의 속성 또는 연산을 포함합니다. 예시: 대수적 구조의 예로는 군(Group), 환(Ring), 체(Field) 등이 있습니다. 이들은 특정한 연산(예: 덧셈, 곱셈)과 함께 집합을 구성하여 특정한 규칙을 따릅니다. 예를 들어, 정수 집합은 덧셈에 대..
2023. 11. 27.