ECMAScript First-Class Protocols Proposal
As of ES2015, new ECMAScript standard library APIs have used a protocol-based design, enabled by the introduction of Symbols. Symbols are ECMAScript values which have identity and may be used as object property keys. The goal of this proposal is to provide a convenient syntactic facility for protocol-based design.
The proposal is at Stage 1 after having been proposed at the September 2017 TC39 meeting.
What does it look like?
The most up-to-date information about this proposal can be found in the July 2018 presentation to the committee.
How can I play with it?
An outdated prototype using sweet.js is available at https://github.com/disnet/sweet-interfaces. It needs to be updated to use the latest syntax. A polyfill for the runtime components is available at https://github.com/michaelficarra/proposal-first-class-protocols-polyfill.
What is it used for?
The most well-known protocol in ECMAScript is the iteration protocol. APIs such
as Array.from, the Map and Set constructors, destructuring syntax, and
for-of syntax are all built around this protocol. But there are many others.
For example, the protocol defined by Symbol.toStringTag could have been
expressed using protocols as
protocol ToString {
tag;
toString() {
return `[object ${this[ToString.tag]}]`;
}
}
Object.prototype[ToString.tag] = 'Object';
Protocol.implement(Object, ToString);The auto-flattening behaviour of Promise.prototype.then was a very controversial decision.
Valid arguments exist for both the auto-flattening and the monadic versions to be the default.
Protocols eliminate this issue in two ways:
- Symbols are unique and unambiguous. There is no fear of naming collisions, and it is clear what function you are using.
- Protocols may be applied to existing classes, so there is nothing preventing consumers with different goals from using their own methods.
protocol Functor {
map;
}
class Identity {
constructor(val) { this.val = val; }
unwrap() { return this.val; }
}
Promise.prototype[Functor.map] = function (f) {
return this.then(function(x) {
if (x instanceof Identity) {
x = x.unwrap();
}
let result = f.call(this, x);
if (result instanceof Promise) {
result = new Identity(result);
}
return result;
});
};
Protocol.implement(Promise, Functor);Finally, one of the biggest benefits of protocols is that they eliminate the fear of mutating built-in prototypes. One of the beautiful aspects of ECMAScript is its ability to extend its built-in prototypes. But with the limited string namespace, this is untenable in large codebases and impossible when integrating with third parties. Because protocols are based on symbols, this is no longer an anti-pattern.
class Ordering {
static LT = new Ordering;
static EQ = new Ordering;
static GT = new Ordering;
}
protocol Ordered {
compare;
lessThan(other) {
return this[Ordered.compare](other) === Ordering.LT;
}
}
String.prototype[Ordered.compare] = function() { /* elided */ };
Protocol.implement(String, Ordered);Relationship to similar features
Haskell type classes
This proposal was strongly inspired by Haskell's type classes. The conceptual model is identical aside from the fact that in Haskell the type class instance (essentially an implicit record) is resolved automatically by the type checker. For a more Haskell-like calling pattern, one can define functions like
function fmap(fn) {
return function (functor) {
return functor[Functor.fmap](fn);
};
}Similar to how each type in Haskell may only have a single implementation of each type class (newtypes are used as a workaround), each class in JavaScript may only have a single implementation of each protocol. Haskell programmers get around this limitation through the use of newtypes. Users of this proposal will extend the protocol they wish to implement with each possible alternative and allow the consumer to choose the implementation with the symbol they use.
Haskell type classes exist only at the type level and not the term level, so they cannot be passed around as first class values, and any abstraction over them must be done through type-level programming mechanisms. The protocols in this proposal are themselves values which may be passed around as first class citizens.
Rust traits
Rust traits are very similar to Haskell type classes. Rust traits have
restrictions on implementations for built-in data structures; no such
restriction exists with this proposal. The implements operator in this
proposal would be useful in manually guarding a function in a way that Rust's
trait bounds do. Default methods in Rust traits are equivalent to what we've
called methods in this proposal.
Java 8+ interfaces
Java interfaces, as of Java 8, have many of the same features as this proposal. The biggest difference is that Java interfaces are not ad-hoc, meaning existing classes cannot be declared to implement interfaces after they've already been defined. Additionally, Java interfaces share the member name namespace with classes and other interfaces, so they may overlap, shadow, or otherwise be incompatible, with no way for a user to disambiguate.
Ruby mixins
Ruby mixins are similar to this proposal in that they allow adding functionality to existing classes, but different in a number of ways. The biggest difference is the overlapping/conflicting method names due to everything existing in one shared namespace. Another difference that is unique to Ruby mixins, though, is that they have no check that the methods they rely on are implemented by the implementing class.
ECMAScript mixin(...) pattern
class A extends mixin(SuperClass, FeatureA, FeatureB) {}This mixin pattern usually ends up creating one or more intermediate prototype objects which sit between the class and its superclass on the prototype chain. In contrast, this proposal works by copying the provided protocol methods into the class or its prototype. This proposal is also built entirely off of Symbol-named properties, but doing so using existing mechanisms would be tedious and difficult to do properly. For an example of the complexity involved in doing it properly, see the output of the sweet.js implementation.