Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Feature Request] Rename owned -> own #4048

Open
1 task done
gryznar opened this issue Mar 3, 2025 · 0 comments
Open
1 task done

[Feature Request] Rename owned -> own #4048

gryznar opened this issue Mar 3, 2025 · 0 comments
Labels
enhancement New feature or request mojo Issues that are related to mojo

Comments

@gryznar
Copy link
Contributor

gryznar commented Mar 3, 2025

Review Mojo's priorities

What is your request?

Rename owned -> own

Before:

fn add_to_list(owned s1: String, read s2: String, mut l: List[String]):
    l.append(s1^)
    l.append(s2)

After:

fn add_to_list(own s1: String, read s2: String, mut l: List[String]):
    l.append(s1^)
    l.append(s2)

What is your motivation for this change?

owned expresses the intention well, but is not consistent with read and mut (owned is an adjective, while read and mut ("mutate" abbreviation) are verbs). Renaming owned -> own will solve this and also shorten the name to match the length of the rest.

Any other details?

No response

@gryznar gryznar added enhancement New feature or request mojo Issues that are related to mojo labels Mar 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request mojo Issues that are related to mojo
Projects
None yet
Development

No branches or pull requests

1 participant