Autoscoping of constructors

[JaroslavTulach]

The goal of this task is to avoid:

table.aggregate Aggregate_Column.Count

and just write

table.aggregate Count

e.g. eliminate the need to prefix each constructor name with its type name when it is known from the context.

Join the discussion!

[JaroslavTulach]

There are multiple ways to approach the problem. One of them is

Using UnresolvedSymbol

The idea is to use already existing UnresolvedSymbol to identify constructor of a type. When a certain type is requested by type ascription, the UnresolvedSymbol would know its context and resolve itself properly. For example following program could work:

from Standard.Base import all

type X
    A
    B x

cons x:X = x.to_text

main = cons .A

and yes, the program properly prints A with this experimental branch.

Pros

• reuses already existing syntax
• doesn't require changes in the parser

Cons

While the changes in 23bc507 are simple, alas they don't work for constructors with parameters. Writing main = cons .B 3 yields:

Type error: expected `x` to be X, but got X.B[x.enso:5:5-7] x=_. Try to apply x argument.

Obviously as .B is the argument of cons. However trying to workaround it with main = cons (.B 3) doesn't work either as:

Method `B` of type Integer could not be found.

Looks like reusing existing syntax has its downside - as in the .B 3 case we'd like different behavior than the current behavior is.

[enso-bot]

Jaroslav Tulach reports a new STANDUP for the last Saturday (2024-02-24):

Progress: - Custom classloading for GraalVM EE Isolate

• 33% speedup
• Created Speed Startup by 33% with the use of GraalVM Polyglot Isolates #9171 tracking issue It should be finished by 2024-03-04.

Next Day: Autoscoping of constructors

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2024-02-26):

Progress: - autoscoped constructors: #9190

• discussing isolates: Speed Startup by 33% with the use of GraalVM Polyglot Isolates #9171 (comment)
• preparing for presentation at PragueLambda It should be finished by 2024-03-04.

Next Day: Autoscoping of constructors

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2024-02-27):

Progress: - Addressing Radek's comments: #9190 (comment)

• No to "case constructor pattern": https://github.com/orgs/enso-org/discussions/8646#discussioncomment-8604696
• benchmark autoscoping: Autoscoped constructors #9190 (comment)
• planning work & meeting
• note about join visualization: Generate completion of Table.join join criteria using data from both joined tables #5629 (comment)
• discussing Parquent with Hubert
• meeting Dmitry over y.js It should be finished by 2024-03-04.

Next Day: Autoscoping of constructors

GitHub

Autoscoping of constructors · enso-org · Discussion #8646

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]

Jaroslav Tulach reports a new STANDUP for yesterday (2024-02-28):

Progress: - discussing autoscoped constructors with Marcin

• fixing JS strings: Fix matching JS strings #9203 (comment)
• meetings, standups
• investigating float_id problem: Reproduce Float-passing problem #9201 (comment)
• presentation at Prague Lambda: https://www.meetup.com/lambda-meetup-group/events/298976074/ It should be finished by 2024-03-04.

Next Day: Speed autoscoping of constructors up

Meetup

Login to Meetup | Meetup

Not a Meetup member yet? Log in and find groups that host online or in person events and meet people in your local community who share your interests.

[enso-bot]

Jaroslav Tulach reports a new STANDUP for today (2024-02-29):

Progress: - benchmarks label idea: https://discord.com/channels/401396655599124480/1212626875902328842

• IGV & benchmarking: 6bcd8dc
• bitten by a failure in incremental compilation: https://discord.com/channels/@me/948519891961544714/1212708579908263957
• 250x speedup: f5a0c7f
• discussing autoscoped constructors: https://github.com/orgs/enso-org/discussions/8646#discussioncomment-8630310
• updating static dropdowns design: https://github.com/enso-org/design/pull/57
• cause of float_id problem known: Reproduce Float-passing problem #9201 (comment)
• debugging James's XML_Element annotation problem
• minus one hour for Feb 14 mistake It should be finished by 2024-03-04.

Next Day: Finalize autoscoping of constructors

Discord

Discord - A New Way to Chat with Friends & Communities

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

Discord

Discord - A New Way to Chat with Friends & Communities

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

GitHub

Autoscoping of constructors · enso-org · Discussion #8646

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]

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

Progress: - polishing autoscoped constructors PR

• unsuccessful debugging XML @key annotation
• verified Dmitry's fix: Fix attaching generic annotations #9234 (review)
• floating passing problem - Reproduce Float-passing problem #9201 (comment) It should be finished by 2024-03-04.

Next Day: Document and integrate autoscoped constructors

[enso-bot]

Jaroslav Tulach reports a new STANDUP for the last Saturday (2024-03-02):

Progress: - documentation: 463e33f It should be finished by 2024-03-04.

Next Day: Document and integrate autoscoped constructors

[JaroslavTulach]

We are in. Dmitry reported

• Use autoscoping when constructing tag values of suggestion arguments #9259

as a followup issue to make static dropdowns work in the IDE.

[enso-bot]

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

Progress: - autoscoped constructors merged: #9190

• discussion about ~ - use ..
• reported Oracle GraalVM CI issue: Integrate Oracle GraalVM into Enso CI #9266
• meetings & demos It should be finished by 2024-03-04.

Next Day: Rewrite autoscoped constructors