백근영.log - mysetting

11:25 5/30

velog.io

mobile screenshot relative

11:25

velog.io

mobile screenshot

백근영.log
https://velog.io/@dvmflstm

서울대학교 컴퓨터공학부 github.com/BaekGeunYoung

저작도구: velog

최종 피드 수집: 2024-04-09 22:16

전체 (28)

1y

2022년 회고

2022년도 끝났다. 2022년은 개인적으로도, 회사에서도 많은 일들이 있었다. 아주 난이도가 높은(?) 한 해였던 것 같은데 그런 만큼 동시에 많은 것들을 느끼고 배울 수 있었다. 1년 전 회고를 쓸 때 블로그 글을 열심히 쓰겠

007

1y

type-safe & user-friendly한 Regex Builder 만들기

깃헙 코드
Description vs Evaluation
함수형 프로그래의 핵심 중 하나는 description과 evaluation을 분리하는 것이다. description과 evaluation의 분리는 lazy evaluati

001

2y

ZIO: scala functional asynchronous & concurrent library

회사에서 ZIO에 대해 소개하는 발표에서 활용했던 자료이다.
https://docs.google.com/presentation/d/16vXtZPZ_7gNzMErHmAJ07BkQFqez3AI5TeU5cq4MqSY/edit?usp=s

004

2y

책 리뷰: <은행이 멈추는 날>

지금까지 있었던 몇 차례의 글로벌 금융 위기들을 살펴보면서 현 금융 제도가 가진 모순점을 지적하고, 앞으로의 금융 위기는 어떤 식으로 전개될 지 예측하고 있다. 무엇보다도 현대의 금융 시장은 복잡계라는 것을 강조하며 파생상품과 레

000

2y

2021년 회고

아주 오랜만에 글을 다시 쓴다.
회사 생활을 처음 시작했을 때는 글을 쓰는게 참 쉽고 즐겁게 느껴졌었는데, 어느 순간부터는 글을 쓰는게 어려워진 것 같다. 그 이유를 지금 떠오르는대로 대충 적어보면 아래와 같다.
글을 쓰는 것보다

2021_회고

2070

2y

Spring Webflux + Kotlin + Coroutine Actor를 이용한 Websocket Server 만들기

Websocket이란?
Wiki
웹소켓(WebSocket)은 하나의 TCP 접속에 전이중 통신 채널을 제공하는 컴퓨터 통신 프로토콜이다. 웹소켓 프로토콜은 2011년 IETF에 의해 RFC 6455로 표준화되었으며 웹 IDL의 웹

001

2y

scala + akka + websocket으로 agar.io를 만들어보자!

agario_clone
agar.io 클론 코딩
github
tech stack
Scala
Akka Http, Akka Stream, Akka Actor
Websocket
spray-json
요구사항
유저는 하나의 원으로 표현되고

008

2y

kotlin과 arrow를 이용한 functional polymorphic programming

functional polymorphic programming using kotlin & arrow
kotlin + spring webflux + arrow 를 이용해 functional polymorphic한 architectu

0018

3y

PBT로 FP 법칙 확인해보기 - Applicative

Applicative
Monad를 구성하는 기본수단이 unit과 flatMap이었다면, Applicative는 unit과 map2를 기본수단으로 하는 특질이다.
interface Applicative<F> {
fun <A>

000

3y

PBT로 FP 법칙 확인해보기 - Monad

Monad
Functor가 map을 가지고 있는 자료 구조들을 일반화한 특질인 것 처럼, Monad는 unit과 flatMap을 가지고 있는 자료구조를 일반화한 특질이다.
Monad 만들기
arrow의 kind를 이용해서 Fun

000

3y

PBT로 FP 법칙 확인해보기 - Functor

Functor
우리는 함수형 프로그래밍 패러다임을 지원하는 많은 언어에서 다양한 자료 구조에 대해 map 함수를 지원하는 것을 알고 있다. 이러한 이른바 "map 함수를 구현하는 자료 구조"를 일반화한 특질을 Functor라고 부

000

3y

PBT로 FP 법칙 확인해보기 - 모노이드

깃헙 코드 바로가기
모노이드
하나의 모노이드는 다음과 같은 요소들로 구성된다.
어떤 형식 A
A 형식의 값 2개를 받아서 하나의 값을 산출하는 결합적 이항 연산 op.
이 연산 op에 대한 한등원 zero.
그리고 op는 아래와

000

3y

PBT로 FP 법칙 확인해보기

PBT (Property Based Testing)
Property Based Testing(속성 기반 검사)이란 어떤 함수에 대한 테스트 코드를 작성할 때, 함수를 실행한 결과값을 기반으로 Assert를 하는 것이 아닌 그 함수

000

3y

review - 오브젝트 : 코드로 이해하는 객체지향 설계

오브젝트 - 코드로 이해하는 객체지향 설계
본 책의 저자인 조영호님께서 쓰셨던 또 다른 책인 "객체지향 사실과 오해"라는 책은 내 생각에 불필요한 비유가 너무 많은 것 같아서 조금 읽다가 책을 덮었었는데, 이 책은 반대로 중요한

001

3y

review - 대용량 아키텍처와 성능 튜닝

대용량 아키텍처와 성능 튜닝
아키텍처 설계와 관련된 내용들을 폭넓은 범위에 걸쳐 다루고 있는 책이다. 특히 기술적인 내용 이외에 비즈니스 아키텍쳐를 설계하는 방법에 대해 설명하는 부분도 존재한다. 기대했던 내용은 아니지만 유익한

006

3y

Review - 리팩토링 (Martin Fowler)

Refactoring (Martin Fowler)
내용 자체는 당연한 말들의 연속이었다. 하지만 그 당연한 것들이 모두 명확하게 머리에 들어있는 사람은 많지 않다. 모든 개발자들이 리팩토링에 대해 이것저것 떠들곤 하지만, 그들 중

001

3y

SAGA pattern을 이용한 분산 트랜잭션 구현하기

axon-saga-practice
spring boot와 axon framework 환경에서 SAGA pattern을 활용해 분산 트랜잭션을 구현해보는 실습 코드입니다.
MSA에서의 transaction
모든 아키텍쳐가 그러하듯

0057

3y

axon & spring boot를 이용해 CQRS & event sourcing 패턴 사용하기

cqrs-eventsourcing-practice
event sourcing ?
이벤트 소싱은 영속 데이터를 어떤 식으로 저장할 것인지에 관한 것으로, 전통적인 데이터 저장 방법은 현실 세계의 것들을 직접적으로 표현하고 있는 도메

0019

3y

티켓 예매 서버 v2 - 완성 및 테스트

ticket_reservation_v2
멀티스레드 티켓 예매 서버 구현 프로젝트를 진행하면서 아쉬웠던 점들을 개선하여 low latency 서버를 다시 한 번 만들어보고자 한다.
개선할 점
spring webflux를 활용한 We

006

3y

Project - 티켓 예매 서버 v2

ticket_reservation_v2
멀티스레드 티켓 예매 서버 구현 프로젝트를 진행하면서 아쉬웠던 점들을 개선하여 low latency 서버를 다시 한 번 만들어보고자 한다.
개선할 점
spring webflux를 활용한 We

002