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

Prefix autoscoped constructors with .. #9275

Closed
JaroslavTulach opened this issue Mar 5, 2024 · 3 comments · Fixed by #9285
Closed

Prefix autoscoped constructors with .. #9275

JaroslavTulach opened this issue Mar 5, 2024 · 3 comments · Fixed by #9285
Assignees

Comments

@JaroslavTulach
Copy link
Member

JaroslavTulach commented Mar 5, 2024

As of #9190 the autoscoped constructors are prefixed by ~. That's unfortunate as it is using the same symbol in expression space as well as type space. Should Enso allow treating of types as expressions, it will not be possible to differentiate whether one wants to express suspended argument or autoscope a constructor.

Detailed description by Wojciech is also available. As such a decision was made to replace ~ by ...

@wdanilo
Copy link
Member

wdanilo commented Mar 5, 2024

More info on the technical issue with the current design here: https://github.com/orgs/enso-org/discussions/8646#discussioncomment-8677685

GitHub
Do you remember how ugly it is to always prefix a constructor of a type with its type name? Always write something like: table.aggregate Aggregate_Column.Count Enso should do better! Let's discuss ...

@enso-bot
Copy link

enso-bot bot commented Mar 6, 2024

Jaroslav Tulach reports a new STANDUP for yesterday (2024-03-05):

Progress: - Reported ..: #9275

Next Day: Integrate .. autoscoped constructors

Discord
Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.

@enso-bot
Copy link

enso-bot bot commented Mar 7, 2024

Jaroslav Tulach reports a new STANDUP for yesterday (2024-03-06):

Progress: - merged #9285

Next Day: Table.join investigation

Google Docs
Discord
Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: 🟢 Accepted
Development

Successfully merging a pull request may close this issue.

2 participants