Skip to main content

Dec 10 Language Design Meeting Notes

Dart engineer Bob Nystrom has posted the notes from the December 10th language design meeting. He writes:

Mixins

We're down to arguing about syntax. Lars says, OK, here it is:

    class C extends S with M1, M2 { ... }

Mixins are linearized from right to left. This makes sense since the class body appears last but takes precedence, so we work backwards from that. Gilad has an updated proposal that he'll send out.

There is one corner case. If you want to mixin, you have to have an explicit superclass:

    class C extends Object with M1 { ... }

[Bob: This means that I believe we have the semantics and syntax for mixins nailed down now. Woo!]

throw as expression

They're looking to implement this in dart2js now. Even with the restriction on rethrows, it still feels tricky. Since throw takes an arbitrary expression on the right, including a conditional one, there are some corner cases related to how it binds.

Lars: Is rethrow an expression?
Gilad: It is in the spec, but the implementations don't support it.
Kasper: It is hard to parse. We have to lookahead to tell if we're at the beginning of an expression.
Lars: Let's make both kinds of throws an expression and rename rethrow to use a "rethrow" contextual keyword. It's a rarely used feature. Better?
Gilad: I'll talk to the implementors and work through something.

Metadata in corelib

Brian: There is a faction that says certain metadata constructs need to be in the language spec before they can be put into the core library. Are all tools required to have certain behavior because certain metadata is in the core library? For example, does dart2js have to emit some kind of notification if you use @deprecated?

Gilad: If we want metadata that does something magical then it should be in the spec. If it's just in tools, we shouldn't.

[Bob: I think an example of an annotation with magic behavior is one that says "don't tree-shake this".]

Kasper: If we use them in our libraries, we have to tell people what they mean. So it has to be specified somewhere, even if informally.

Gilad: Sure, but that applies to the library API itself too. You have to document it.

Lars: I would like to minimize the use of annotations in core library. We don't want using them to be part of normal style. Java uses them everywhere.

Configuration-specific code

Lars suggests we could have annotation to put on constants that lets you override its value from the outside from something like a command line argument.

We'll discuss this more after M2.

Cheers!

As always, we invite you to join our Dart mailing list, ask questions on Stack Overflow, or file feature requests on dartbug.com.

Popular posts from this blog

AngularDart 4

AngularDart v4 is now available. We've been busy since the release angular2 v3.1.0 in May. Not only did we "drop the 2", but we also improved the compiler and tightened up the framework to give you smaller code, we updated the package structure to improve usability, and we added several new features. Check out the updated documentation to get started.
Just angular Upgrading to v4 will require more than updating your version constraint. The package has changed names (back) to angular – dropping the 2. You'll need to update your pubspec.yaml and the corresponding imports in your code. In most instances, find-and-replace should do the trick. Going forward, the package will be called package:angular. We'll just update the version number.
Smaller code The updated compiler in 4.0 allows type-based optimizations that not only improve runtime performance but generate better code because we are able to strongly type templates. A big result of the update is that many ap…

Const, Static, Final, Oh my!

Posted by Seth Ladd

(This is an "oldie but a goodie" misc@dartlang.org post originally written by Bob Nystrom. It is being posted here as the explanations still ring true.)

Bob writes:


"static", "final", and "const" mean entirely distinct things in Dart:

"static" means a member is available on the class itself instead of on instances of the class. That's all it means, and it isn't used for anything else. static modifies *members*.

"final" means single-assignment: a final variable or field *must* have an initializer. Once assigned a value, a final variable's value cannot be changed. final modifies *variables*.

"const" has a meaning that's a bit more complex and subtle in Dart. const modifies *values*. You can use it when creating collections, like const [1, 2, 3], and when constructing objects (instead of new) like const Point(2, 3). Here, const means that the object's entire deep state can be determ…

The new AdWords UI uses Dart — we asked why

Google just announced a re-designed AdWords experience. In case you’re not familiar with AdWords: businesses use it to advertise on google.com and partner websites. Advertising makes up majority of Google’s revenue, so when Google decides to completely redo the customer-facing front end to it, it’s a big deal. The Dart team is proud to say that this new front end is built with Dart and Angular 2. Whenever you asked us whether Google is ‘even using Dart for anything,’ this is what we had in mind but couldn’t say aloud. Until now. We asked Joshy Joseph, the primary technical lead on the project, some questions. Joshy is focusing on things like infrastructure, application latency and development velocity, so he’s the right person to ask about Dart.Q: What exactly did we launch on Monday?It’s a complete redesign of the AdWords customer experience that is rolling out slowly as a test to a small initial set of advertisers. The most noticeable thing is probably the Material Design look and f…