|
|
|
|
|
|
by lmm
3737 days ago
|
|
|
"sort" also has a specific meaning in type theory - it's a class of kinds. Also the type-theoretic meaning of "kind" is accurate here, no? Owned vs slice really are two different kinds - it's just that Rust can't represent kindedness in general (it has specialized support for tracking ownedness, but you can't reuse that system to track other properties). |
|
|