Ada의 함수형 프로그래밍 패러다임

나르시 · 2025.08.05 11:08:09

# 제14장 에이다의 함수형 프로그래밍 패러다임

## 14.1 서론: 명령형 언어와 함수형 패러다임의 조화

에이다(Ada)는 전통적으로 구조적, 명령형(Imperative) 프로그래밍 패러다임에 기반을 둔 언어로 알려져 있습니다. 상태(State)를 변경하는 문장(Statement)을 순차적으로 실행하여 프로그램을 구성하는 것이 핵심입니다. 그러나 에이다는 버전이 발전하면서, 특히 Ada 2012 표준 이후로 함수형 프로그래밍(Functional Programming, FP)의 여러 강력한 기능과 개념을 도입하여 두 패러다임의 장점을 모두 활용할 수 있도록 진화했습니다.

에이다의 목표는 하스켈(Haskell)이나 리스프(Lisp)와 같은 순수 함수형 언어가 되는 것이 아닙니다. 대신, 함수형 프로그래밍의 원칙인 **불변성(Immutability)**, **순수성(Purity)**, **표현식 기반 연산(Expression-based operation)** 등을 통해 코드의 명확성을 높이고, 부수 효과(Side Effect)를 최소화하여 프로그램의 신뢰성과 예측 가능성을 극대화하는 것을 목표로 합니다.

본 장에서는 에이다에 내장된 주요 함수형 프로그래밍 기능들을 살펴보고, 이를 활용하여 어떻게 더 견고하고 유지보수하기 쉬운 코드를 작성할 수 있는지 논의합니다.

## 14.2 주요 함수형 프로그래밍 기능

### 14.2.1 표현식 함수 (Expression Functions)

Ada 2012에서 도입된 표현식 함수는 함수 본문을 단일 표현식(Expression)으로 정의할 수 있게 합니다. 이는 기존의 `begin-end` 블록과 `return` 문을 사용하는 방식보다 훨씬 간결하며, 함수의 의도를 명확하게 드러냅니다.

**기존 방식:**

```ada

function factorial (n : in Natural) return Positive is

begin

if n = 0 then

return 1;

else

return n * factorial (n - 1);

end if;

end factorial;

```

**표현식 함수 방식:**

```ada

function factorial (n : in Natural) return Positive is

(if n = 0 then 1 else n * factorial (n - 1));

```

이처럼 표현식 함수는 함수의 동작이 '무엇을 계산하여 반환하는가'에 집중하도록 유도하며, 이는 함수형 스타일의 핵심입니다.

### 14.2.2 조건부 표현식 (Conditional Expressions)

표현식 함수와 더불어, 값을 계산하는 데 사용되는 조건부 표현식(`if` 및 `case` 표현식)은 함수형 스타일을 강력하게 지원합니다. 문장이 아닌 표현식이기 때문에 다른 표현식 내부에 자연스럽게 포함될 수 있습니다.

```ada

-- if 표현식을 사용하여 변수 초기화

grade_message : constant String :=

(if score >= 90 then "Excellent"

elsif score >= 70 then "Good"

else "Needs Improvement");

-- case 표현식을 사용하여 상수 정의

SECONDS_IN_DAY : constant Natural := 24;

day_type : Day_Of_Week := get_current_day ();

hours_in_day : constant Natural :=

(case day_type is

when Saturday | Sunday => 12, -- 주말 특별 근무 시간

when others => SECONDS_IN_DAY);

```

이 기능은 변수나 상수의 값을 결정하는 로직을 선언과 동시에 한 곳에서 처리하게 하여, 불필요한 상태 변경을 줄이고 코드의 가독성을 높입니다.

### 14.2.3 고차 함수와 서브프로그램 접근 타입 (Higher-Order Functions and Access-to-Subprogram Types)

함수형 프로그래밍의 핵심 특징 중 하나는 함수를 다른 함수의 인자로 전달하거나, 함수의 반환 값으로 사용할 수 있는 \*\*고차 함수(Higher-Order Functions)\*\*입니다. 에이다는 \*\*서브프로그램 접근 타입(Access-to-Subprogram Types)\*\*을 통해 이를 지원합니다.

이는 C/C++의 함수 포인터와 유사한 개념으로, 서브프로그램(프로시저 또는 함수)의 '주소'를 저장하고 전달할 수 있게 합니다.

아래는 정수 배열의 모든 요소에 특정 연산을 적용하는 제네릭 `map` 프로시저의 예시입니다.

```ada

with Ada.Text_IO;

procedure Functional_Example is

-- 정수 배열 타입 정의

type Integer_Array is array (Integer range <>) of Integer;

-- 고차 함수(Map)를 포함하는 제네릭 패키지

generic

type Index_Type is (<>);

type Element_Array is array (Index_Type) of Integer;

-- 함수 '포인터' 타입: Integer를 받아 Integer를 반환

with function process (item : in Integer) return Integer;

procedure generic_map (data : in out Element_Array);

-- 제네릭 구현

procedure generic_map (data : in out Element_Array) is

begin

for i in data'range loop

data (i) := process (data (i));

end loop;

end generic_map;

-- 적용할 함수 1: 각 요소에 2를 곱함

function double (item : in Integer) return Integer is (item * 2);

-- 적용할 함수 2: 각 요소를 제곱함

function square (item : in Integer) return Integer is (item * item);

-- 'double' 함수를 적용하는 map 프로시저 인스턴스화

procedure map_double is new generic_map (

Index_Type => Integer,

Element_Array => Integer_Array,

process => double'access); -- 'access 속성으로 함수 참조 전달

-- 'square' 함수를 적용하는 map 프로시저 인스턴스화

procedure map_square is new generic_map (

Index_Type => Integer,

Element_Array => Integer_Array,

process => square'access);

my_data : Integer_Array := (1, 2, 3, 4, 5);

begin

Ada.Text_IO.Put_Line ("Original Data: " & my_data'Image);

map_double (my_data);

Ada.Text_IO.Put_Line ("After Doubling: " & my_data'Image);

-- Reset data

my_data := (1, 2, 3, 4, 5);

map_square (my_data);

Ada.Text_IO.Put_Line ("After Squaring: " & my_data'Image);

end Functional_Example;

```

이 예제에서 `generic_map`은 데이터 구조와 그 데이터를 처리할 동작(`process` 함수)을 분리함으로써 코드의 재사용성을 극대화합니다.

### 14.2.4 불변성 (Immutability)

불변성은 데이터가 생성된 후에 그 상태가 변하지 않는 것을 의미합니다. 에이다는 `constant` 키워드를 통해 강력한 불변성 지원을 제공합니다. 함수형 스타일에서는 부수 효과를 없애기 위해 가능한 한 모든 변수를 상수로 선언하는 것을 권장합니다.

```ada

-- 컴파일 타임 상수

MAX_CONNECTIONS : constant Positive := 100;

-- 런타임에 값이 결정되는 상수

start_time : constant Ada.Real_Time.Time := Ada.Real_Time.Clock;

final_message : constant String := "Process completed at " & start_time'Image;

```

상수를 사용하면 프로그램의 특정 지점에서 값이 절대 변하지 않음을 보장할 수 있어, 코드의 동작을 이해하고 예측하기가 훨씬 쉬워집니다.

### 14.2.5 순수성 (Purity)

순수 함수(Pure Function)는 부수 효과가 없고, 동일한 입력에 대해 항상 동일한 출력을 반환하는 함수입니다. 에이다는 `pragma Pure`를 통해 패키지나 서브프로그램이 순수하다는 것을 명시적으로 선언할 수 있습니다. 순수 패키지는 전역 변수나 상태를 변경할 수 없으며, 주로 안전이 중요한(Safety-Critical) 시스템에서 공유되는 상수나 타입을 정의하는 데 사용됩니다.

더 나아가, 계약 기반 설계(Design by Contract)를 위한 `Pre` 및 `Post` 애스펙트(Aspect)를 사용하여 함수의 동작을 명시적으로 정의할 수 있습니다. 특히 `Post` 조건은 함수의 반환 값이 오직 입력 값에 의해서만 결정됨을 명시하여 순수성을 강제하는 데 사용될 수 있습니다.

```ada

function is_even (value : in Integer) return Boolean with

Post => (is_even'Result = (value mod 2 = 0));

-- Post 조건은 이 함수의 결과가 오직 입력 'value'에만 의존함을 보여준다.

```

## 14.3 함수형 스타일의 장점

에이다에서 함수형 프로그래밍 스타일을 채택하면 다음과 같은 장점을 얻을 수 있습니다.

* **신뢰성 및 예측 가능성**: 불변성과 순수성은 부수 효과를 제거하여 코드의 동작을 이해하고 예측하기 쉽게 만듭니다. 이는 동시성 프로그래밍에서 특히 중요하며, 경쟁 상태나 데드락과 같은 문제를 원천적으로 줄여줍니다.

* **가독성 및 간결성**: 표현식 함수와 조건부 표현식은 복잡한 로직을 더 적은 코드로 명확하게 표현할 수 있게 해줍니다.

* **재사용성**: 고차 함수는 특정 데이터 타입에 종속되지 않는 일반적인 알고리즘(예: `map`, `filter`, `fold`)을 작성할 수 있게 하여 코드의 재사용성을 크게 향상시킵니다.

* **테스트 용이성**: 순수 함수는 외부 상태에 의존하지 않으므로 입력과 출력만 검증하면 되어 단위 테스트(Unit Test)가 매우 간단해집니다.

## 14.4 결론

에이다는 순수 함수형 언어는 아니지만, 명령형 프로그래밍의 견고한 기반 위에 함수형 패러다임의 주요 장점들을 성공적으로 통합했습니다. 표현식 함수, 조건부 표현식, 고차 함수, 그리고 불변성 및 순수성에 대한 강력한 지원은 개발자가 더 안전하고, 명확하며, 유지보수하기 쉬운 코드를 작성할 수 있도록 돕습니다.

이러한 기능들은 단순히 언어적 편의를 넘어, 에이다의 핵심 철학인 **신뢰성(Reliability)** 과 **정확성(Correctness)** 을 달성하기 위한 실용적인 도구입니다. 따라서 현대 에이다 개발자는 명령형 스타일과 함수형 스타일을 조화롭게 사용하여 문제에 가장 적합한 방식으로 솔루션을 구축하는 능력을 갖추는 것이 중요합니다.

번호	제목	글쓴이	작성일	조회	추천
설문	생활고나 번아웃 고백이 와닿지 않는 스타는?	운영자	25/08/18	-	-
공지	이미지 댓글 기능 안내	운영자	25/08/20	-	-
AD	전자제품 세일쇼!	운영자	25/08/19	-	-
2880114	육아는 장비빨? 선 넘었다 소리 나온 손연재의 ‘돈 자랑’	발명도둑잡기	08.10	67	0
2880113	나님 충격.. 혹시나 했는데 역시나 사칭범 범인이.. [1]	♥냥덩이♥	08.10	89	0
2880112	이 회사 '복지좋소'	발명도둑잡기	08.10	60	0
2880111	진중권 '김건희 의혹' 엄호에.."무책임하고 게으른 일" [10]	발명도둑잡기	08.10	84	0
2880110	요즘 프레임 워크 대다수가 보일러 플레이트 줄이는 방향으로 가지 않냐	ㅆㅇㅆ(124.216)	08.10	66	0
2880109	누가 나님 냥덩이 만진거야? [2]	♥냥덩이♥	08.10	92	0
2880108	아 코딩 존나 재밌어 그냥ㅋㅋㅋ	ㅆㅇㅆ(124.216)	08.10	76	0
2880107	누가 냥덩이 사칭한거에양..? 정말이지 너무해.. ㅠ ㅅ ㅠ [2]	♥냥덩이♥	08.10	81	0
2880106	모던 Node.js 패턴이라는거 보고 있는데	ㅆㅇㅆ(124.216)	08.10	75	0
2880104	화장 안 하고, 자녀 더 많이 과학이 밝혀낸 '사이코패스'	발명도둑잡기	08.10	54	0
2880103	경력직에 지원동기 왜쓰게하는걸까 [8]	밀우	08.10	110	0
2880102	李대통령도 "없어져야 한다"고 말했다···18세 딸 떠나보낸 아버지의	발명도둑잡기	08.10	57	0
2880099	이번에 GPT 5 이야기보니까 phi 모델같이 합성데이터 위주라더라	ㅆㅇㅆ(124.216)	08.10	84	0
2880097	인텔 감원, 리눅스용 드라이버 지원에도 타격 [1]	발명도둑잡기	08.10	76	0
2880095	프로그래머 업계가 너무 싸가지가 없어. 시원하게 다 대체됐으면 좋겠다. [1]	프갤러(223.63)	08.10	92	1
2880094	지금 중고시장 돌아가는게 먼가 이상하네 [4]	거북이속이거북	08.10	96	0
2880093	프로그래밍 업계의 금언이 있지. "그냥 쓰던거 써라." [1]	프갤러(223.63)	08.10	102	0
2880092	한국 기업 된 알리익스프레스코리아, 홈플러스 인수전 나설까	발명도둑잡기	08.10	296	0
2880091	결국 ai에게 오래 못가 다 대체될까	ㅇㅇ(211.211)	08.10	87	0
2880089	생수 스캔들, 프랑스를 뒤흔들다	발명도둑잡기	08.10	53	0
2880087	아 씨발 걍 도커 게속 쓸껄 왜 바꿨을까	ㅆㅇㅆ(124.216)	08.10	70	0
2880085	도커쓰다가 Rancher로 바꿨는데 컴포즈 빌드 자체가 안됨	ㅆㅇㅆ(124.216)	08.10	67	0
2880083	"조국 사면하면 유승준도 입국 허용해야" 李 대통령에 요청한 팬들	발명도둑잡기	08.10	79	0
2880082	클로드 쓰면서 코딩 더 많이 하게됨 [2]	ㅆㅇㅆ찡	08.10	108	0
2880081	한국에서 펌웨어는 자동차말고는 직장이 없나요? [1]	ㅇㅇ(118.235)	08.10	83	0
2880078	아 왜 아무것도 하기가 싫냐 [3]	루도그담당(58.239)	08.10	80	0
2880077	저도 먹고 살아야죠 ㅎㅎ	프갤러(61.79)	08.10	58	0
2880076	김대범 싸인회 [1]	발명도둑잡기	08.10	76	0
2880075	TEMPEST 맞는 듯. 내 OFFLINE 컴퓨터 도청방식. [4]	프갤러(182.227)	08.10	83	0
2880071	본인이 싫어하는 표현은 반려동물입니다 [6]	헬마스터	08.10	91	1
2880069	내가 좀 꼰대 같을지 모르겠지만 [8]	루도그담당(58.239)	08.10	117	0
2880067	진정한 개발자는 지피티 성능 박은거 정도로 당황하지 않음 [5]	ㅇㅇ(121.186)	08.10	117	0
2880066	BHC뿌링클 언제먹어도맛있네 [8]	개멍청한유라	08.10	75	0
2880064	얀르쿤이 옳았다 [1]	초코냥	08.10	85	0
2880059	아니 근데 지피티 5가 그렇게 못써먹을정도인가? 걍 지침대로하면 [5]	ㅆㅇㅆ(124.216)	08.10	135	0
2880058	기세닷! 기세로 밀러부쳐어어엇!!	♥냥덩이♥	08.10	72	0
2880057	GPT 5 진짜 못써먹겠는데... [5]	프갤러(1.224)	08.10	127	0
2880055	이번 대구 방화사건 보니까 느끼는건데 [4]	ㅆㅇㅆ찡	08.10	134	0
2880049	보통 C# 서는 이벤트 사용을 권장하지만 내부적으로 델리게이트 쓰긴함 [2]	ㅆㅇㅆ(124.216)	08.10	106	0
2880048	gpt5 너무 멍청하다 [1]	초코냥	08.10	101	0
2880044	뉴비 C# 질문 좀 할수있을까요.. [6]	ㅇㅇ(162.210)	08.10	132	0
2880042	기쁨의 원천	♥냥덩이♥	08.10	44	0
2880041	이번에 지피티5써보니까 더 좋아진거같은데 난 [4]	ㅆㅇㅆ(124.216)	08.10	104	0
2880038	챗티씨5 기능이 퇴화했다고 하는구나 [3]	헬마스터	08.10	95	1
2880033	ms 2025년에도 xaml갖고 떡치는거 재밋지않냐? [6]	헬마스터	08.10	106	0
2880028	스프링 아예 안한지 1년 넘었는데 다시 도전해볼까 [5]	ㅇㅇ(118.235)	08.10	115	0
2880025	레전드 도배 갤러리	프갤러(122.199)	08.10	79	0
2880024	냥덩이가 가장 좋아하는 계절❤+	♥냥덩이♥	08.10	55	0
2880020	비추론 모델에 추론 prompt 썻더니 존나 똑똑해짐	프갤러(125.143)	08.10	74	0
2880019	이번에 NEST.JS 해보면서 느끼는건데 생각보다 어렵네 [1]	ㅆㅇㅆ(124.216)	08.10	90	1
뉴스	'착한 사나이' 이동욱X이성경, 박훈이라는 위태로운 변수 속 로맨스 향방은? 마지막까지 주목해야 할 관전 포인트 3	디시트렌드	08.19

최근 방문

즐겨찾기

즐겨찾기 갤러리

이미지 올리기 이용안내

갤러리 이슈박스, 최근방문 갤러리

연관 갤러리

개념글 리스트

차단하기

[프로그래밍 갤러리]

갤러리 본문 영역

추천 비추천

댓글 영역

① NFT 발행

② NFT 구매

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

페이지 이동

오른쪽 컨텐츠 영역

알림 설정

알림

디시콘 리스트

디시콘

디시콘 검색결과(0)

인기 디시콘