Evans Library

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

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

타입과 함수로 이루어진 카테고리는 프로그래밍에서 꽤나 중요한 역할을 한다. 자 이제 타입이라는 것이 무엇이며 왜 이런 개념이 필요한지에 대해 이야기를 해보자. 2.1 어떤 이들에게 타입이 필요한가? 정적타입과 동적타입, 그리고 강타입과 약타입의 각각의 장단점에 대해서는 약간의 논란이 존재한다. 한번 간단한 사고실험을 통해 이 선택들에 대해 한번 상상해보자. 여기 수백만 마리의 원숭이가 컴퓨터 키보드 앞에 앉아 행복한 기분을 느끼며 아무런 키나 랜덤하게 누르고, 프로그램을 작성하고, 컴파일하고, 실행시키고 있다. 만약 원숭이들이 기…

Feb 06, 2024

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

카테고리는 놀라울 정도로 단순한 개념이다. 카테고리는 대상과 그 사이를 이어주는 화살표로 구성되기 때문에 그림으로 나타내기도 매우 쉽다. 대상은 원이나 점으로 그리면 되고, 화살표는 그냥 화살표로 그리면 된다. (쉬운 이해를 위해 객체를 돼지 모양으로 그리고 화살표는 폭죽으로 그릴 것이다.) 하지만 카테고리의 본질은 합성(Composition)이다. 취향에 따라서 합성의 본질은 카테고리라고 말할 수도 있겠다. 만약 카테고리 내에 대상 A에서 다른 대상 B로 향하는 화살표와 대상 B에서 다른 대상 C로 향하는 화살표가 존재한다면, …

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 포스팅에 이어 의 컴파일 옵션 중 출력 파일을 컨트롤 하는 옵션들을 소개할 예정이다. 이 옵션들은 타입스크립트에서만 지원되는 문법들을 자바스크립트로 어떻게 표현할 것인지, 혹은 ES6 이상의 문법을 ES5로 트랜스파일링할 때 어떻게 표현할 것인지와 같이 타입스크립트로 작성된 코드를 컴파일한 이후에 생성되는 자바스크립트 코드의 모습을 결정하는 옵션들이다. 물론 Babel과 같은 트랜스파일러가 제공해주는 기능과 중복되는 부분이 있기 …

Oct 30, 2021

[tsconfig의 모든 것] Compiler options / Emit

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

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

Sep 10, 2021

[tsconfig의 모든 것] Compiler options / Modules

이번 포스팅에서는 지난 [tsconfig의 모든 것] Compiler options / Type Checking 포스팅에 이어 의 컴파일 옵션 중 모듈과 관련된 옵션들에 대한 이야기를 해보려고 한다. 이 옵션들은 타입스크립트를 컴파일할 때 모듈들이 어떤 모듈 시스템을 따르도록 할 것인지, 어떤 경로에 있는 파일들을 컴파일 할 것인지, 빌드된 자바스크립트 파일들이 어떤 모듈 방식을 따르게 할 것인지 등을 컨트롤 할 수 있는 것들인데, 일반적인 서비스를 만드는 경우보다는 타입스크립트로 작성된 라이브러리를 만들 때 자주 다루게 되는 옵…

Aug 22, 2021

[tsconfig의 모든 것] Compiler options / Modules

[tsconfig의 모든 것] Compiler options / Type Checking

이번 포스팅에서는 의 컴파일 옵션의 타입 체킹 옵션들에 대한 이야기를 해보려고 한다. 사실 타입스크립트를 사용하는 이유는 대부분 자바스크립트가 제공하지 않는 강력한 타입 시스템이 가져다 주는 안정성 때문이므로 수없이 많은 컴파일 옵션들 중에서도 타입 체크에 대한 옵션들은 타입스크립트의 가장 핵심 기능을 관리하는 옵션들이라고 할 수 있다. 그만큼 타입스크립트는 “이런 코드는 금지야”라는 느낌의 단순한 옵션부터 타입 시스템의 원리를 알고 있어야 동작을 제대로 이해할 수 있는 옵션까지, 굉장히 다양한 옵션들을 제공하고 있다. 대부분의 …

Aug 08, 2021

[tsconfig의 모든 것] Compiler options / Type Checking

[tsconfig의 모든 것] Root fields

필자가 타입스크립트를 사용하게 된 지도 어언 4년 정도가 지났다. 필자는 자바스크립트에는 없던 타입스크립트가 제공하는 강력한 정적 타입 검사 기능에 흠뻑 빠져버렸고, 지금까지 꽤 많은 프로젝트들을 타입스크립트로 작성해왔다. 그러다가 며칠 전 타입스크립트로 작성한 프로젝트를 새롭게 만들게 되면서 평소처럼 자연스럽게 를 세팅하고 있었는데, 뭔가 마음처럼 잘 안되어서 tsconfig 공식 문서를 한참 들여다보던 중 문득 이런 생각이 들었다. 필자만 그런 것일 수도 있지만, 사실 이런저런 프로젝트를 만들다보면 를 직접 손으로 한땀 한땀 …

Jul 30, 2021

정규 표현식으로 HTML을 파싱할 수 없는 이유

이번 포스팅에서는 이름만 들어도 땀이 나기 시작하는 마성의 그 녀석, 정규 표현식에 대한 세 번째 이야기를 해보려고 한다. 필자도 알고 여러분도 알고 세상 모두가 다 알다시피 정규 표현식은 평소 악랄한 문법으로 유명한 녀석이기 때문에, 지난 번 필자가 썼던 불규칙 속에서 규칙을 찾아내는 정규 표현식 포스팅처럼 정규 표현식의 문법을 분석하고 사용법을 알려주는 포스팅들 또한 굉장히 많다. 반면 그 악랄한 문법에 익숙해지고 나면 문자열과 관련된 굉장히 다양한 문제를 짧은 정규 표현식만으로 빠르게 해결할 수 있기 때문에, 개발자들에게는 …

May 07, 2021