[%] 러스트 linear type하고 이드리스 uniqueness type하고

[Recursi..(recursion)]

차이가 뭐임?

둘 다 변수 사용을 한번으로 제한하는거 같은데

- dc official App

[ㅇㄹ(rerereq)]

linear type이 뭔데 처음 들어봄

[다믜(damhiya)]

linear arrow 에서 나온거. 인자로 받은걸 정확히 1번만 사용가능한 함수같은거임

[Recursion(recursion)]

ref mut처럼 한번에 하나씩밖에 존재 못하는 타입임 - dc App

[다믜(damhiya)]

linear type은 레퍼런스가 여러개 있을 수 있음. 근데 레퍼런스를 1개 받으면 1개밖에 못쓰는거

[다믜(damhiya)]

uniqueness type이 linear type 변종이고, rust도 엄밀히는 uniqueness type 아닌가?

[Recursion(recursion)]

용어를 다르게 써서 서로 상관관계를 잘 모르겠음 이드리스는 uniqueness라고 하고 러스트는 linear/affine이라고 해서 - dc App

[다믜(damhiya)]

linear하고 affine은 확실히 다른데, uniqueness 하고 affine은 구분을 못하겠더라

[Recursion(recursion)]

전 일단 linear하고 affine 차이부터 복습하고 오겠음 - dc App

[Recursion(recursion)]

아 weakening 허용된게 affine이구나 간단 - dc App

[다믜(damhiya)]

아 다시 찾아보니까 uniqueness type하고 affine type도 다르네

[다믜(damhiya)]

linear/affine type은 레퍼런스가 한개라는 보장이 없어서 러스트에서 쓰는건 엄밀하게는 uniqueness type이 맞는것 같은데..?

[Recursion(recursion)]

그렇게 생각하면 uniqueness인거 같기는 한데 한번도 uniqueness라는 단어를 써서 설명한걸 본 적이 없음. 레퍼런스가 한개라는 특성은 uniqueness쪽이지만 weakening이 추가된 것 때문에 affine이라고 하는건가 - dc App

[다믜(damhiya)]

ㅇㅇ 그런것 같음. uniqueness도 linear/affine type에 더 강한 제약을 가한거니까 affine이라 해도 괜찮지 않을까?