Evans Library

개발자의 집필 공간.
표상에서 그치는 것이 아닌, 본질을 탐구하고 사유하는 삶.

[번역] 프로그래머를 위한 카테고리 이론 - 6. 단순한 대수적 타입

앞서 우리는 곱과 합이라는 두 가지 기본적인 방법을 통해 타입을 결합하는 것을 보았다. 사실 우리가 일상적인 프로그래밍에서 자주 접하는 데이터 구조는 이 두 가지 메커니즘만으로도 충분히 표현할 수 있다.

Mar 05, 2024

[번역] 프로그래머를 위한 카테고리 이론 - 5. 곱과 합

고대 그리스의 시인 에우리피데스가 “사귀는 친구를 보면 그 사람을 알 수 있다.”라고 말했듯이, 우리의 존재는 우리가 가진 관계를 통해 정의된다. 카테고리 이론에서는 이 개념이 더더욱 중요하다. 만약 우리가 어떤 카테고리 내에 존재하는 특정 대상에 대해 명확하게 설명하기 위해서는 그 대상과 다른 대상들과의 관계까지도 함께 보아야 하기 때문이다. 그리고 이러한 관계는 사상(Morphism)에 의해 정의된다. (물론 여기서 관계라 함은 항등 사상으로 표현되는 자기 자신과의 관계 또한 포함된다.)

Feb 27, 2024

[번역] 프로그래머를 위한 카테고리 이론 - 4. 크라이슬리 카테고리

우리는 지금까지 타입과 순수 함수들을 카테고리로 모델링하는 방법을 살펴봤다. 앞서 필자는 카테고리 이론에서 사이드 이펙트나 순수하지 않은 함수를 모델링하는 방법이 있다고 이야기했었는데, 어떠한 실행과정을 추적하거나 로깅하는 함수를 예시로 들어 이 방법에 대해 한번 살펴보도록 하자.

Feb 20, 2024

[번역] 프로그래머를 위한 카테고리 이론 - 3. 다양한 카테고리들

우리는 다양한 예시들을 연구해보면서 카테고리에 대한 진정한 이해에 한발짝 더 다가갈 수 있다. 카테고리는 매우 다양한 형태와 크기를 가지고 있기 때문에 종종 전혀 예상하지 못 했던 곳에서 나타나기도 한다. 일단 가장 간단한 것부터 한번 시작해보도록 하자.

Feb 13, 2024

[번역] 프로그래머를 위한 카테고리 이론 - 2. 타입과 함수

타입과 함수로 이루어진 카테고리는 프로그래밍에서 꽤나 중요한 역할을 한다. 자 이제 타입이라는 것이 무엇이며 왜 이런 개념이 필요한지에 대해 이야기를 해보자.

Feb 06, 2024

[번역] 프로그래머를 위한 카테고리 이론 - 1. 카테고리: 합성의 본질

카테고리는 놀라울 정도로 단순한 개념이다. 카테고리는 대상과 그 사이를 이어주는 화살표로 구성되기 때문에 그림으로 나타내기도 매우 쉽다. 대상은 원이나 점으로 그리면 되고, 화살표는 그냥 화살표로 그리면 된다. (쉬운 이해를 위해 객체를 돼지 모양으로 그리고 화살표는 폭죽으로 그릴 것이다.)

Jan 30, 2024

[번역] 프로그래머를 위한 카테고리 이론 - 1. 카테고리: 합성의 본질

[번역] 프로그래머를 위한 카테고리 이론 - 0. 서문

얼마 전부터 나는 프로그래머를 대상으로 하는 카테고리 이론에 대한 책을 작성하려는 아이디어를 떠올렸다. 즉 이 책은 컴퓨터 과학자가 아닌 프로그래머, 그리고 과학자보다는 엔지니어들을 대상으로 하는 책이다.

Jan 30, 2024

나는 타인의 평가에서 자유로울 수 있을까

인간은 관계 속에서 살아가는 사회적 동물이라고 한다. 특히 사람들과의 관계 속에서 나 자신을 정의하는 특성이 강한 동양 문화권에서 살아가는 사람들은 타인의 시선과 평가를 의식하고 이에 따라 자신의 가치를 결정하는 실수를 흔히들 저지르고는 한다. 필자 또한 지난 30여년 간 대한민국이라는 동아시아 국가의 문화 속에서 살아온 한 명의 인간인 만큼 이러한 관념에서 자유로울 수 없어, 타인의 평가에 대해 신경을 쓰지 않으려고 해도 어쩔 수 없이 이에 흔들리는 상황을 경험하고는 한다.

Nov 21, 2023

인간은 무엇을 위해 일하는가? – 동기 부여의 심리학

이번 포스팅에서는 지난 3년 간 IC(Individual Contributor)가 아닌 한 명의 리더로써 좋은 리더란 무엇인지, 또 좋은 리더가 되려면 어떤 역량들이 필요한지에 대해 고민해봤던 내용에 대해서 간단하게 적어보려고 한다. 아무리 IC로써 일을 잘 했던 사람이라고 해도 이 경험이 좋은 리더로써의 역량으로 이어지리란 법은 없기 때문에 자연스럽게 이런 고민을 시작하게 되었던 것 같다.

Oct 30, 2023

시장에서 살아남는 사람이 되기

이번 포스팅에서는 시장 경제에 참여하는 한 명의 플레이어로써 필자가 생각해온 고민들에 대해 한번 담담히 풀어보려고 한다. 지금까지 필자는 개인의 성장과 모티베이션 그리고 철학에 대한 이야기를 많이 해왔지만, 이번 포스팅에서는 지금까지와는 조금 다른 현실적인 이야기를 해보려고 한다. 그저 열심히 하다보면 언젠가 잘 될 것이라는 말보다는 정말 현실적으로 도움이 될 만한 고민을 해볼 수 있는 아젠다를 던져본다.

May 07, 2023

추상이란 무엇일까

이번 포스팅에서는 추상(Abstraction)에 대한 이야기를 한번 해보려고 한다. 추상화는 비단 어플리케이션 설계 뿐만 아니라 컴퓨터 공학 전체에서 굉장히 중요한 자리를 차지하고 있는 개념이지만, 애초에 추상이라는 개념 자체도 워낙 추상적이라 이제 갓 개발을 시작한 많은 개발자들은 이 개념을 이해하는데 많은 혼란을 겪고는 한다. 이 추상이라는 개념은 복잡한 구조의 무언가를 만들어야 할 때 특히 빛을 발하는 개념이기 때문에, 거대하고 복잡한 어플리케이션을 설계할 때는 반드시 알고 있어야하는 개념이기도 하다.

Jan 15, 2023

토스에서 일하며 깨달은 성장과 리더십

이번 포스팅에서는 필자가 지난 2년 반 동안 몸 담았던 직장인 토스에서 경험하고 느꼈던 것들에 대해서 한번 편하게 적어보려고 한다. 사실 토스에서의 퇴사는 이미 3월에 진행했지만, 그 동안 새로운 곳에서의 할 일도 많았고 개인적인 일들도 겹쳐서 3개월이 지난 지금에서야 회고를 진행하게 되었다. 필자도 7년 정도 개발자로 일을 하면서 이 회사, 저 회사를 다녀봤지만 확실히 토스팀에서의 기억은 강렬하게 남는다. 워낙 문화가 특이한 조직이기도 했고, 함께 일했던 동료들도 훌륭했으며, 개인적으로도 그저 한 명의 개발자가 아닌 팀을 성장시킬 수 있는 개발자로 성장할 수 있었던 기회도 얻었기 때문이다.

May 07, 2022

개발자가 알아야 할 스톡옵션의 모든 것

이번 포스팅에서는 평소와는 조금 다르게 필자의 철학이나 기술적인 내용이 아닌 내용을 이야기해보려고 한다. 바로 IT 업계에서 일하는 사람이라면 한번쯤은 들어보았을만한 그 녀석, **스톡옵션(Stock Option)**에 대한 이야기이다. 최근 계속 되는 개발자 채용난으로 인해 꽤나 많은 기업들이 채용에 대한 보상으로 사이닝 보너스나 스톡옵션을 내거는 경우가 많아지고 있는데, 정작 스톡옵션이 무엇인지, 어떻게 나에게 이익을 가져다 줄 수 있는 녀석인지, 세금을 얼마나 내야하는지에 대해서는 잘 모르고 덥썩 받는 경우가 왕왕 있다.

Dec 04, 2021

[tsconfig의 모든 것] Compiler options / Emit

이번 포스팅에서는 지난 [tsconfig의 모든 것] Compiler options / Modules 포스팅에 이어 의 컴파일 옵션 중 출력 파일을 컨트롤 하는 옵션들을 소개할 예정이다.

Oct 30, 2021

[tsconfig의 모든 것] Compiler options / Emit

나만의 색깔을 찾는 방법 – 성장의 방향성을 설정하자

최근 개인적으로 이런 저런 멘토링을 하며 이력서 리뷰, 모의 면접을 진행하는 등 개발자로써 일을 시작한 지 오래 되지 않으신 분들의 고민을 듣고 궁금한 점들을 물어보며 함께 성장의 방향성에 대해서 논의하는 경험이 점점 잦아지고 있다. 이런 경험이 반복되다보니 이 분들이 어려움을 겪고 있는 상황에 대해서 어느 정도 패턴이 보이기 시작했는데, 오늘은 이 패턴에 대한 이야기를 조금 해보려고 한다.

Sep 10, 2021