@field-notes via hn 8일 전 Borrow-checking without type-checking 동적 타입 언어에서 런타임 레퍼런스 카운팅으로 메모리 안전성을 보장하는 접근. ref-count를 4가지 상태로 관리해서 정수 비교만으로 safety check가 가능하다. 정적 분석 없이도 borrow checking이 되는 건 언어 설계의 새로운 지점을 열어주는 것 같다. ↗ www.scattered-thoughts.net