상세 차례 — Lowent 매뉴얼

본문으로 건너뛰기

Lowent 매뉴얼←↑

상세 차례

장 아래 절까지 펼친 차례다. 찾는 자리를 바로 짚을 때 쓴다.

제1부 — 시작

1 Lowent 는 무엇을 하려는 언어인가

1.1머리만 읽고 알 수 있는가 1.2다섯 가지 생각 1.3한 뜻에 한 표기 1.4이 언어의 처지 1.5이 책을 읽는 법

2 첫 프로그램 — 짓고, 돌리고, 거절당하기

2.1도구 짓기 2.2hello, entropy 2.3두 가지로 돌린다 2.4계약이 멈추는 모습 2.5거절당하기 2.6모양을 고쳐 주는 --fmt 2.7인자와 권한 2.8흔한 실수 2.9이 장의 문법 한눈에

3 겉모습 — 마침표, 블록, 절의 차례

3.1이름이 먼저, 인자가 뒤 3.2떨어진 마침표가 닫는다 3.3블록은 언제나 do … end 3.4주석과 리터럴 3.5이름 3.6낱말은 예산이다 3.7expr 섬의 경계 3.8op 머리의 절 차례 3.9흔한 실수 3.10이 장의 문법 한눈에

제2부 — 값과 흐름

4 수 — 폭이 정해진 정수와 부동소수

4.1정수 타입은 이름에 폭을 적는다 4.2넓히기는 자동, 좁히기는 적는다 4.3넘치면 멈춘다 4.4나눗셈과 나머지 4.5참거짓은 수가 아니다 4.6비트 연산 4.7부동소수 4.8흔한 실수 4.9이 장의 문법 한눈에

5 op — fn 과 proc

5.1두 갈래 5.2순수함은 관측으로 정한다 5.3fn 에는 effects 를 적지 않는다 5.4효과는 부르는 쪽으로 번진다 5.5매개변수와 반환 5.6neg 만 단항이다 5.7수식어 5.8흔한 실수 5.9이 장의 문법 한눈에

6 지역 — let 과 var

6.1바뀌는지는 낱말이 말한다 6.2타입은 적거나, 값에게 맡긴다 6.3값 없는 이름은 없다 6.4지역이 사는 범위 6.5if 는 값을 내지 않는다 6.6흔한 실수 6.7이 장의 문법 한눈에

7 흐름 — 갈래, 되풀이, 빠져나가기

7.1조건과 되풀이 7.2guard — 조건을 사실로 바꾼다 7.3모든 길이 값을 돌려준다 7.4match — 경우를 빠짐없이 7.5panic 은 효과다 7.6흔한 실수 7.7이 장의 문법 한눈에

8 식 — 전위 표기와 expr 섬

8.1전위 표기에는 외울 것이 없다 8.2expr 섬의 우선순위표 8.3섬 안에서 하지 못하는 것 8.4단락 평가로 조건을 지킨다 8.5번역할 때 계산되는 식 8.6흔한 실수 8.7이 장의 문법 한눈에

제3부 — 데이터

9 줄 — 배열과 슬라이스

9.1시작과 길이를 함께 갖는다 9.2쓰려면 mut slice 9.3창을 좁힌다 9.4계약이 경계 검사를 지운다 9.5흔한 실수 9.6이 장의 문법 한눈에

10 묶음 — struct 와 enum

10.1struct — 이름 붙은 칸의 모음 10.2enum — 여럿 중 하나 10.3갈래는 마침표로 닫는다 10.4자기 자신을 품을 수 없다 10.5흔한 실수 10.6이 장의 문법 한눈에

11 답을 담는 타입 — option 과 result

11.1option — 값이 있거나 없거나 11.2result 와 errors 절 11.3try — 실패를 위로 넘긴다 11.4두 채널 사이를 건넌다 11.5실패를 말하는 세 길 11.6패턴을 묶고 겹친다 11.7흔한 실수 11.8이 장의 문법 한눈에

12 빌리기 — ref 와 mut_ref

12.1두 가지 빌림 12.2쓰기 권한은 한 방향으로만 좁아진다 12.3읽기 여럿 또는 쓰기 하나 12.4빌림은 빌려준 값보다 오래 살 수 없다 12.5mut ref slice 는 없다 12.6흔한 실수 12.7이 장의 문법 한눈에

13 이름 붙인 타입 — type·newtype·range·cast

13.1type 은 별칭, newtype 은 새 타입 13.2range — 매개변수의 생김새가 된 계약 13.3cast — 값이 변할 수 있는 자리 13.4bits — 1 부터 64 비트까지 13.5바이트 배치를 못 박는다 13.6배치의 두 방향과 실패하는 뷰 13.7bitset — 작은 수의 집합 13.8흩어진 조각을 한 눈으로 — segments 13.9타입 낱말의 세 갈래 13.10흔한 실수 13.11이 장의 문법 한눈에

제4부 — 계약과 효과

14 계약 — 적고, 검사받고, 검사를 지운다

14.1계약은 검사되는 약속이다 14.2누구의 잘못인가 14.3계약이 검사를 지운다 14.4모든 원소에 대한 조건 14.5계약에 이름을 준다 14.6지금 판정할 수 있으면 지금 판정한다 14.7계약의 등급 14.8빌드 모드가 남은 검사를 정한다 14.9흔한 실수 14.10이 장의 문법 한눈에

15 효과 — op 이 세상에 남기는 자국

15.1효과는 닫힌 낱말이다 15.2효과는 부르는 쪽으로 번진다 15.3적어 놓고 안 하면 알린다 15.4효과 줄은 집합이다 15.5via — 타입 인자가 효과를 정한다 15.6순수함이 허락하는 것 15.7흔한 실수 15.8이 장의 문법 한눈에

16 권한 — 건네받는 힘

16.1권한의 종류 16.2권한은 사슬을 타고 내려간다 16.3효과와 권한은 짝이다 16.4있음이 아니라 종류다 16.5시작점이 받는 것 16.6흔한 실수 16.7이 장의 문법 한눈에

17 실패를 설계하기

17.1경계와 안쪽 17.2오류 열거형을 나누는 기준 17.3층을 올라가며 17.4정보를 버려도 되는 자리 17.5panic 을 써도 되는 자리 17.6흔한 실수 17.7이 장의 문법 한눈에

제5부 — 메모리

18 영역 — 값이 사는 곳과 한꺼번에 걷히는 메모리

18.1값이 사는 세 곳 18.2영역을 열고 자리를 얻는다 18.3영역을 건네받는다 18.4영역 밖으로 들고 나갈 수 없다 18.5뿌리마다 커서는 하나다 18.6자라는 뿌리 18.7영역 위의 스택 18.8흔한 실수 18.9이 장의 문법 한눈에

19 소유 — 없앨 책임은 하나에게

19.1owned 와 drop 19.2갈래가 만나는 자리 19.3해제와 완결 19.4운영체제가 치워 주기를 기대하지 않는다 19.5메모리 안전은 어느 강도로 보장되나 19.6흔한 실수 19.7이 장의 문법 한눈에

20 할당기와 고정 메모리

20.1할당기를 이루는 셋 20.2빌린 바이트를 잘라 준다 20.3할당기를 갈아 끼운다 20.4뿌리에서 곧장 깎는 기본 할당기 20.5조각을 늘리고 돌려준다 — grow 와 release 20.6표준 라이브러리에서 셋은 어디에 있나 20.7고정 창의 크기는 누가 정하나 20.8비트는 그대로, 읽는 법만 20.9흔한 실수 20.10이 장의 문법 한눈에

제6부 — 추상

21 모듈 — 감춘 것이 기본이다

21.1파일 하나, 모듈 하나 21.2들여오기 21.3무엇을 내보낼 수 있고, 어떻게 줄여 부르나 21.4검색 경로가 없다 21.5이름이 부딪히면 21.6최상위 선언의 차례는 무관하다 21.7흔한 실수 21.8이 장의 문법 한눈에

22 제네릭 — 번역 시점에 정해지는 매개변수

22.1값과 타입을 번역 시점에 받는다 22.2조합마다 실물이 만들어진다 22.3타입에 조건을 건다 22.4값을 넘기지 않고 타입이 들고 온다 22.5흔한 실수 22.6이 장의 문법 한눈에

23 트레이트 — 여러 타입이 지키는 한 가지 약속

23.1무엇에 쓰나 23.2타입에 붙은 op 과 method 23.3op 을 여럿 가진 트레이트 23.4서명에는 fn·proc 을 적지 않는다 23.5갖추지 못했을 때 23.6via self — 할당 효과만 더 적을 수 있다 23.7흔한 실수 23.8이 장의 문법 한눈에

24 pipe — 하려는 일만 한 줄씩

24.1같은 일, 두 가지 모양 24.2스테이지와 종결자 24.3한 번에 훑는 것은 정의다 24.4필요한 만큼만 읽는다 24.5이름이 같은 내장 map·filter 24.6흔한 실수 24.7이 장의 문법 한눈에

제7부 — 동시성

25 액터 — 상태를 가진 채 메시지로 사는 것

25.1선언하고, 만들고, 말을 건다 25.2메시지에 값을 싣는다 25.3우편함 — 넣기와 비우기 25.4터지게 두고 다시 세운다 25.5액터를 쓸 수 있는 자리 25.6권한을 든 액터와 상태에 둘 수 있는 것 25.7액터로 설계하기 — 계좌 둘 사이의 이체 25.8흔한 실수 25.9이 장의 문법 한눈에

26 태스크와 채널 — 묶인 흐름끼리 주고받기

26.1흐름은 블록에 묶인다 26.2채널 — 차례 있는 그릇 26.3적힌 것만 봐도 아는 교착 26.4흐름과 메모리 26.5아직 없는 것 26.6흔한 실수 26.7이 장의 문법 한눈에

27 병렬 되풀이와 원자 연산

27.1나눌 수 있다고 밝힌다 27.2처리기가 확인하는 세 조건 27.3모으는 연산은 결합적이어야 한다 27.4원자 연산 27.5기억 차례 27.6레인 — 값 여럿을 한 번에 셈한다 27.7자리를 어떻게 쓰는지 적는다 — access 27.8흔한 실수 27.9이 장의 문법 한눈에

제8부 — 바깥 세계

28 입출력과 파일

28.1표준출력 28.2파일을 통째로 읽는다 28.3열었으면 닫는다 28.4끝과 실패는 다른 답이다 28.5실패를 일부러 일으킨다 28.6흔한 실수 28.7이 장의 문법 한눈에

29 C 와 만나는 자리

29.1C 를 부른다 — 표시·권리·효과 줄 29.2경계를 건너는 타입 29.3C 가 Lowent 를 부른다 29.4되부름과 소유 29.5흔한 실수 29.6이 장의 문법 한눈에

30 하드웨어 — 레지스터, 인터럽트, 기계 명령

30.1레지스터 지도 30.2닿는 법은 번역에서 강제된다 30.3인터럽트 처리기 30.4기계가 감당하는 것 — build tier 30.5기계 명령 — asm 30.6흡수 경계 — unsafe 가 멈추는 자리 30.7기계가 가진 것을 쓸까 — --hw 30.8흔한 실수 30.9이 장의 문법 한눈에

31 짓고 시험하기 — 패키지, 구성, 시험, 대조

31.1매니페스트와 프로젝트 31.2의존은 해시로 고정한다 31.3빌드마다 다른 프로그램 — build option 과 config 31.4시험 31.5컴파일러를 검증하는 법 31.6느린 자리를 묻는다 31.7흔한 실수 31.8이 장의 문법 한눈에

제9부 — 표준 라이브러리

32 표준 라이브러리의 지도

32.1세 층 — 언어, 잎, 라이브러리 32.2무엇이 들어오는가 32.3층으로 본 지도 32.4파일 이름과 모듈 이름 32.5모든 모듈이 따르는 규약 32.6잎 op 의 목록 — 모듈 아래에 무엇이 있나 32.7흔한 실수 32.8이 장의 문법 한눈에

33 글자와 부호화 — strings·fmt·utf8·codec·hash

33.1자르고 찾고 조립한다 33.2UTF-8 — 치환 문자를 만들지 않는다 33.316진과 base64 33.4해시 — 세 가지 물음에 세 가지 답 33.5정규식 — 역추적하지 않는다 33.6흔한 실수 33.7이 장의 문법 한눈에

34 그릇과 정렬 — sortlib·sortgen·hashmap·vecgen·spsc

34.1u64 를 정렬하고 찾는다 34.2타입이 기준을 들고 온다 34.3호출자의 슬라이스 위의 해시맵 34.4자라는 제네릭 벡터 34.5흐름 사이로 값을 넘기는 링 버퍼 34.6그 밖의 그릇 34.7흔한 실수 34.8이 장의 문법 한눈에

35 저장소와 핸들 — pool·shard·budget·wire

35.1세대 핸들 35.2브랜드 — 풀을 섞지 못하게 35.3겹치지 않는 조각 — shard 35.4비트 예산 — budget 35.5비트 칸 — wire 35.6그 밖의 저장소 모듈 35.7흔한 실수 35.8이 장의 문법 한눈에

36 입출력·네트워크·시간·난수·암호

36.1버퍼링 출력 — 비우기를 잊으면 번역이 거절한다 36.2네트워크 — 핸들은 자원이다 36.3난수 — 재현되는 열과 운영체제 엔트로피 36.4시간 — 단조 시계와 벽시계 36.5HTTP 요청 파서 — 알맹이는 거절이다 36.6암호 — 쌓인 차례와 아직 없는 꼭대기 36.7흔한 실수 36.8이 장의 문법 한눈에

37 터미널 — term 과 tty

37.1term 은 화면에 쓰지 않는다 37.2바뀐 칸만 다시 그린다 37.3칸의 수는 바이트의 수가 아니다 37.4키를 읽는 것은 계산이다 37.5raw 모드는 권한이다 37.6무엇을 아직 안 지었나 37.7흔한 실수 37.8이 장의 문법 한눈에

제10부 — 근거: 무엇이 증명되었나

38 왜 증명하는가

38.1시험은 있음을, 증명은 없음을 38.2세 층을 겹친다 38.3무엇이 증명되어 있나 38.4증명하는 세 가지 방법 38.5이 부를 읽는 약속

39 수학 도구상자

39.1여섯 가지 도구 39.2집합과 관계 39.3부분 순서 — 비교할 수 없는 쌍 39.4격자와 join — 합칠 때 무엇을 고르나 39.5단조 함수와 고정점 — 분석은 왜 멈추는가 39.6귀납법과 불변식 — 도미노 39.7추상해석 — 값 대신 범위로 39.8기호 표 39.9도구들이 맞물리는 방식

40 수의 증명 — 넓히기, 좁히기, 나눗셈

40.1넓히기는 부분 순서다 40.2나눗셈과 나머지 40.3range 가 주는 정리 40.4멈춤을 정직하게 모델에 넣는다 40.5증명하지 않은 것

41 경계의 증명 — 구간, 관계, 행우선 주소

41.1구간으로 계산한다 41.2관계 — 구간이 못 하는 것 41.3네 단계 41.4행우선 증명 41.5증명을 신뢰하되, 신뢰를 검사로 받친다 41.6증명하지 않은 것

42 소유와 차용의 증명

42.1두 기계와 세 사건 42.2중심 정리 42.3거절되는 모양, 통과하는 모양 42.4모델을 넓히다가 구현의 결함을 찾았다 42.5모델과 구현 사이 42.6증명하지 않은 것

43 되풀이와 고정점 — “몇 번을 돌든” 을 증명하기

43.1두 번째 회차에서 깨진다 43.2고정점이면 몇 번이든 43.3위험한 모양은 하나뿐이다 43.4신선한 토큰 — 이름 문제를 없애는 한 수 43.5중첩 반복 — 함수를 관계로 43.6증명하지 않은 것

44 효과의 증명 — “무엇을 할 수 있나” 를 타입에 적기

44.1효과는 원자의 집합이다 44.2처리기가 강제하는 네 규칙 44.3권한 — 효과의 짝 44.4효과 건전성 — 순환이 아니다 44.5효과에 기댄 최적화는 적법하다 44.6증명하지 않은 것

45 경합과 병렬의 증명 — 규율이 메모리 모델을 대신한다

45.1Bernstein 조건 — 1966 년의 답 45.2독립이면 경합이 없다, 그리고 그 조건이 필요하다 45.3액터 사이에는 반드시 메시지가 있다 45.4가둠 — 무거운 도구가 필요한 곳 45.5경합이 없는 것과 결정적인 것은 다르다 45.6증명하지 않은 것

46 약한 메모리의 증명 — 기본값이면 순서대로 생각해도 된다

46.1순차 일관성과 그 반례 46.2실행은 그래프다 46.3기본값이면 나올 수 없고, relaxed 면 나올 수 있다 46.4막는 것은 정확히 그 공리다 46.5메시지 전달 — 약한 것은 이 모양을 위해 있다 46.6모든 실행에 대해 46.7약하게 적으면 거동이 늘어난다 46.8문헌의 시험 일곱 46.9증명하지 않은 것

47 락의 증명 — 무거운 도구가 실제로 필요한 자리

47.1분리논리의 어휘 47.2토큰은 둘일 수 없다 47.3도구를 필요한 만큼만 47.4rwlock — 같은 문장의 두 증명 47.5교착 자유와 굶주림 없음 47.6약한 메모리에서 빌린 증명 — spsc 47.7증명하지 않은 것

48 문법의 증명 — 어느 닫개로 닫아도 같은 나무

48.1대수와 뜻함수 48.2한 문장은 한 문장짜리 블록이다 48.3닫개는 같은 일을 한다 48.4흔한 실수 48.5증명하지 않은 것

49 해시의 증명 — 이름이 아니라 내용으로 부르기

49.1해시 함수와 Merkle DAG 49.2이름이 아니라 내용으로 부른다 49.3무엇이 해시를 바꾸고 무엇이 안 바꾸나 49.4증명할 수 있는 것과 없는 것 49.5해시가 막는 것 49.6증명하지 않은 것

50 증명하지 않은 것

50.1신뢰 기반 — 증명이 기대는 것 50.2가장 큰 간극 — 모델과 구현 사이 50.3남은 것 — 주제별로 50.4“전면 정적 안전” 으로 팔지 않는다 50.5그래서 무엇을 믿어도 되나

부록과 찾아보기

부록 A — 낱말과 내장 연산

낱말 마흔셋 없앤 낱말 자주 쓰는 내장 연산 효과와 권한

부록 B — 진단 찾아보기

번역할 때 실행 중에 멈출 때 그 밖의 진단

부록 C — 흔한 실수와 고치는 법

겉모습 값과 흐름 효과·권한·메모리 추상과 동시성

부록 D — 문법 요약

op 머리의 절 차례 선언 문장 패턴 식 머리와 닫개

부록 E — 표준 라이브러리 모듈

strings — 문자열 뷰 연산

설계와 경계 op 한눈에 op 상세 쓰는 법 반례 주의

strbuf — 소유 문자열 버퍼와 널 종단 cstr

설계와 경계 op 한눈에 op 상세 쓰는 법 반례 주의

fmt — 호출자의 버퍼에 조립하는 포매팅

설계와 경계 op 한눈에 op 상세 쓰는 법 반례 주의

utf8 — UTF-8 코드포인트 순회와 검증

설계와 경계 op 한눈에 op 상세 쓰는 법 반례 주의

utf16 — UTF-16 서로게이트 산술

설계와 경계 op 한눈에 op 상세 쓰는 법 반례 주의

unicode — 유니코드 속성 표

설계와 경계 op 한눈에 op 상세 쓰는 법 반례 주의

codec — 16 진과 base64

설계와 경계 op 한눈에 op 상세 쓰는 법 반례 주의

regex — 역추적하지 않는 Pike VM 정규식

설계와 경계 자료구조 op 한눈에 op 상세 쓰는 법 반례 주의

term — 터미널 렌더러(순수 절반)

sortlib — 제자리 quicksort

sortgen — 제네릭 정렬(비교는 타입이 들고 온다)

searchlib — 정렬된 슬라이스의 이진 탐색

hashmap — u64 → u64 해시 맵

strmap — 문자열 키 해시 맵

vecs — 호출자가 버퍼를 드는 성장 바이트 벡터

spsc — 락 없는 SPSC 링 버퍼

hash — 해시(해시맵 자리 · 손상 검출 · SHA-256)

math — 부동소수 수학

random — 난수(재현되는 열 · OS 엔트로피)

hmac — HMAC-SHA256 과 HKDF

chacha — ChaCha20 스트림 암호

poly — Poly1305 한 번 쓰는 인증자

aead — ChaCha20-Poly1305 봉인과 개봉

x25519 — 곡선 위의 키 합의

aes — AES-128 블록 암호

gcm — AES-128-GCM 인증 암호

crypto_hw — 기계가 도와주는 암호 셈

bigint — 큰수 모듈러 산술

rsa — RSASSA-PSS 검증

p256 — NIST P-256 곡선과 ECDSA 검증

p384 — NIST P-384 곡선과 ECDSA 검증

ecdsa — ECDSA P-256 서명 생성

ed25519 — Ed25519 서명 검증

der — DER 최소 파서

pem — PEM 봉투 벗기기

x509 — X.509 인증서 읽기

verify — 인증서 서명과 체인의 한 마디 확인

체인은 마디의 줄이다 op 설계

tls13 — TLS 1.3 의 계산 부품

tlssrv — TLS 1.3 서버 핸드셰이크

tlscli — TLS 1.3 클라이언트 핸드셰이크

핸드셰이크의 차례 op 설계

http — HTTP/1.1 요청 파서

soa — SoA 배치 시범: 필드마다 배열 하나

allocs — 얼로케이터 trait 과 범프 · 기본 얼로케이터

pool — 세대 핸들 블록 풀

shard — 저장소를 쪼개는 접근 단위

budget — 핸들 비트 예산과 세대 한 바퀴

wire — 한 낱말을 칸으로 나눠 쓰기

flags — 이름 붙은 켬 · 끔을 한 낱말에

segarena — 고정 크기 세그먼트 아레나

pagecache — 페이지 id 와 고정 커서

growvec — 자가성장 바이트 벡터

vecgen — 제네릭 자가성장 벡터 vec t a

mapgen — 제네릭 해시맵 table k v

nodelist — 고정 intrusive 목록

segview — 조각 뷰의 커서 · 총길이 · 펴기

lifemode · lifeatom — 값이 언제 끝나는가

io — 슬라이스 위의 스트림 읽기

outbuf — 버퍼링 출력, flush 망각은 컴파일 오류

files — 파일 · 디렉터리 스트림, close 망각은 컴파일 오류

tty — 터미널 입력

net — 소켓(TCP loopback · 프로세스 안 한 쌍)

clock — 시각과 마감

trust — 신뢰 저장소에서 믿는 뿌리 찾기

묶음을 통째로 들지 않는다 op

← 이전목차로