Kt-Pattern은 Kotlin에서 when 문의 한계를 극복하고, 더 선언적이고 구조적인 분기를 가능하게 해주는 패턴 매칭 DSL 라이브러리입니다.
Kotlin은 강력한 타입 시스템을 갖고 있지만, 복잡한 조건 분기나 패턴 기반 추론에서는 when 외에 마땅한 대안이 없습니다. 그래서 직접 만들었습니다.
이 라이브러리는 단순한 DSL을 넘어, 테스트 가능한 추론 구조, 스냅샷 기반의 로깅, 그리고 확장 가능한 Evaluator 체계까지 고려해 설계되어 있습니다.
val result = match("hello") {
whenType<String> { "문자열입니다: $it" }
else_ { "다른 타입입니다" }
}val result = match(123) {
whenValue(123) { "정확히 123입니다!" }
else_ { "다른 값입니다" }
}val result = match(Box(42)) {
caseOf<Box<Int>>({ it.value > 10 }) {
"Box에 담긴 값이 10보다 큽니다: ${it.value}"
}
else_ { "조건 불일치" }
}val result = match(Box(42)) {
case(DestructurePattern(Box::class.java) { (v): Box<*> -> v == 42 }) {
"Box 안 값이 42입니다"
}
else_ { "구조 분해 실패" }
}val result = match(Dog("뽀삐", 3)) {
caseOf<Dog>({ it.age < 10 }) {
"어린 강아지입니다: ${it.name}"
}
else_ { "조건 불일치" }
}sealed class Animal
data class Dog(val name: String) : Animal()
val result = match(Dog("바둑이")) {
whenType<Dog> { "강아지입니다: ${it.name}" }
else_ { "모르겠음" }
}복잡한 도메인 로직도 간단한 클래스로 Pattern을 커스터마이징할 수 있습니다. 예를 들면, Dart언어의 IsEven과 같은 조건을 구현할 수 있습니다.
class IsEven : SimplePattern<Int>(Int::class.java) {
override fun matches(value: Int): Boolean = value % 2 == 0
}
val result = match(42) {
case(IsEven()) { "✅ 짝수입니다!" }
else_ { "❌ 홀수입니다!" }
}val result = match(Person("홍길동", 35)) {
caseOf<Person> { "안녕하세요, ${it.name}님!" }
else_ { "누구세요?" }
}매칭 과정의 입력값, 사용된 패턴, 매칭 결과(Matched, NotMatched, Skipped)를 시간순으로 추적할 수 있습니다.
val binder = SnapshotBinder()
val result = match("hello", snapshotBinder = binder) {
whenType<String> { "String matched" }
else_ { "No match" }
}
binder.getAll().forEachIndexed { index: Int, snap: Snapshot ->
println("[$index] ${snap.status} | ${snap.value} | ${snap.pattern}")
}| 항목 | 내용 |
|---|---|
| 언어 | Kotlin 1.9.x |
| 빌드 도구 | Gradle Kotlin DSL |
| 테스트 도구 | JUnit5, kotlin-test, Jacoco |
| 프로젝트 구조 | 멀티 모듈 구조:dsl-core, :dsl-runtime, :dsl-dsl, :dsl-test, :examples:basic-example, :examples:advanced-example |
| 예제 실행 | ./gradlew :examples:basic-example:run./gradlew :examples:advanced-example:run |
Kt-pattern을 프로젝트에 추가하려면 아래와 같이 build.gradle.kts 또는 build.gradle에 의존성을 추가하세요.
dependencies {
implementation("com.ktpattern:kt-pattern:1.0.0")
}본 프로젝트는 선언형 패턴 매칭 DSL의 표현력, 재사용성, 확장성을 높이기 위해
다음과 같은 설계 원칙을 기반으로 멀티모듈 아키텍처를 구성합니다.
- 핵심 추상화(core), evaluator 및 실행 로직(runtime), DSL 호출부(dsl) 등을 모듈로 분리하여 각 책임을 명확히 합니다.
- 의존성 방향은 단방향으로 구성되어 있으며, 하위 모듈에 대한 직접 접근 없이 동작합니다.
예:
dsl-dsl→dsl-runtime→dsl-core
examples:basic-example,examples:advanced-example을 통해 DSL의 실제 사용 흐름을 검증할 수 있습니다.- 테스트 외에도 실동작 예시를 통해 구조적 이해와 디버깅을 지원합니다.
- 각 모듈은 동일한 패키지 네이밍을 따르기 때문에, 별도의 import 없이도 내부 구조 간 결합도를 낮춘 채 유연하게 구성할 수 있습니다. 예를 들어
dsl-core의Pattern구조를 변경하더라도 상위 DSL 호출부에서는 최소한의 수정만으로 대응 가능합니다. PatternEvaluator는ServiceLoader를 통해 구현 클래스가 자동 등록될 수 있으며, 또는 코드 내에서CompositeEvaluator를 통해 수동으로 주입하여 사용할 수도 있습니다.
즉, 구현체만 바꿔도 DSL 전체 흐름을 커스터마이징할 수 있는 전략 패턴 기반의 유연한 구조입니다.
📌 필요 시 web, batch, cli 등 다양한 실행 환경으로 DSL을 확장 가능하도록 설계되어 있습니다. 현재는 라이브러리 자체의 본질에 충실하게 의존성을 최소화하려 하며, 내부 기능의 완성도를 높이는 데에 초점을 두고 있습니다.
| 모듈명 | 설명 |
|---|---|
dsl-core |
핵심 구조 및 패턴 정의 (Pattern, MatchResult, PatternEvaluator) |
dsl-runtime |
평가 로직 구현 (DefaultPatternEvaluator, Snapshot) |
dsl-dsl |
사용자 DSL 호출부 (match, case, MatchBuilder) |
dsl-test |
테스트 유틸 및 도구 |
examples |
DSL 사용 예시를 담은 실행 가능 데모 코드 (main(), 샘플 매칭 로직) |
해당 수치는 jacoco를 통해 측정되었습니다.
graph TD
User["👤 match { case ... }"]
MATCH["🧠 match() 함수"]
MB["🧱 MatchBuilder"]
CASE["🔍 case(), whenType(), caseOf()"]
VALUE["📥 입력값 (value)"]
EVAL["⚙️ PatternEvaluator (ServiceLoader)"]
PATTERN["🎯 Pattern 종류"]
RESULT["✅ PatternMatchResult"]
SNAP["🧾 Snapshot 저장 (옵션)"]
User --> MATCH --> MB
MB --> CASE
MATCH --> VALUE
MATCH --> EVAL
EVAL --> PATTERN
EVAL --> RESULT
MATCH --> SNAP
This project is licensed under the MIT License © 2025 Acacian