이 튜토리얼을 읽어야 하는 이유

개요

string email이 빈 문자열인지, int denominator가 0인지를 매번 호출 측에서 검사하고 계신가요? 그 검증을 깜빡하면 런타임에 예외가 터지고, 깜빡하지 않더라도 같은 if 문이 코드 곳곳에 퍼져 나갑니다.

이 튜토리얼은 타입 자체가 유효성을 보장하는 값 객체를 함수형 프로그래밍 원칙으로 구현하는 방법을 다룹니다. 기본 나눗셈 함수에서 시작해 완성된 프레임워크 패턴까지, 29개의 실습 프로젝트를 단계별로 진행합니다.

---

대상 독자

다음 표는 경험 수준에 따른 권장 학습 범위를 안내합니다.

수준	대상	권장 학습 범위
초급	C# 기본 문법을 알고 함수형 프로그래밍에 입문하려는 개발자	Part 1 (1장~6장)
중급	함수형 개념을 이해하고 실전 적용을 원하는 개발자	Part 1~3 전체
고급	프레임워크 설계와 아키텍처에 관심 있는 개발자	Part 4~5 + 부록

---

학습 전제 조건

이 튜토리얼을 효과적으로 학습하기 위해 다음 지식이 필요합니다:

필수

• C# 기본 문법 이해 (클래스, 인터페이스, 제네릭)
• 객체지향 프로그래밍 기초 개념
• .NET 프로젝트 실행 경험

권장 (있으면 좋음)

• LINQ 기본 문법
• 단위 테스트 경험
• 도메인 주도 설계(DDD) 기초 개념

---

기대 효과

이 튜토리얼을 완료하면 다음을 할 수 있습니다:

1. 예외 대신 명시적 결과 타입으로 안전한 코드를 작성할 수 있습니다

// ❌ 예외 기반 - 문제가 있는 방식
public User CreateUser(string email, int age)
{
    if (string.IsNullOrEmpty(email))
        throw new ArgumentException("이메일은 필수입니다.");
    return new User(email, age);
}

// ✅ 성공 주도 - 권장 방식
public Fin<User> CreateUser(string email, int age)
{
    return
        from validEmail in Email.Create(email)
        from validAge in Age.Create(age)
        select new User(validEmail, validAge);
}

2. 도메인 규칙을 타입으로 표현하여 컴파일 타임에 검증할 수 있습니다

// ❌ 런타임 검증 - 늦은 발견
public int Divide(int numerator, int denominator)
{
    if (denominator == 0)
        throw new ArgumentException("0으로 나눌 수 없습니다");
    return numerator / denominator;
}

// ✅ 컴파일 타임 보장 - 조기 발견
public int Divide(int numerator, Denominator denominator)
{
    return numerator / denominator.Value; // 검증 불필요!
}

3. Bind/Apply 패턴을 활용해 유연한 검증 로직을 구현할 수 있습니다

// Bind 패턴 - 순차 검증
var result = ValidateEmail(email)
    .Bind(_ => ValidatePassword(password))
    .Bind(_ => ValidateName(name));

// Apply 패턴 - 병렬 검증 (모든 에러 수집)
var result = (ValidateEmail(email), ValidatePassword(password), ValidateName(name))
    .Apply((e, p, n) => new User(e, p, n));

4. Functorium 프레임워크를 활용해 실전 값 객체를 개발할 수 있습니다

public sealed partial class Email : SimpleValueObject<string>
{
    private Email(string value) : base(value) { }

    public static Fin<Email> Create(string? value) =>
        CreateFromValidation(Validate(value), v => new Email(v));

    public static Validation<Error, string> Validate(string? value) =>
        ValidationRules<Email>
            .NotNull(value)
            .ThenNotEmpty()
            .ThenMaxLength(320)
            .ThenMatches(EmailRegex(), "Invalid email format");

    [GeneratedRegex(@"^[^@\s]+@[^@\s]+\.[^@\s]+$")]
    private static partial Regex EmailRegex();
}

---

세 가지 핵심 관점

이 튜토리얼은 성공 주도 개발, 함수형 프로그래밍, DDD 값 객체라는 세 관점을 통합합니다.

관점	핵심 원칙	이 튜토리얼에서의 적용
성공 주도 개발	성공 경로를 중심으로 설계	Fin<T>, Validation<Error, T> 활용
함수형 프로그래밍	순수 함수, 불변성, 조합	모나드 체이닝, LINQ 표현식
DDD 값 객체	도메인 개념의 타입화	ValueObject 프레임워크 타입

---

학습 경로

다음 다이어그램은 수준별 권장 학습 범위를 보여줍니다.

초급 (Part 1: 1~6장)
├── 예외 vs 도메인 타입
├── 방어적 프로그래밍
├── Fin<T>, Validation<Error, T>
└── 항상 유효한 값 객체

중급 (Part 1: 7~14장 + Part 2~3)
├── 값 동등성, 비교 가능성
├── Bind/Apply 검증 패턴
└── 프레임워크 타입 활용

고급 (Part 4~5 + 부록)
├── ORM, CQRS 통합
├── 도메인별 실전 예제
└── 아키텍처 테스트

FAQ

Q1: 함수형 프로그래밍 경험이 없어도 따라갈 수 있나요?

A: 네. 이 튜토리얼은 C# 기본 문법만 알면 시작할 수 있도록 설계되었습니다. Part 1에서 int와 string의 한계를 직접 확인한 뒤, 단계적으로 Fin<T>와 Validation<Error, T> 같은 함수형 타입을 도입합니다.

Q2: Fin<T>와 Validation<Error, T>의 차이는 무엇인가요?

A: Fin<T>는 성공 또는 실패를 나타내는 최종 결과 타입이고, Validation<Error, T>는 모든 검증 오류를 수집할 수 있는 타입입니다. 단일 오류만 필요하면 Fin<T>, 여러 오류를 동시에 수집하려면 Validation<Error, T>를 사용합니다.

Q3: 29개 프로젝트를 모두 완료해야 하나요?

A: 아닙니다. 대상 독자 표의 권장 학습 범위를 참고하세요. 초급은 Part 1(16장), 중급은 Part 13, 고급은 Part 4~5를 권장합니다. 필요한 수준까지만 진행해도 충분합니다.

---

다음 단계

이런 코드를 가능하게 하는 핵심 개념인 성공 주도 개발(Success-Driven Development)을 다음 장에서 자세히 살펴봅니다. 예외 중심 접근과 성공 중심 접근이 어떻게 다른지 비교합니다.

→ 0.2 성공 주도 개발이란?