BVB Source Codes

prettier Show test.js Source code

Return Download prettier: download test.js Source code - Download prettier Source code - Type:.js
  1. class P<X> { x: X; } // this is like Promise
  2.  
  3. type Pstar<X> = X | Pstar<P<X>>; // this is like Promise*
  4.  
  5. var p: P<number> = new P;
  6. (p.x: string); // error
  7.  
  8. var pstar: Pstar<number> = 0; // OK
  9. (pstar: number); // error, but limit potentially unbounded number of errors!
  10.                  // e.g., P<number> ~/~ number, P<P<number>> ~/~ number, ...
  11.  
  12. pstar = p; // OK
  13. (pstar.x: string); // error
  14.  
  15. pstar = (new P: P<P<number>>); // OK
  16. (pstar.x: string); // error
  17.  
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

 Back to top