욱'S 노트

어느 순간부터 우리는 여러 테스트케이스를 정의할 때 BDD 형식으로 작성을 하는 것이 유행처럼 되어 버렸다. 그러면 BDD가 무엇인지를 정리해보았다. TDD vs BDDTDD는 코드 자체의 기능과 안정성에 초점을 맞추는 반면, BDD는 사용자의 행위와 시스템의 동작 방식에 초점을 맞춥니다. 즉, TDD는 "무엇을" 테스트할지에 집중하고, BDD는 "어떻게" 동작해야 하는지에 집중한다.Gemini에 물어보면 아래와 같이 상당히 잘 정리해준다.구분TDD (테스트 주도 개발)BDD (행위 주도 개발)목표코드의 안정성과 품질 향상사용자 요구사항 중심의 개발 및 이해관계자 간 소통 향상초점테스트 케이스 작성 및 코드 구현사용자 행위 및 시스템 동작 방식 정의테스트 표현프로그래밍 언어 기반의 단위 테스트시나리오 기..

애자일 진영에서는 타스크를 관리하는 스크럼/칸반 등의 방법을 살펴보았다. 이제 사용자의 요구사항 혹은 유스케이스를 정리하기 위해서 사용하는 사용자 스토리 (User Story)를 잘 작성하는 방법에 대해서 간단히 요약해보았다. 좋은 유저 스토리 (INVEST)Independent - 독립적이다.Negotiable - 협상 가능하다.Valuable - 사용자와 고객에게 가치가 있다.Estimatable - 추정가능하다.Small - 작다.Testable - 테스트가능하다Independent아래는 디펜던시가 있는 상황. 1번의 스토리에 2번 3번이 엮인다.1. 기업은 채용 공고를 게시할 때 비자카드로 결제할 수 있다.2. 기업은 채용 공고를 게시할 때 마스터카드로 결제할 수 있다.3. 기업은 채용 공고를 게..

모나드를 엔도 펑터 범주에서의 모노이드라고 한다. 무슨 말인가? 앞에서 범주에 대해서 알아보았으니, 펑터에 대해서 먼저 알아보자. 펑터(Functor)아래 두가지 범주(카테고리)를 가정해보자범주D - 대상(A, B, C), 사상(f:A → B, g:B → C, h:A → C)범주E - 대상(X, Y, Z), 사상(F(f):X → Y, F(g):Y → Z,F(h):X → Z)대상 대응: 펑터F는 범주 D의 대상 A, B, C를 범주 E의 대상 X, Y, Z로 대응시킵니다. F(A) = X, F(B) = Y, F(C) = Z사상 대응: 펑터F는 범주 D의 사상 f, g, h를 범주 E의 사상 F(f), F(g), F(h)로 대응 시킵니다. F(f) = X → Y, F(g) = Y → Z, F(h) = X →..

범주(Category)범주란 대상(Object)과 사상(Morphism)의 모음항등사상: 대상 A에 대한 항등 사상(id_A)가 존재해야 한다. 이 사상은 A에서 A로 가는 사상사상의 연속성: f: A→B와 g: B->C가 주어졌을때, 두 사상의 합성 g∙f: A→C가 존재해야 한다. 두 사상을 연결하여 하나의 사상으로 만들 수 있어야 한다.합성의 결합법칙: 세 개의 사상 f,g,h가 주어졌을때, (h∙g)∙f = h∙(g∙f)가 성립해야 한다. 사상을 연결할 때 순서가 중요하지 않다. 대상은 수학적으로는 집합이며 프로그래밍에서 익숙한 용어로 바꾸면 타입이다. 예를 들어 정수 타입은 모든 정수를, 부울 타입은 참과 거짓 만을 포함한다. 사상은 화살표(arrow)이다. 화살표는 두 대상 사이의 관계를 나타..

일단 모나드에 대한 용어에 신경쓰지 말고 시작해보자.모나드가 없을 때간단한 Either를 하나 작성해보자.sealed interface Either { data class Left(val error: A) : Either data class Right(val value: B) : Either} 계좌의 입출금 문제를 생각해보자sealed interface Error { data object NegativeAmount : Error}data class Account private constructor(val balance: BigDecimal) { companion object { fun create(initial: BigDecimal): Either { ..

자바나 스프링을 미리 경험했다면 의존성 주입(Dependency Injection)이라는 것에 익숙할 것이다. 그러나 기존의 방식은 런타임시에 의존성 주입이 발생한다. 앞에서 살펴봤듯이 함수형 프로그래밍에서는 최대한 컴파일러가 타입 안전을 검사하기를 원한다. 코틀린에서는 이 문제를 어떻게 해결할 수 있을지 살펴보자.Effects앞에서 효과가 무엇인지 알아봤다. 효과를 명시적으로 함수의 시그니처에 포함시키자는 것이 주요 아이디어이다. 기본적으로 순수 함수라면 함수는 연산만을 수행한다라고 얘기한다.fun add(x: Int, y: Int): Int = x + y 위의 간단한 순수 함수에 사이드 이펙트를 포함시켜 보자.fun loggingAdd(x: Int, y: Int): Int {   println("x ..

함수형 도메인 모델링의 목적은 비즈니스 도메인을 정확하게 묘사하는 것이다. 컴파일러를 최대한 활용하여 타입-세이프하고, 버그를 방지하고 유닛테스트를 경감 시키는 것이 목적이다. 앞에서 살펴봤듯이 함수형 프로그래밍은 타입 주도 개발(Type Driven Development)을 따르기도 한다. 타입은 함수와 데이터가 준수해야 하는 엄격한 계약이다. 타입 시스템을 이를 어길 수 없다. 그러므로 다양한 케이스에 대한 유닛테스트도 경감시킬 수 있는 것이다.코틀린은 함수형 도메인 모델링에 적합하다. 코틀린은 data class, sealed class, enum class, value class를 제공한다. 그리고 애로우를 이용한다면, Either와 같은 흥미로운 데이터 타입을 제공 받을 수 있다.예제기본 타입 ..

처음에 얘기했다시피 함수형 프로그래밍은 제약이 없다. FP에서 외부효과와 입출력을 다루는 방식이 대해서 알아보자. 핵심은 부수효과를 분리해 내는 것이다.엄격성과 지연성함수는 엄격(strict)할 수 있고, 지연(Lazy)될 수 도 있다. 지연성(Lazyness)를 활용하면 프로그램의 기술과 평가를 분리할 수 있다. Strict function항상 모든 즉시(eager) 탐욕적(greedy)으로 인자를 평가(eager, greddy)대부분의 프로그래밍 언어의 표준Lazy function내장 구문(&&, ||, if)에서 지원평가하지 않는 타입은 () → A와 같이 정의. 이와 같은 함수를 썽크(thunk)라고 부름fun lazyIf( cond: Boolean, onTrue: () -> A, /..

불변 컬렉션앞에서 보았듯이 함수형 프로그래밍에서는 항상 불변값과 대수적 타입으로 값을 다룬다. 이는 컬렉션의 경우에도 마찬가지이다. 리스트의 가장 기본적인 구현을 보면 아래와 같다.// sealed 키워드를 통해 패키지 안에서만 상속 가능하도록sealed class List// Empty를 표현object Nil : List()// 비어 있지 않는 리스트data class Cons(val head: A, val tail: List) : List() 데이터 공유불변 리스트 xs에 1이라는 원소를 추가한다면 Cons(1, xs) 새로운 리스트를 반환하면 된다. 삭제를 한다면 tail을 반환하면 됨. 이를 데이터 공유라고 한다. 데이터 변경이나 오염을 피하기 위해서 복사본을 만들 필요가 없다. 데이터 구조가 ..

예전에 자바를 사용했었다면, NullpointerException을 겪었을 것이다. 널의 가장 큰 문제점은 클라이언트 코드에서 예상할 수 어렵다는데 있었다. 코틀린에서는 ?을 베이스로 null-safety 문제를 해결하고 있다. 코틀린에는 nullable type이 있지만, Arrow에 Option 타입이 있는 이유에 대해서 알아보자.fun List.firstOrElse(default: () -> A): A = firstOrNull() ?: default()fun example() {   emptyList().firstOrElse { -1 } shouldBe -1   listOf(1, null, 3).firstOrElse { -1 } shouldBe 1} 다음 코드를 예상해보자.fun example()..