대화 찾기
모든 대화
콜라츠에는 partial def가 정직한 답이다
Lean은 재귀 def를 정의로 받아들이기 전에 그것이 끝난다는 것을 알아야 한다. 구조적 재귀는 알아서 찾는다. 아니면 정초 재귀를 시도하고, 사람은 termination_by로 측도를 지정하고 decreasing_by로…
열마다 새로 할당하던 루프
Julia에서 슬라이싱은 복사를 해요. 알고 있었는데 루프 안에서는 깜빡했어요. 행렬의 열을 돌면서 j마다 s += sum(A[:, j])를 하는 함수를 예로 들어 볼게요. A[:, j]가 매번 새 벡터를 만들고, 더하고,…
업그레이드 가능하다는 건 스토리지 레이아웃이 영원하다는 뜻이다
프록시 패턴이라는 말을 들으면 불변성 문제가 사라졌다고 생각하는 사람이 많습니다. 사라진 게 아니라 옮겨 갔습니다. 프록시가 상태를 들고 delegatecall로 호출을 넘기므로 구현 쪽 코드는 프록시의 스토리지 위에서 돕니…
SilentlyContinue는 철자만 나아진 On Error Resume Next
물려받은 워크북에서 물려받은 PowerShell 스크립트로 넘어왔더니 옛 친구가 새 옷을 입고 있네요. cmdlet 호출 절반에는 -ErrorAction SilentlyContinue, 나머지에는 2>$null이 붙어 있어요…
Common Lisp 핸들러가 그냥 반환하면 처리를 거절한 것이다
깔끔하게 줄였네요. 그래도 그 안에 무슨 약속이 들어 있는지는 봐야겠어요. 래퍼 매크로가 파서 둘레에 핸들러를 설치하고, 파서는 필드가 빠지면 컨디션을 시그널해요. 핸들러는 메모를 남기고 정상적으로 반환해요. Common L…
tryEval이 일부러 망가뜨려 둔 패키지를 통과시켰어요
제 sweep은 registry 항목마다 tryEval로 감싸서 success가 false인 것들을 나열해요. tzshift를 넣으면 version 줄을 가리키면서 리스트가 와야 하는데 문자열이 왔다는 에러로 죽어요. tzs…
멈춘 테스트는 print보다 덤프로 읽는 게 낫다
예전에는 테스트가 멈추면 fmt.Println을 여기저기 넣고 다시 돌렸어요. 요즘은 다르게 해요. 타임아웃을 짧게 걸어 두면, 시간이 다 됐을 때 testing 패키지가 패닉을 내면서 모든 고루틴의 스택을 찍어 줘요. go…
컴파일러는 왜 부호 있는 오버플로 검사를 지웠을까?
부호 있는 int에 대한 if (x + 1 < x)는 오버플로 방어가 아니다. C에서 부호 있는 정수 오버플로는 정의되지 않은 동작이므로, 컴파일러는 x + 1이 절대 넘치지 않는다고 가정하고 조건을 거짓으로 결론 내린 뒤…
use 체인 줄마다 붙는 `result.map_error`
use와 result.try 조합은 Gleam에서 제일 좋아하는 부분인데, 요즘 조금 미워지기 시작했어요. 단계마다 다른 모듈을 부르고 모듈마다 자기 오류 타입이 있으니, 줄마다 result.map_error를 달고 다녀요.…
에러 없이 끝난 rows.Next 루프
database/sql로 만든 작은 도구가 목록을 반만 돌려줬어. 에러 없이. 코드는 이래. 컨텍스트에 데드라인이 있었어. 가져오는 도중에 데드라인이 지나서 rows.Next()가 false를 줬고, 루프가 끝났고, 함수는…
상태 플래그 하나를 |=로 지웠더니 전부 지워졌다
쓰기 1로 지우는 상태 레지스터에 |=를 쓰면 이름 붙인 비트보다 더 많이 지워진다. 오버런 플래그는 1을 써야 지워진다. 0을 쓰면 아무 일도 없다. UART_SR |= SR_ORE는 먼저 레지스터 전체를 읽는다. 그 순간…
체력바 하나를 빨갛게 했더니 전부 빨개졌다
이번엔 Godot UI에서 공유 리소스에 당했어요. 작은 프로토타입의 유닛마다 체력바 씬이 붙어 있는데, 채움 부분에 StyleBoxFlat 오버라이드를 건 ProgressBar예요. 체력이 25 아래로 떨어지면 그 바 하나…
레이블은 바뀌었는데 화면에도 보였을까요?
데이터가 도착하고 리액션이 레이블을 Loading에서 Calculating으로 바꿔요. 긴 동기 계산이 돌아요. 레이블이 Done이 돼요. 사용자가 세 레이블을 순서대로 다 봤겠거니 하기 쉬운데, 저는 가운데 것이 화면에 뜨…
타일을 거절하면 팔레트 위치도 넘어가야 할까요?
Lua에서 코루틴을 만들기만 해서는 아직 아무것도 돌지 않아요. 호스트가 coroutine.resume을 불러야 생성기가 돌기 시작하고, 제안을 명시적으로 yield하는 지점까지 가요. 한 번에 타일 하나씩이에요. 빨간 타일…
문자열로 온 count(*)와 121건
할 일 목록 화면이에요. 상단에 총 12건이 떠 있고, 제가 할 일을 하나 추가해요. 서버 응답을 기다리지 않고 숫자부터 올리려고 total + 1을 했는데, 화면에 총 121건이 떴어요. (순간 할 일이 백 개 넘게 생긴…
빈 팔레트에 따로 케이스가 필요할까요?
스와치 편집기에서 빈 색 목록은 서로 다른 두 가지 뜻일 수 있어서, Save할 때 둘을 구분할 수 있으면 좋겠어요. 색이 유효한지는 여기서 다루지 않아요. 편집기가 받아들인 색은 모두 유효하다고 볼게요. 새로 연 스와치 편…
아무도 부탁하지 않은 배열
CoffeeScript는 모든 함수에서 마지막 식을 반환하고, for 루프도 식입니다. 그래서 부수 효과만을 위해 쓴 루프로 끝나는 핸들러는, 매 반복의 값을 배열에 모아 반환하는 JavaScript로 컴파일됩니다. 그 배열…
getItem이 돌려주는 null과 ReScript external
ReScript 검사기는 external이 JavaScript 함수가 무엇을 돌려주는지 알려 주는 그 줄까지만 엄격해요. 그다음부터는 그냥 믿어요. getItem을 string을 돌려준다고 바인딩하면 모든 호출자가 결과를 문…
같은 인스턴스를 가리키는 인터페이스 참조와 객체 참조
오래된 Delphi 코드에서 제가 가장 자주 만나는 수명 실수는 한 인스턴스에 두 가지 소유 규칙을 섞는 데서 나옵니다. TInterfacedObject를 상속한 클래스는 인터페이스 참조 카운트가 0이 될 때 해제됩니다. 클…
C 포인터에 .?를 쓰는 것은 단언이다
C에서 돌아온 포인터에 쓰는 .?는 검사가 아니라 단언입니다. 여기서 널은 불가능하다고 말하는 것입니다. 안전 검사 빌드에서 널이면 패닉이 나고, ReleaseFast나 ReleaseSmall에서는 정의되지 않은 동작입니다.…
