Rust does have https://doc.rust-lang.org/std/any/trait.Any.html but it's not quite the same thing (for one thing, it's not actually all types).
replydeleted
replyAlso called top and bottom types, for this reason.
replyAny is not a top type and ! is not a bottom type, actually. They are sort of similar from a lay perspective if you squint, though.
replyWhy not? I mean if you refer to Rust specifically, yes, because there is no subtyping except for lifetimes, only coercion (and `Any` also cannot contain any type). But in general, why not?
replyI am speaking about Rust specifically, yes.
replyComprehensive yet succinct, and appreciate you tying it to math - that helped solidify the idea.
reply