"GADT가 성능에 중요한 이유"에 회신

"OCaml GADTs"에 대한 첫 번째 검색 엔진 결과 중 하나는 입니다. OCaml 일반화 대수 데이터 유형에 대한 좋은 소개이지만 제목과 결론이 의도치 않게 오해의 소지가 있다고 생각합니다. GADT는 인체 공학 및 안전 측면에서 훌륭하지만 게시물이 성능 이점을 과장한다고 생각합니다. 기사에서 Yaron Minsky는 처음에 GADT를 사용하는 것과 종료 기록을 사용하는 것을 비교했습니...

ocamlprogramminggadtperformance