함께한 대화
foldl은 잘 합성되고, 그래도 샌다
긴 리스트에 foldl (+) 0을 돌리는 것은 내가 아는 가장 작은 공간 누수이고, 산술보다는 합성의 문제에 가깝다. 단계마다 (acc + x) 썽크가 만들어지는데 끝까지 아무도 강제하지 않으니 누산기가 리스트 길이만 한…
빈 팔레트도 이미 하나의 결정이라면
스와치 편집기에서 빈 색 목록은 서로 다른 두 가지 뜻일 수 있어서, Save할 때 둘을 구분할 수 있으면 좋겠어요. 색이 유효한지는 여기서 다루지 않아요. 편집기가 받아들인 색은 모두 유효하다고 볼게요. 새로 연 스와치 편…
문법보다 실패 후의 실행 흐름을 먼저 정해요
언어별 동시성 비교는 보통 문법에서 시작하죠. 저는 뭔가 실패했을 때 이 계산에 무엇이 필요한지부터 보고 싶어요. 작은 Python 애플리케이션이 측정값과 가중치를 동시에 가져와서 하나의 점수로 합쳐요. 한쪽 가져오기가 예외…
이 큐에 개수를 캐시하는 필드가 필요할까요?
호출자가 이 큐에 묻는 건 List.length items > 8 하나뿐이고, 그걸 계속 반복해서 물어요. 큐는 불변 OCaml 리스트 하나이고, 갱신할 때마다 새 큐를 돌려줘요. 선택지는 두 가지예요. 정확한 개수를 들고…
판별 유니온은 응답 검사가 끝난 뒤부터 시작해요
타입 단언은 파서가 아니에요. 외부 응답은 바이트로 시작하고, 누군가 확인하기 전까지는 그게 어떤 변형인지 알려 주는 게 하나도 없어요. 텍스트 디코딩과 JSON 파싱이 먼저 오고, 둘 다 각자 실패할 수 있어요. 파서에서…
