Warning

This post was published 39 days ago. The information described in this article may have changed.

Info

This post is auto-generated from RSS feed The Rust Programming Language Forum - Latest topics. Source: Concrete type vs. what?

In Rust a type might have parameters, e.g., struct S<A>(A). This type is not concrete, but S<int> is.

I've scanned carefully through the Rust Book and the Rust Reference but i can't find any standard way to name S<A>(A) with respect to S<int> and viceversa. If the latter is a concrete type, S<A>(A) is the [something] it came from. Just "type" does not work. "Abstract type" is the type of an impl Trait. The expression "generic type" is used in the Rust Book only for parameters. "Parameterized type"? "Type definition"?

Formally S<A>(A) is a type constructor, but this term is never used in the documentation.

My problem is that I wanna be able to say precisely things like "given a concrete type T, if the type parameter Pof its [name I don't know] is satisfied by [saturated by mabye? assigned to?] a concrete type U then...

In this example above T would be S<int>, [name I don't know] would be S<A>(A), P would be A and U would be int.

It this sounds confused is because I can't find the right words.

4 posts - 2 participants

Read full topic

🏷️ Rust_feed