coolguyandClaude Opus 5
f0739fc40c
문서(docs/thesis.md)에 네 가지 파생 결정을 반영: - Effect 다형성: effect 변수는 타입 파라미터와 동일 규율(선언 명시, 해소는 호출 지점에서 로컬). 집합 의미론으로 row polymorphism 회피. - 인터페이스 경계: public 경계 전면 명시, 본문 추론 누출 금지, interface hash는 정규화된 시그니처 텍스트만으로 계산. - 모듈/패키지: content hash는 무결성이지 가용성이 아님을 명시. - 형식 명세 범위를 capability의 affine 규칙까지 확장. 스캐폴딩은 CLI 형태만 고정하고 파이프라인 단계는 비워 둔다. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019ZVDeU6KLuUVL3gs18Hm3E
18 lines
838 B
OCaml
18 lines
838 B
OCaml
(* v0 파이프라인의 자리표시자.
|
|
parse -> name resolution -> type check -> effect/capability check
|
|
-> interface artifact + hash -> (cool run 시) 얇은 typed IR -> interpreter
|
|
|
|
각 단계는 별도 모듈로 분리해 들어온다. 지금은 CLI 형태만 고정한다. *)
|
|
|
|
type error = { file : string; message : string }
|
|
|
|
let string_of_error { file; message } = Printf.sprintf "%s: %s" file message
|
|
|
|
let check (files : string list) : (unit, error list) result =
|
|
match files with
|
|
| [] -> Error [ { file = "<none>"; message = "검사할 파일이 없습니다" } ]
|
|
| file :: _ -> Error [ { file; message = "check 파이프라인이 아직 구현되지 않았습니다" } ]
|
|
|
|
let run (file : string) : (unit, error list) result =
|
|
Error [ { file; message = "interpreter가 아직 구현되지 않았습니다" } ]
|