Skip to content

Glossary #48

Closed
Closed
@mark-i-m

Description

@mark-i-m
Member

Are there any other terms that should be added to the glossary? Please make suggestions.

Activity

phansch

phansch commented on Feb 10, 2018

@phansch
Member

One thing I have been wondering is if 'soundness' means something special in the compiler context or if it is just a different word for correctness. There are lot's of issues mentioning 'soundness bugs' and 'soundness fixes'. So maybe it makes sense to add this too or explain it somewhere?

mark-i-m

mark-i-m commented on Feb 10, 2018

@mark-i-m
MemberAuthor

Yes, soundness is a technical term in programming languages literature. You will usually read about proving "soundness" and "completeness".

Roughly, IIRC, soundness means that if a program type-checks, it is type-safe; i.e. I can never (in safe rust) force a value into a variable if the wrong type. Completeness means that every type-safe program also type-checks. Having both is very hard, and usually soundness is more important.

added
E-easyDifficulty: might be a good place for a beginner
E-mediumDifficulty: might require some prior knowledge or code reading
on Mar 16, 2018
samWson

samWson commented on Apr 6, 2018

@samWson

I've found a good definition of Fat Pointers in the Programming Rust book. I can enter that in the glossary this weekend if it's OK with you team.

steveklabnik

steveklabnik commented on Apr 6, 2018

@steveklabnik
Member

We've been using "double pointer" or "wide pointer" as well; might be worth considering as "double pointer" at least is significantly more descriptive, IMO.

hanna-kruppe

hanna-kruppe commented on Apr 6, 2018

@hanna-kruppe

FWIW "double pointer" can also be read as "pointer-to-pointer" (and I've definitely seen it used in that sense in other languages). Besides, double becomes inaccurate with custom DSTs (which can add more data than just one word to the pointer). One precise and universal phrase is "pointer with metadata" but that's probably a bit too verbose.

samWson

samWson commented on Apr 6, 2018

@samWson

"Pointer with metadata" is what I've found the definition of a fat pointer to be. A two word value with an address and some extra information needed to put the value to use.

mark-i-m

mark-i-m commented on Apr 6, 2018

@mark-i-m
MemberAuthor

I think we could add all of these terms to the glossary.

samWson

samWson commented on Apr 7, 2018

@samWson

Is this a case with of several phrases with the same meaning? Or are these the names of different things?

mark-i-m

mark-i-m commented on Apr 7, 2018

@mark-i-m
MemberAuthor

I believe "fat pointer", "wide pointer", and "double pointer" are all intended to be synonyms.

20 remaining items

alexreg

alexreg commented on Feb 14, 2019

@alexreg
Contributor

@varkor @oli-obk Thanks. I'm not very good at searching. There are too many "references" rather than "definitions", which makes grepping harder than it should be.

alexreg

alexreg commented on Mar 7, 2019

@alexreg
Contributor

@mark-i-m Can we add "gensym" to the list please? That's a weird term that I'm still not entirely sure what it means.

unpinned this issue on Jun 26, 2019
mark-i-m

mark-i-m commented on Dec 6, 2019

@mark-i-m
MemberAuthor

Added "landing pad" to the list

pinned this issue on Dec 6, 2019
tshepang

tshepang commented on May 10, 2020

@tshepang
Member
alexreg

alexreg commented on May 10, 2020

@alexreg
Contributor

@tshepang I think you meant to tag @mark-i-m?

tshepang

tshepang commented on May 10, 2020

@tshepang
Member

indeed I did

tshepang

tshepang commented on May 10, 2020

@tshepang
Member

@alexreg what about gensym... it did itself get removed.

alexreg

alexreg commented on May 10, 2020

@alexreg
Contributor

@tshepang Yep, good point. We can remove that from the list now.

mark-i-m

mark-i-m commented on May 10, 2020

@mark-i-m
MemberAuthor

I think the concept of landing pads still exists... not 100% sure, but I think they are code emitted for unwinding.

unpinned this issue on May 19, 2020
mark-i-m

mark-i-m commented on May 19, 2020

@mark-i-m
MemberAuthor

Closing this in favor of #707

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    E-easyDifficulty: might be a good place for a beginnerE-help-wantedCall for participation: extra help is wantedE-mediumDifficulty: might require some prior knowledge or code reading

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      No branches or pull requests

        Participants

        @steveklabnik@alexreg@oli-obk@tshepang@phansch

        Issue actions

          Glossary · Issue #48 · rust-lang/rustc-dev-guide