프로그래밍

펑터를 넘어서, 모나드까지

TypeScript로 이해하는 어플리케이티브 펑터와 모나드

Feb 07, 2026

우리는 왜 어떤 코드를 읽기 쉽다고 느낄까

개발자의 직관과 코드 가독성, 그리고 뇌과학

Jan 30, 2026

타입 시스템은 왜 증명처럼 동작하는가

타입 검사를 컴파일 통과로만 보던 시선에서, 논리로 읽는 타입 시스템까지

Jan 25, 2026

상태에서 관계로: 선언적 오버레이 패턴(Declarative Overlay Pattern)

overlay-kit으로 배우는 선형적 정보 흐름과 인지 부하 재분배

Oct 07, 2025

선언적 프로그래밍에 대한 착각과 오해

선언형 코드는 문법이 아니라 사고방식의 문제다

Sep 07, 2025

[번역] 프로그래머를 위한 카테고리 이론 - 11. 선언적 프로그래밍

카테고리적 사고가 명세 중심 코드를 가능하게 하는 방식

Dec 25, 2024

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

펑터 사이를 잇는 변환, 구조적 일관성을 보장하는 조건

Jun 01, 2024

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

지수 객체와 커링으로 이해하는 함수 타입

Apr 18, 2024

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

항등과 합성 보존, Functor 법칙이 필요한 이유

Apr 02, 2024

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

구조를 보존한 채 맥락을 옮기는 매핑의 규칙

Mar 19, 2024

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

대수적 데이터 타입을 카테고리적 시선으로 재해석하기

Mar 05, 2024

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

곱 타입과 합 타입을 보편적 구성으로 다시 읽기

Feb 27, 2024

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

부수효과를 합성 가능하게 만드는 모나드의 출발점

Feb 20, 2024

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

순서 집합, 모노이드, 그리고 다양한 카테고리들

Feb 13, 2024

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

타입 시스템과 함수 합성으로 이해하는 카테고리의 기초 문법

Feb 06, 2024

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

대상보다 관계로 사고하는 법, 합성의 관점으로 시작하기

Jan 30, 2024

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

왜 지금 프로그래머에게 카테고리 이론이 필요한가

Jan 30, 2024

추상이란 무엇일까

좋은 추상화는 구현보다 어렵다

Jan 15, 2023

[tsconfig의 모든 것] Compiler options / Emit

빌드 결과물의 형태를 제어하는 옵션들, 출력 전략을 설계하는 법

Oct 30, 2021

[tsconfig의 모든 것] Compiler options / Modules

모듈 해석부터 경로 매핑까지, import 동작을 결정하는 컴파일러 옵션

Aug 22, 2021

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

타입 검사의 강도와 안정성, 실무에서 체감되는 옵션들의 차이

Aug 08, 2021

[tsconfig의 모든 것] Root fields

복붙하던 tsconfig를 다시 읽다 - 루트 필드가 만드는 프로젝트의 기준점

Jul 30, 2021

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

백트래킹과 오토마타로 보는 정규 표현식의 한계

May 07, 2021

SVG 도넛 차트의 원리 - 삼각함수와 수학적 접근

SVG clipPath로 도넛 차트와 애니메이션 만들기

Dec 12, 2020

타입스크립트로 추상화하는 컴포넌트 설계 전략

제네릭과 타입 추론을 활용한 유연한 React 컴포넌트 설계

Nov 28, 2020

정규식은 어떻게 사용되는 것일까?

자주 쓰는 정규식 패턴 몇 가지

Sep 15, 2020

불규칙 속에서 규칙을 찾아내는 정규 표현식

정규식이 패턴을 인식하는 방식

Aug 10, 2020

CORS는 왜 이렇게 우리를 힘들게 하는걸까?

웹 보안과 개발자의 충돌, CORS를 이해해보자

May 21, 2020

Hexo에서 Gatsby로 블로그 마이그레이션 야크쉐이빙 후기

기능 하나 추가하다 블로그를 통째로 다시 만든 이야기

May 09, 2020

프론트엔드와 백엔드가 소통하는 엔드포인트, RESTful API

표현과 행위 사이, REST의 철학을 이해하다

Apr 07, 2020

서버의 상태를 알려주는 HTTP 상태 코드

인터넷의 질서를 만드는 작은 숫자들

Mar 15, 2020

어떻게 하면 안전하게 함수를 합성할 수 있을까?

펑터와 모나드로 함수 합성의 실패를 다루는 법

Jan 27, 2020

변하지 않는 상태를 유지하는 방법, 불변성(Immutable)

변하지 않는 데이터를 쓰면 무엇이 달라지는가

Jan 05, 2020

수학에서 기원한 프로그래밍 패러다임, 순수 함수

순수 함수가 코드를 단순하게 만드는 이유

Dec 29, 2019

기존의 사고 방식을 깨부수는 함수형 사고

명령형에서 선언형으로, 프로그래밍 사고를 전환하는 법

Dec 15, 2019

사이 좋게 네트워크를 나눠 쓰는 방법, TCP의 혼잡 제어

윈도우 크기 조절로 네트워크 혼잡을 다루는 TCP의 방법

Nov 26, 2019

패킷의 흐름과 오류를 제어하는 TCP

TCP가 패킷을 안전하게 보내는 법, 흐름 제어와 오류 제어 기법 정리

Nov 22, 2019

TCP가 연결을 생성하고 종료하는 방법, 핸드쉐이크

TCP는 어떻게 신뢰성 있는 연결을 보장할까?

Nov 17, 2019

TCP의 헤더에는 어떤 정보들이 담겨있는걸까?

패킷 교환부터 체크섬까지, TCP 헤더 필드 하나씩 살펴보기

Nov 10, 2019

수학과 함께 복잡한 문제를 단순하게 만들자

수학이 어렵다고? 패턴만 봐도 문제 해결이 쉬워진다

Oct 30, 2019

[JS 프로토타입] 프로토타입을 사용하여 상속하기

자바스크립트에서 상속이 실제로 작동하는 방식, 프로토타입 체인

Oct 27, 2019

[JS 프로토타입] 클래스보다 깊은 세계, 자바스크립트 프로토타입 완전 정복

클래스 문법 뒤에 숨겨진 자바스크립트의 진짜 객체 생성 원리

Oct 23, 2019

최소 값과 최대 값을 빠르게 찾을 수 있게 도와주는 힙(Heap)

힙으로 O(log n)에 최솟값과 최댓값 찾기

Oct 12, 2019

HTTP/3는 왜 UDP를 선택한 것일까?

HTTP/3가 TCP 대신 UDP를 선택한 이유

Oct 08, 2019

동기(Synchronous)는 정확히 무엇을 의미하는걸까?

실무에서 헷갈리기 쉬운 동기와 비동기의 개념 정리

Sep 19, 2019

커밋 히스토리를 이쁘게 단장하자

Merge, Squash, Rebase 각각 언제 쓰면 좋을까

Aug 30, 2019

알고 보면 재밌는 객체 지향 프로그래밍, OOP 흝어보기

클래스, 상속, 다형성으로 보는 OOP의 기본 개념

Aug 24, 2019

[JavaScript 오디오 이펙터 만들기] 오디오 이펙터로 나만의 소리 만들기

Logic Pro, Pro Tools처럼? 웹에서 오디오 이펙트 구현하기

Aug 21, 2019

[JavaScript 오디오 이펙터 만들기] 소리의 흐름을 파악하자

GainNode부터 시작하는 오디오 이펙터 개발

Aug 19, 2019

실시간 데이터의 평균을 효율적으로 구하기

데이터가 많아질수록 평균 계산이 느려진다고? 이렇게 해결하자

Aug 11, 2019

Webpack Watch의 메모리 누수 고치기

Chrome DevTools와 Heap Snapshot으로 메모리 누수 추적하기

Aug 08, 2019

[번역] 로우 레벨로 살펴보는 Node.js 이벤트 루프

Aug 01, 2019

Git 뉴비를 위한 기초 사용법 - 버전 관리

브랜치, 머지, 리베이스로 버전 관리하기

Jul 28, 2019

Git 뉴비를 위한 기초 사용법 - 시작하기

Git이 어려운 당신을 위한, 가장 쉬운 첫걸음

Jul 25, 2019

개발자는 수학을 잘해야할까?

수학을 잘해야 좋은 개발자가 되는 건 아니지만

Jul 17, 2019

컴퓨터가 만드는 랜덤은 정말로 랜덤할까?

중앙제곱법, 선형합동법, 메르센 트위스터로 보는 난수 생성 알고리즘

Jul 14, 2019

컴퓨터는 어떻게 소리를 들을까?

샘플링, 비트 레이트, Web Audio API로 보는 소리의 디지털 변환

Jul 10, 2019

PWA 하루만에 도입하기

서비스 워커, 웹 푸시, 캐싱까지 직접 구현한 PWA 도입기

Jul 06, 2019

V8 엔진은 어떻게 내 코드를 실행하는 걸까?

바이트 코드부터 최적화 컴파일까지, V8 엔진의 실행 과정

Jun 28, 2019

JavaScript와 함께 해시테이블을 파헤쳐보자

해시 함수, 충돌 해결, 테이블 크기 조정까지

Jun 25, 2019

우리 집에서 구글까지 가는 길

매일 사용하는 인터넷, 그 속을 들여다보자

Jun 22, 2019

JavaScript의 let과 const, 그리고 TDZ

V8 엔진을 뜯어보며 살펴보는 JavaScript 변수의 내부 동작

Jun 18, 2019

[번역] JavaScript 배열(Array)의 발전과 성능에 대해서 자세히 알아보기

Jun 15, 2019

AWS와 함께 간단하게 HTTP/2 적용하기

HTTP/2의 장점과 AWS에서 쉽게 활성화하는 법

Jun 13, 2019

클라이언트 사이드 렌더링 최적화

CSR의 SEO 문제를 렌더링으로 해결하는 법

Jun 03, 2019

TypeScript와 함께 간단한 인공 신경망 만들기

뉴런, 레이어, Backpropagation까지 직접 구현해보는 ANN

Feb 26, 2019

정렬 알고리즘의 모든 것 (Bubble, Selection, Insertion, Merge, Quick)

정렬 알고리즘의 원리와 시간 복잡도 분석

Oct 13, 2018

Vue Server Side Rendering

Vue SSR의 렌더링 과정과 실전 구축, 운영 경험

Sep 25, 2018

Universal Server Side Rendering이란?

SSR로 SEO와 초기 로딩 속도를 개선하는 법

Sep 25, 2018

[Deep Learning 시리즈] Backpropagation, 역전파 알아보기

오차를 줄이기 위해 신경망이 값을 조정하는 과정

Jul 19, 2018

[Deep Learning 시리즈] 딥러닝이란 무엇일까?

퍼셉트론부터 딥러닝까지, 신경망의 짧은 역사

Jul 17, 2018

페이팔의 Express Checkout Restful API 사용하기

페이팔 결제 연동, 어떻게 구현할 수 있을까?

May 14, 2017

[JavaScript로 중력 구현하기] 2. 코딩하기

만유인력 법칙을 적용한 중력 시뮬레이션

May 06, 2017

[JavaScript로 중력 구현하기] 1. 중력이란 무엇일까?

중력은 어떻게 공간을 휘게 만드는가?

May 06, 2017

[JavaScript로 천체 구현하기] 행성의 움직임을 구현해보자

케플러 방정식을 활용한 천체 시뮬레이션 구현

May 03, 2017

[JavaScript로 천체 구현하기] 케플러 궤도 요소 알아보기

천문학과 수학을 몰라도 이해할 수 있는 케플러 궤도 요소 가이드

May 03, 2017