Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 2307bafda2 naming: panic을 crash로 — 그리고 이름을 고르는 원칙을 철학에 넣는다 main coolguyandClaude Opus 5 2026-08-30 18:21:05 +09:00
• 5dc214baee docs: 실패의 단위를 정한다 — panic은 scope 트리를 타고 올라간다 coolguyandClaude Opus 5 2026-08-30 17:59:37 +09:00
• df775ac4a6 fix: std 런타임 대조가 본문 있는 함수를 요구하던 것 coolguyandClaude Opus 5 2026-08-30 17:52:36 +09:00
• 78ef07d2ee panic: panic/Never와 내장 테스트 — 문법을 먼저 고치고 대조 장치가 파서를 지적했다 coolguyandClaude Opus 5 2026-08-30 17:51:56 +09:00
• 8ff35c5d9b interp: 실패해도 그때까지의 출력을 보여준다 coolguyandClaude Opus 5 2026-08-30 17:21:34 +09:00
• bb19a39e04 fuzz: 문법에서 문장을 만들어 파서에 먹인다 — 갈림 하나를 잡았다 coolguyandClaude Opus 5 2026-08-30 17:10:20 +09:00
• 61b1920909 recognize: 문법이 직접 읽는 인식기 — 파서와 판정을 대조한다 coolguyandClaude Opus 5 2026-08-30 17:06:02 +09:00
• bde940eda3 grammar: 문법 문서를 기계가 읽는 소스로 — LL(1)이 처음으로 검증된다 coolguyandClaude Opus 5 2026-08-30 17:03:25 +09:00
• 6c0d08b6b0 std: F5 해결(List.enumerate), F4·F8은 넣지 않는 것으로 닫음 coolguyandClaude Opus 5 2026-08-30 16:30:56 +09:00
• 5e70712578 friction: F8 추가 — 미사용 지역 변수를 안 잡는다, 그리고 현황표 coolguyandClaude Opus 5 2026-08-30 16:27:08 +09:00
• a9f6527825 std: 마찰 보고의 F1/F3/F6/F7 처리 — 292줄이 244줄로 coolguyandClaude Opus 5 2026-08-30 16:20:23 +09:00
• 7be05be77f friction: F2 취소 — else if는 원래 된다 coolguyandClaude Opus 5 2026-08-30 16:17:30 +09:00
• 5831af7760 app: 개밥 먹기 — 일하는 프로그램 하나와 그 마찰 보고 coolguyandClaude Opus 5 2026-08-30 16:06:08 +09:00
• 5ac899df68 docs: README coolguyandClaude Opus 5 2026-08-30 15:59:53 +09:00
• 91f3840d19 lint: 파서 오류 복구와 두 lint — 남은 부채를 턴다 coolguyandClaude Opus 5 2026-08-30 15:53:35 +09:00
• 5593b54772 std: 표준 라이브러리 — effect 다형성이 처음으로 검사된다 coolguyandClaude Opus 5 2026-08-30 15:47:44 +09:00
• 1c4f46e5e5 interp: 얇은 typed IR과 트리 워킹 인터프리터 — coolc run coolguyandClaude Opus 5 2026-08-30 14:58:05 +09:00
• 120ff361cf naming: 툴체인 바이너리를 coolc로 coolguyandClaude Opus 5 2026-08-30 14:53:16 +09:00
• c4662ab627 bench: 증분 루프를 측정으로 증명한다 coolguyandClaude Opus 5 2026-08-30 14:12:35 +09:00
• 801a7b330b modules: 모듈 경계, interface hash, 그리고 고정점 invalidation coolguyandClaude Opus 5 2026-08-30 14:11:30 +09:00
• 5218bc59a7 exhaust: match exhaustiveness와 도달 불가 팔 검사 coolguyandClaude Opus 5 2026-08-30 03:23:47 +09:00
• 2e67b74376 move: move/affinity 검사 — v0 fast path 완성 coolguyandClaude Opus 5 2026-08-30 03:01:05 +09:00
• 79e4ed4190 effects: effect/capability 검사 coolguyandClaude Opus 5 2026-08-30 02:50:33 +09:00
• 5e034c0891 typecheck: 타입 검사기와 scope 부모 문법 확정 coolguyandClaude Opus 5 2026-08-30 02:42:35 +09:00
• 94e28d427b resolve: 이름 해소와 모듈 의존 표면 산출 coolguyandClaude Opus 5 2026-08-30 02:30:52 +09:00
• 1bd88fc4d7 parser: 재귀 하강 구문 분석기와 AST coolguyandClaude Opus 5 2026-08-30 02:26:01 +09:00
• 66a2cc6959 lexer: 어휘 분석 구현과 ASI 함정 하나 정정 coolguyandClaude Opus 5 2026-08-30 02:14:37 +09:00
• 630d12104a grammar: v0 EBNF 확정과 열린 문법 결정 8건 coolguyandClaude Opus 5 2026-08-30 02:09:58 +09:00
• e3b19b1300 thesis+samples: 표기 결정 6건 반영과 문법 탐침 추가 coolguyandClaude Opus 5 2026-08-30 01:35:30 +09:00
• c073e18b41 thesis: second-class 값 개념으로 use/callable/spawn을 일괄 정리 coolguyandClaude Opus 5 2026-08-30 01:17:49 +09:00
• 994e2362ad thesis: move join 규칙 확정과 affine/linear 경계 명시 coolguyandClaude Opus 5 2026-08-30 00:44:08 +09:00
• bef741e1ba thesis: Alias/Move 모델을 v0 필수로 승격하고 incremental 규칙 정정 coolguyandClaude Opus 5 2026-08-30 00:42:18 +09:00
• f0739fc40c 초기 커밋: thesis 문서와 OCaml v0 스캐폴딩 coolguyandClaude Opus 5 2026-08-30 00:35:48 +09:00