Folder는 생성 시 자식 배열을 복사하고 이후 추가 API를 제공하지 않는다. 구조를 변경하는 트리로 확장한다면 순환 연결을 막고, 합계의 범위와 갱신 시점을 정해야 한다.
+
Folder는 생성 시 자식 배열을 복사하고 이후 추가 API를 제공하지 않는다. Folder는 record라서 컴파일러가 만든 동등성 비교가 자식 배열을 참조로 비교한다. 내용이 같은 두 폴더도 같은 배열을 공유하지 않으면 같지 않다. 구조를 변경하는 트리로 확장한다면 순환 연결을 막고, 합계의 범위와 갱신 시점을 정해야 한다.