OCaml 입문서 영어판 무료 공개, 해커뉴스는 LLM 시대의 학습 가치 토론
- Sylvain Conchon과 Jean-Christophe Filliâtre의 OCaml 프로그래밍 입문서 영어 번역판을 PDF 1.9MB와 EPUB 2.3MB로 무료 배포함
- 영어판은 프랑스어 원서의 번역이며 OCaml Software Foundation이 번역 비용을 지원했고, 라이선스는 CC BY-SA 4.0임
- 책의 예제 코드를 별도 페이지에서 제공하고, 오탈자와 오류는 GitHub Issues로 신고받음
- 해커뉴스 댓글에서는 함수형 프로그래밍 학습이 문제 해결 방식과 불변 데이터 설계 습관을 바꾼다는 경험담이 나왔고, LLM 코드를 검토하고 지시하려면 프로그래밍 이해가 필요하다는 의견이 이어짐
Hacker News opinions
LLM이 코드를 안다고 내가 배울 필요가 없다는 생각은 이상함. OCaml 같은 함수형 언어를 배우면 문제를 보는 방식 자체가 달라지고, LLM에 지시할 때도 도움이 됨.
LLM이 작성한 코드를 맡기려면 결국 구조와 프로그래밍을 이해해야 함. 다음 세대가 OCaml, C, Python을 배우는 단계를 건너뛰면 걱정스러움.
OCaml 일자리는 예전에도 많지 않았음. 그래도 재미로 배우거나 함수형 언어가 사고방식을 바꿔서 더 나은 프로그래머가 되려는 이유는 지금도 같음.
LLM과 정적 타입 조합은 좋다고 봄. 다만 LLM 출력을 진지하게 쓸 거면 어느 정도는 이해해야 하고, Rust도 대안이 될 수 있음.
LLM이 쓰는 코드에 대한 확실한 정신 모형이 없으면 결국 곤란해짐. OCaml은 코드가 어떻게 맞물리는지 생각할 도구를 늘려줌.
C 계열 언어 하나, Lisp 하나, ML 계열 언어 하나를 깊게 아는 편이 좋다고 봄. 이 세 언어군의 영향을 받은 언어와 라이브러리가 워낙 많음.
OCaml을 첫 언어로 배웠는데 초반에는 타입과 컴파일러 오류가 너무 어려웠음. 재귀를 제대로 이해하는 데도 오래 걸렸지만, 개념을 잡고 나서는 훨씬 수월했고 프로그래머로서 도움이 됐음.
대학에서 Haskell을 배웠고 실무에서는 주로 명령형 언어를 썼음. 그래도 불변 데이터와 테스트하기 쉬운 함수로 복잡성을 감추는 습관은 계속 남았음.