정규식과 함께 생산성 200%, 2x 엔지니어가 되어보자

이 강의에는 정규식이 제공하는 간단한 기능들과, 필자가 실무에서 직접 접했던 문제들을 어떻게 정규식을 사용하여 효율적으로 해결할 수 있었는지에 대한 내용을 담았다. 더 나아가 단순히 정규식의 기능만을 나열하는 것이 아니라 정규식이라는 기술을 누가, 어떠한 이유로 만들게 되었는지 그 원리까지 설명하고 있다.

지금 프로그래밍을 하고 있는 당신은 누구인가

AI는 우리의 생활을 크게 변화시키고 있다. ChatGPT 모바일 앱을 사용하면서 음성으로 대화를 주고 받다보면 이제는 영화 아이언맨에 나오는 인공지능 비서 자비스가 현실화된 것이 아닌가 하는 착각마저도 일으킬 정도이다.

2024 Jun 23

[번역] 프로그래머를 위한 카테고리 이론 - 10. 자연 변환

필자는 지금까지 카테고리 사이의 구조를 보존하는 사상으로써의 펑터에 대해 이야기하였다. 펑터는 한 카테고리를 다른 카테고리에 포함(Embeds)한다. 이는 결국 펑터가 여러 대상을 하나로 합칠 수는 있지만, 절대 구조를 변형하지는 않는다는 것을 의미한다. 펑터에 대해 이해하는 방법 중 하나는 함자를 사용하여 하나의 카테고리를 다른 카테고리 내부에서 모델링해보는 것이다.

2024 Jun 01

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

지금까지는 함수 타입의 의미를 간단하게만 설명해왔다. 하지만 조금 더 자세히 들여다보면 함수 타입은 다른 타입과는 약간 다른 특성을 가지고 있다.

2024 Apr 18

[번역] 프로그래머를 위한 카테고리 이론 - 8. 펑터의 특성

이제 펑터가 무엇인지 알았으니, 작은 펑터로부터 큰 펑터를 구축해나가는 방법에 대해서 살펴보도록 하겠다. 여기서 특히 흥미로운 부분은 카테고리 내 대상 간의 매핑에 대당하는 타입의 생성자가 확장되어 사상 간의 매핑을 포함하는 펑터가 되는 과정을 볼 수 있다는 것이다.

2024 Apr 02

[번역] 프로그래머를 위한 카테고리 이론 - 7. 펑터

이번 챕터에서는 펑터(Functor)에 대해서 이야기를 해보려고 한다. 펑터는 간단하지만 매우 강력한 개념이며 카테고리 이론은 이처럼 간단하지만 강력한 아이디어로 가득 차있다.

2024 Mar 19

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

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

2024 Mar 05

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

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

2024 Feb 27

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

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

2024 Feb 20

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

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

2024 Feb 13

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

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

2024 Feb 06

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

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

2024 Jan 30

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

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

2024 Jan 30

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

인간은 관계 속에서 살아가는 사회적 동물이라고 한다. 특히 사람들과의 관계 속에서 나 자신을 정의하는 특성이 강한 동양 문화권에서 살아가는 사람들은 타인의 시선과 평가를 의식하고 이에 따라 자신의 가치를 결정하는 실수를 흔히들 저지르고는 한다. 필자 또한 지난 3…

2023 Nov 21

인간은 무엇을 위해 움직이는가

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

2023 Oct 30

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

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

2023 May 07