욱'S 노트

방문일시 : 2024년 1월 13일 ~ 1월 15일 (2박 3일)구글맵 : https://maps.app.goo.gl/squYKdDi6z9Q2vYo9 바오 쿠인 방갈로 · 26 Nguyễn Đình Chiểu, Phường Hàm Tiến, Thành phố Phan Thiết, Bình Thuận, 베트★★★★☆ · 리조트www.google.com가격 : 1박 12만원 내외등급 : 3성급룸타입 : 패밀리룸이동방법 : 나트랑 - 판티엣 - 바오쿠인방갈로 2020년 무이네를 방문한 후 무이네 특유의 시골 시골한 분위기가 그리워 2024년 다시 무이네를 방문하게 되었다. 나트랑에서 기차로 판티엣까지 이동한 후 판티엣에서 택시를 이용했다. 이번에는 무이네 메인 스트릿에 위치한 바오쿠인방갈로를 숙소로 선택했다...

방문일시 : 2020년 1월 16일 ~ 1월 20일 (3박 4일)구글맵 : https://maps.app.goo.gl/Eo83of6chzd3tHge8 무이네 베이 리조트 · Khu phố 14, Phan Thiết, Bình Thuận 77000 베트남★★★★★ · 리조트www.google.com홈페이지 : https://www.muinebayresort.com/ Muine Bay Resort www.muinebayresort.com가격 : 1박 약 10만원성급 : 4성급룸타입 : 패밀리 스위트이동방법 : 호치민(탄손낫 국제공항) - 판티엣 - 무이네베이리조트 이전 호치민 여행에서 다녀왔던 무이네 베이 리조트를 리뷰해보겠다. 일단 가는 방법은 호치민에서 판티엣까지는 기차로 이동하고 판티엣역에서 무이네베이..

범주(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 ..