prettier Show test.js Source code

Return Download prettier： download test.js Source code - Download prettier Source code - Type:.js

type CovArrayVerbose<X,Y:X> = Array<Y>;
var b: CovArrayVerbose<number,*> = [];
var y: CovArrayVerbose<mixed,*> = b;
y[0] = ""; // error
 
class NVerbose<E,I:E> {
    x: CovArrayVerbose<E,I>;
    foo(): CovArrayVerbose<mixed,I> { return this.x; }
}
 
var nv: NVerbose<number,*> = new NVerbose;
nv.x = [0];
(nv.x[0]: string); // error
(nv.foo()[0]: string); // error
 
/* TODO: use existentials for non-verbose covariance?
 
type CovArray<X> = Array<*:X>;
var c: CovArray<number> = [0];
var z: CovArray<string> = c; // error
 
var d: CovArray<number> = [];
var w: CovArray<mixed> = d;
w[0] = ""; // error
 
type P<X> = CovArray<X>;
var p: P<mixed> = [];
(p[0]: number); // not an error!
p[0] = ""; // error
 
class M {
    x: CovArray<number>;
    foo(): CovArray<mixed> { return this.x; }
    bar(x: string) { this.foo()[0] = x; } // error
}
 
class N<E> {
    x: CovArray<E>;
    foo(): CovArray<mixed> { return this.x; }
    bar(e: string) { this.foo()[0] = e; } // error
    qux(e: E) { this.foo()[0] = e; }
}
 
var n: N<number> = new N;
n.x = [0];
(n.x[0]: string); // error
(n.foo()[0]: string); // not an error!
 
*/
 

downloadtest.js Source code - Download prettier Source code

Related Source Codes/Software：

storybook - 2017-06-07

ionicons - The premium icon font for Ionic ... 2017-06-07

AsyncDisplayKit - Smooth asynchronous user interfaces for iOS apps. ... 2017-06-07

lottie-android - Render After Effects animations natively on Androi... 2017-06-07

parse-server - Parse-compatible API server module for Node/Expres... 2017-06-07

inferno - An extremely fast, React-like JavaScript library f... 2017-06-08

guetzli - Perceptual JPEG encoder 2017-06-08

cs-video-courses - List of Computer Science courses with video lectur... 2017-06-08

interviews - Everything you need to know to get the job. 2017-06-08

prepack - Prepack is a partial evaluator for JavaScript. Pre... 2017-06-08

CRYENGINE - CRYENGINE is a powerful real-time game development... 2017-06-11

postal - 2017-06-11

reactide - Reactide is the first dedicated IDE for React web ... 2017-06-11

rkt - rkt is a pod-native container engine for Linux. It... 2017-06-11

uWebSockets - Tiny WebSockets https://for... 2017-06-11

realworld - TodoMVC for the RealWorld - Exemplary fullstack Me... 2017-06-11

goreplay - GoReplay is an open-source tool for capturing and ... 2017-06-10

pyenv - Simple Python version management 2017-06-10

redux-saga - An alternative side effect model for Redux apps ... 2017-06-10

angular-starter - 2017-06-10