Index

N4JS Language Specification

2019-08-08 13:15:33 CEST
version 0.9

Table of Contents

1. Introduction
- 1.1. Notation
  - 1.1.1. Grammar Notation
  - 1.1.2. Type Judgments and Rules and Constraints Notation
    - 1.1.2.1. Typing Rules and Judgments
    - 1.1.2.2. Types of an Element
- 1.2. Auxiliary Functions
2. Grammar
- 2.1. Lexical Conventions
3. Names
- 3.1. Access Control
- 3.2. Accessibility of Types, Top-Level Variables and Function Declarations
4. Types
- 4.1. Overview
- 4.2. Type Expressions
- 4.3. Type Inference
- 4.4. Generic and Parameterized Types
- 4.5. Primitive ECMAScript Types
- 4.6. Primitive N4JS Types
- 4.7. Built-in ECMAScript Object Types
- 4.8. Built-In N4JS Types
- 4.9. Type Modifiers
  - 4.9.1. Dynamic
  - 4.9.2. Optional Return Types
- 4.10. Union and Intersection Type (Composed Types)
- 4.11. Constructor and Classifier Type
- 4.12. This Type
  - 4.12.1. Syntax
  - 4.12.2. Semantics
- 4.13. Enums
  - 4.13.1. Enums (N4JS)
    - 4.13.1.1. Syntax
    - 4.13.1.2. Semantics
  - 4.13.2. String-Based Enums
- 4.14. Short-Hand Syntax
  - 4.14.1. Array Short-Hand Syntax
  - 4.14.2. IterableN Short-Hand Syntax
5. Classifiers
- 5.1. N4JS Specific Classifiers
- 5.2. Members
- 5.3. Structural Typing
6. Functions
- 6.1. Function Type
- 6.2. ECMAScript 5 Function Definition
  - 6.2.1. Function Declaration
    - 6.2.1.1. Syntax
    - 6.2.1.2. Semantics
  - 6.2.2. Function Expression
    - 6.2.2.1. Syntax
    - 6.2.2.2. Semantics and Type Inference
- 6.3. ECMAScript 2015 Function Definition
- 6.4. ECMAScript Proposals Function Definition
  - 6.4.1. Asynchronous Functions
- 6.5. N4JS Extended Function Definition
  - 6.5.1. Generic Functions
  - 6.5.2. Promisifiable Functions
7. Conversions and Reflection
- 7.1. Autoboxing and Coercing
- 7.2. Auto-Conversion of Objects
  - 7.2.1. Auto-Conversion of Class Instances
    - 7.2.1.1. Auto-Conversion of Interface Instances
  - 7.2.2. Auto-Conversion of Enum Literals
- 7.3. Type Cast and Type Check
  - 7.3.1. Type Cast
  - 7.3.2. Type Check
- 7.4. Reflection meta-information
- 7.5. Conversion of primitive types
8. Expressions
- 8.1. ECMAScript 5 Expressions
- 8.2. ECMAScript 6 Expressions
  - 8.2.1. The super Keyword
- 8.3. ECMAScript 7 Expressions
  - 8.3.1. Await Expression
- 8.4. N4JS Specific Expressions
- 8.5. Compile-Time Expressions
9. Statements
- 9.1. ECMAScript 5 Statements
- 9.2. ECMAScript 6 Statements
10. Annotations
- 10.1. Introduction
- 10.2. Declaration of Annotations
11. Extended Fetaures
- 11.1. Array and Object Destructuring
  - 11.1.1. Syntax
  - 11.1.2. Semantics
- 11.2. Dependency Injection
- 11.3. Test Support
- 11.4. Polyfill Definitions
12. Components
- 12.1. Overview
- 12.2. Component Types
- 12.3. Package.json File
- 12.4. Support for NPM Scopes
- 12.5. N4JS Type Definitions
- 12.6. Modules
- 12.7. API and Implementation Component
  - 12.7.1. Execution of API and Implementation Components
  - 12.7.2. API and Implementation With DI
13. PlainJS
- 13.1. Type Inference and Validation for Plain JS
- 13.2. External Declarations
- 13.3. Global Definitions
- 13.4. Runtime Definitions
- 13.5. Applying Polyfills
14. JSDoc
- 14.1. General N4JSDoc Features
  - 14.1.1. Provided Inline Tags
    - 14.1.1.1. @code
    - 14.1.1.2. @link
- 14.2. N4JSdoc for User Projects
  - 14.2.1. Standard Tags
  - 14.2.2. Test Related Tags
- 14.3. N4JSDoc for API and Implementation Projects
  - 14.3.1. @apiNote
  - 14.3.2. API Project Tags
    - 14.3.2.1. @apiState
15. JSX
- 15.1. JSX Support
- 15.2. JSX Backend
16. Grammars
- 16.1. Type Expressions Grammar
- 16.2. N4JS Language Grammar
17. JSObjects
- 17.1. Object
- 17.2. String
- 17.3. Boolean
- 17.4. Number
  - 17.4.1. Static Attributes
- 17.5. Function
- 17.6. Error
- 17.7. Array
- 17.8. Date
- 17.9. Math
  - 17.9.1. Static Attributes
- 17.10. RegExp
- 17.11. JSON
18. N4JS Objects
- 18.1. Reflection Model
- 18.2. Error Types
  - 18.2.1. N4ApiNotImplemented
Appendix A: Acronyms
Appendix B: License
Appendix C: Bibliography

Last Updated: 2019-08-08

Authors:
Jens von Pilgrim, Jakub Siberski, Mark-Oliver Reiser, Torsten Krämer, Ákos Kitta, Sebastian Zarnekow, Lorenzo Bettini, Jörg Reichert, Kristian Duske, Marcus Mews, Minh Quang Tran, Luca Beurer-Kellner

Abstract

This document contains the N4JS Specification.

N4JS Language Specification

Abstract

Quick Links