욱'S 노트

대수적 타입(ADT)대수적 타입 즉 Algrebraic Data Type은 합타입과 곱타입으로 표현된 타입이다. 그렇다면 합타입과 곱타입이란 무엇인가?합타입대표적으로 enum class가 있다. 아래의 RGB 타입은 RED, GREEN, BLUE 3가지만 존재할 수 있다.enum class RGB { RED(), GREEN(), BLUE()}곱타입대표적인 예로 class가 있다.data class Person(val name: String, val age: Int, val email: String)val lazysoul = Person("lazysoul", 33, "kotlin@gmail.com")val goinhacker = Person("goinhacker", 36, "fp@gmail..

요약방문일시 : 2025년 1월 11일주차장 : 기흥레스피아 주차장카카오맵 : https://place.map.kakao.com/27446717 기흥레스피아호수공원 주차장1경기 용인시 기흥구 하갈로 79 (하갈동 114-4)place.map.kakao.com트레킹거리 : 10km오늘은 집근처 기흥호수공원 순환산책로 트레킹에 나섰다. 기흥호수공원은 원점 회귀를 할 수 있는 순환산책로를 가지고 있는데 주차장은 기흥레스피아 외의 두군데가 더 있다. 주차 혼잡도는 용인조정경기장 > 기흥레스피아 > 서편주차장이다. 특히 용인조정경기장 근처에는 상업시설이 많아서 주말에는 주차가 힘들 경우가 많다.https://place.map.kakao.com/20519780 용인조정경기장 전용주차장경기 용인시 기흥구 동탄기흥로 ..

요약방문일시 : 2024년 11월 3일주차장 : 배내2공영주차장카카오맵 : https://place.map.kakao.com/1967468453 배내2공영주차장울산 울주군 상북면 이천리 120-19place.map.kakao.com산행거리 : 23km 원래 계획은 캠핑장에서 캠핑을 하고 이틀에 걸쳐 영남알프스 종주를 하는거였다. 하지만 첫날 날씨탓에 둘째날 절반만 돌기로 결정했다. 진행방향은 다음과 같다. 영축산에서 단조성터길을 찾기 힘들어서 지역분에게 물어보니 신불산으로 되돌아 가야한다고 해서 돌아갔다. 그러나 나중에 다시 찾아보니 신불산자연휴양림으로 가는 다른 길이 있었다;; 코스는 배내2공영주차장에서 시작해서 사슴농장에서 시작해서 죽전마을까지 간 다음 버스를 타고 배내2공영주차장으로 돌아오는 것이다..

요약방문일시: 2024년 8월 6일 ~ 2024년 8월 7일영문명 : Tokusawa Lodge일본명 : 徳沢ロッヂ구글맵 : https://maps.app.goo.gl/LiF4GaNXEZqVwKah8 코나시다이라 캠프장 to 도쿠사와롯지 www.google.com 코나시다이라 캠핑장부터 도쿠사와 캠핑장까지의 트레킹 기록이다. 카미코치 방문 및 숙소에 대한 내용은 이전 글을 참조하면 된다.https://opennote46.tistory.com/263 마츠모토 코나시다이라 캠핑장(카미코치 캠핑)요약방문일시 : 2024년 8월 6일 ~ 8월 7일(1박 2일)가는방법 : 나고야 국제공항 - 토야마역 - 다카야마역 - 히라뉴 온센 - 카미코치칸코 센터 - 코나시다이라 캠핑장영문명 : Konashidaira Cam..

불변 데이터(Immutable Data)이전 회차에서 살펴보았다시피 부수효과란 함수 내부의 구현이 함수 외부의 상태에 영향을 끼치면 안된다는 것을 의미한다. 가장 기본적인 룰은 기존 데이터를 변경하지 않고, 새로운 데이터를 만들어 내면 된다. 코틀린에서는 copy라는 내장함수를 제공하기 때문에 쉽게 다를수 있다.data class Deposit(val amount: Int) { fun withdraw(amount: Int): Deposit = copy(amount = this.amount - amount)} val deposit = Deposit(100)val newDeposit = deposit.withdraw(50) Optics기본적으로 코틀린의 Data클래스는 불변 데이터 ..

개요애로우의 목적은 관용적인(idiomatic) 함수형 프로그래밍을 코틀린에 적용하는 것을 목표로 한다. 애로우는 다른 함수형 프로그래밍 커뮤니티에서 만들어진 라이브러리들의 영향을 받았다.설정설정은 gralde기반으로 일단 정리해보았다. 디펜던시 추가dependencies { implementation("io.arrow-kt:arrow-core:1.2.1") implementation("io.arrow-kt:arrow-fx-coroutines:1.2.1")} 플러그인 설정옵틱을 위한 플러그인 설정이다. 이 플러그인은 KSP(Kotlin Symbol Processing는 경량 컴파일러 플러그인.) 기반으로 만들어 졌다.plugins { id("com.google.devtools.ksp") ver..

개요프로그래밍의 패러다임은 세가지가 있다. 명령형 프로그래밍 혹은 절차식 프로그래밍(Imperative Programming)객체지향 프로그래밍(Objective Programming)함수형 프로그래밍(Functional Programming)왜 함수형 프로그래밍이 등장하게 되었을까? 간단한게 말하자면 함수형 프로그래밍은 명령형 프로그래밍의 대안이다. 나같은 경우도 객체지향과 함수형 프로그래밍을 혼합해서 사용한다. 프로그램을 역할을 나눌 때는 객체지향으로 로직을 전개할 때는 함수형 프로그래밍을 사용하는 편이다.명령형 프로그래밍은 지시를 하나하나 내리는 방식을 의미한다. 지시를 수행함으로써 시스템의 상태가 변경된다. 하지만 시스템이 커질수록 코드에 대한 추론이 어려워지고 복잡성이 증가하며 테스트가 어렵다는..

요약 스크럼칸반등장시기1995년2004년핵심스프린트WIP(Work In Process)상황프로젝트와 같이 목표가 명확하고 업무 산정 및 할당이 용이한 상황지속적으로 업무를 다루며 프로젝트 진행 및 ops를 동시에 수행해야 하는 작은 단위에 팀스크럼스크럼은 여러 개의 스프린트로 나누어 진다. 스프린트는 프로젝트 단위로 상이하지만 대체적으로 1~2주 단위로 진행된다.스프린트의 시작 시점에 해당 스프린트 기간 동안 작업할 수 있는 개발자의 개개인의 시간들을 모두 합쳐 총 작업 시간을 책정하고, 수행할 작업들을 추산하는 플래닝을 진행한다.스프린트 종료 시점에는 진행했던 작업들에 대한 회고를 진행한다.기본적으로 스프린트는 플래닝한 작업를 완료하는 것을 목표로 진행한다. 스프린트 중간에 들어오는 이슈들은 백로그에 ..

요약방문일시 : 2024년 8월 6일 ~ 8월 7일(1박 2일)가는방법 : 나고야 국제공항 - 토야마역 - 다카야마역 - 히라뉴 온센 - 카미코치칸코 센터 - 코나시다이라 캠핑장영문명 : Konashidaira Camping Retreat일본명 : 小梨平キャンプ場구글맵 : https://maps.app.goo.gl/DJUzgbsbzQTd4pMp6 코나시다이라 캠프장 · 上高地-4468 Azumi, Matsumoto, Nagano 390-1520 일본★★★★★ · 캠핑장www.google.com  공식사이트 : https://www.nihonalpskankou.com/ 上高地の呼吸を感じる｜小梨平キャンプ場高地でケビン、キャンプ場を運営する小梨平キャンプ場のWebサイトです。ケビン、キャンプ場などの情報や、上高地の魅力に..

요약방문일시 : 2025년 1월 4일주차장 : 하남벤처센터 주차장카카오맵 : https://place.map.kakao.com/20568013 하남벤처센터 주차장경기 하남시 창우동 523place.map.kakao.com 진행 방향을 표시해보면 다음과 같다. 내가 이 코스를 선택한 이유는 가장 쉬운 코스는 아니지만 가장 경치가 좋은 코스였기 때문이다. 등산 하는 내내 한강을 조망할 수 있고, 다양한 스타일의 등산로가 나타나서 재미가 있다. 검단산은 한강을 조망할 수 있고 서울에서 접근성이 좋아서 인기가 있는 산이다. 일단 주차는 하남벤처센터 혹은 검단산 관광안내소 주차장을 이용할 수 있다. 이 날은 9시 30분 정도에 도착했는데, 검단산 관광안내소 주차장은 만차였기에 하남벤처센터에 주차를 하였다. 여유..