This feature is something most users may never have to think about; however, if you’ve hit issues under --isolatedModules, TypeScript’s transpileModule API, or Babel, this feature might be relevant.
TypeScript 3.8 adds a new syntax for type-only imports and exports.
\n\ntsimport type { SomeThing } from \"./some-module.js\";\n\nexport type { SomeThing };
import type only imports declarations to be used for type annotations and declarations.\nIt always gets fully erased, so there’s no remnant of it at runtime.\nSimilarly, export type only provides an export that can be used for type contexts, and is also erased from TypeScript’s output.
It’s important to note that classes have a value at runtime and a type at design-time, and the use is context-sensitive.\nWhen using import type to import a class, you can’t do things like extend from it.
\ntsimport type { Component } from \"react\";\n\ninterface ButtonProps {\n // ...\n}\n\nclass Button extends Component<ButtonProps> {\n // ~~~~~~~~~\n // error! 'Component' only refers to a type, but is being used as a value here.\n\n // ...\n}
If you’ve used Flow before, the syntax is fairly similar.\nOne difference is that we’ve added a few restrictions to avoid code that might appear ambiguous.
\n\nts// Is only 'Foo' a type? Or every declaration in the import?\n// We just give an error because it's not clear.\n\nimport type Foo, { Bar, Baz } from \"some-module\";\n// ~~~~~~~~~~~~~~~~~~~~~~\n// error! A type-only import can specify a default import or named bindings, but not both.
In conjunction with import type, TypeScript 3.8 also adds a new compiler flag to control what happens with imports that won’t be utilized at runtime: importsNotUsedAsValues.\nThis flag takes 3 different values:
remove: this is today’s behavior of dropping these imports. It’s going to continue to be the default, and is a non-breaking change.preserve: this preserves all imports whose values are never used. This can cause imports/side-effects to be preserved.error: this preserves all imports (the same as the preserve option), but will error when a value import is only used as a type. This might be useful if you want to ensure no values are being accidentally imported, but still make side-effect imports explicit.For more information about the feature, you can take a look at the pull request, and relevant changes around broadening where imports from an import type declaration can be used.
TypeScript 3.8 brings support for ECMAScript’s private fields, part of the stage-3 class fields proposal.
\n\ntsclass Person {\n #name: string\n\n constructor(name: string) {\n this.#name = name;\n }\n\n greet() {\n console.log(`Hello, my name is ${this.#name}!`);\n }\n}\n\nlet jeremy = new Person(\"Jeremy Bearimy\");\n\njeremy.#name\n// ~~~~~\n// Property '#name' is not accessible outside class 'Person'\n// because it has a private identifier.
Unlike regular properties (even ones declared with the private modifier), private fields have a few rules to keep in mind.\nSome of them are:
# character. Sometimes we call these private names.public or private can’t be used on private fields.Apart from “hard” privacy, another benefit of private fields is that uniqueness we just mentioned.\nFor example, regular property declarations are prone to being overwritten in subclasses.
\n\ntsclass C {\n foo = 10;\n\n cHelper() {\n return this.foo;\n }\n}\n\nclass D extends C {\n foo = 20;\n\n dHelper() {\n return this.foo;\n }\n}\n\nlet instance = new D();\n// 'this.foo' refers to the same property on each instance.\nconsole.log(instance.cHelper()); // prints '20'\nconsole.log(instance.dHelper()); // prints '20'
With private fields, you’ll never have to worry about this, since each field name is unique to the containing class.
\n\ntsclass C {\n #foo = 10;\n\n cHelper() {\n return this.#foo;\n }\n}\n\nclass D extends C {\n #foo = 20;\n\n dHelper() {\n return this.#foo;\n }\n}\n\nlet instance = new D();\n// 'this.#foo' refers to a different field within each class.\nconsole.log(instance.cHelper()); // prints '10'\nconsole.log(instance.dHelper()); // prints '20'
Another thing worth noting is that accessing a private field on any other type will result in a TypeError!
\ntsclass Square {\n #sideLength: number;\n\n constructor(sideLength: number) {\n this.#sideLength = sideLength;\n }\n\n equals(other: any) {\n return this.#sideLength === other.#sideLength;\n }\n}\n\nconst a = new Square(100);\nconst b = { sideLength: 100 };\n\n// Boom!\n// TypeError: attempted to get private field on non-instance\n// This fails because 'b' is not an instance of 'Square'.\nconsole.log(a.equals(b));
Finally, for any plain .js file users, private fields always have to be declared before they’re assigned to.
\njsclass C {\n // No declaration for '#foo'\n // :(\n\n constructor(foo: number) {\n // SyntaxError!\n // '#foo' needs to be declared before writing to it.\n this.#foo = foo;\n }\n}
JavaScript has always allowed users to access undeclared properties, whereas TypeScript has always required declarations for class properties.\nWith private fields, declarations are always needed regardless of whether we’re working in .js or .ts files.
\njsclass C {\n /** @type {number} */\n #foo;\n\n constructor(foo: number) {\n // This works.\n this.#foo = foo;\n }\n}
For more information about the implementation, you can check out the original pull request
\nWe’ve already received many questions on which type of privates you should use as a TypeScript user: most commonly, “should I use the private keyword, or ECMAScript’s hash/pound (#) private fields?”\nIt depends!
When it comes to properties, TypeScript’s private modifiers are fully erased - that means that at runtime, it acts entirely like a normal property and there’s no way to tell that it was declared with a private modifier. When using theprivate` keyword, privacy is only enforced at compile-time/design-time, and for JavaScript consumers it’s entirely intent-based.
\ntsclass C {\n private foo = 10;\n}\n\n// This is an error at compile time,\n// but when TypeScript outputs .js files,\n// it'll run fine and print '10'.\nconsole.log(new C().foo); // prints '10'\n// ~~~\n// error! Property 'foo' is private and only accessible within class 'C'.\n\n// TypeScript allows this at compile-time\n// as a \"work-around\" to avoid the error.\nconsole.log(new C()[\"foo\"]); // prints '10'
The upside is that this sort of “soft privacy” can help your consumers temporarily work around not having access to some API, and also works in any runtime.
\nOn the other hand, ECMAScript’s # privates are completely inaccessible outside of the class.
\ntsclass C {\n #foo = 10;\n}\n\nconsole.log(new C().#foo); // SyntaxError\n// ~~~~\n// TypeScript reports an error *and*\n// this won't work at runtime!\n\nconsole.log(new C()[\"#foo\"]); // prints undefined\n// ~~~~~~~~~~~~~~~\n// TypeScript reports an error under 'noImplicitAny',\n// and this prints 'undefined'.
This hard privacy is really useful for strictly ensuring that nobody can take use of any of your internals.\nIf you’re a library author, removing or renaming a private field should never cause a breaking change.
\nAs we mentioned, another benefit is that subclassing can be easier with ECMAScript’s # privates because they really are private.\nWhen using ECMAScript # private fields, no subclass ever has to worry about collisions in field naming.\nWhen it comes to TypeScript’s private property declarations, users still have to be careful not to trample over properties declared in superclasses.
One more thing to think about is where you intend for your code to run.\nTypeScript currently can’t support this feature unless targeting ECMAScript 2015 (ES6) targets or higher.\nThis is because our downleveled implementation uses WeakMaps to enforce privacy, and WeakMaps can’t be polyfilled in a way that doesn’t cause memory leaks.\nIn contrast, TypeScript’s private-declared properties work with all targets - even ECMAScript 3!
A final consideration might be speed: private properties are no different from any other property, so accessing them is as fast as any other property access no matter which runtime you target.\nIn contrast, because # private fields are downleveled using WeakMaps, they may be slower to use.\nWhile some runtimes might optimize their actual implementations of # private fields, and even have speedy WeakMap implementations, that might not be the case in all runtimes.
export * as ns SyntaxIt’s often common to have a single entry-point that exposes all the members of another module as a single member.
\n\ntsimport * as utilities from \"./utilities.js\";\nexport { utilities };
This is so common that ECMAScript 2020 recently added a new syntax to support this pattern!
\n\ntsexport * as utilities from \"./utilities.js\";
This is a nice quality-of-life improvement to JavaScript, and TypeScript 3.8 implements this syntax.\nWhen your module target is earlier than es2020, TypeScript will output something along the lines of the first code snippet.
awaitTypeScript 3.8 provides support for a handy upcoming ECMAScript feature called “top-level await“.
JavaScript users often introduce an async function in order to use await, and then immediately called the function after defining it.
\njsasync function main() {\n const response = await fetch(\"...\");\n const greeting = await response.text();\n console.log(greeting);\n}\n\nmain().catch(e => console.error(e));
This is because previously in JavaScript (along with most other languages with a similar feature), await was only allowed within the body of an async function.\nHowever, with top-level await, we can use await at the top level of a module.
\ntsconst response = await fetch(\"...\");\nconst greeting = await response.text();\nconsole.log(greeting);\n\n// Make sure we're a module\nexport {};
Note there’s a subtlety: top-level await only works at the top level of a module, and files are only considered modules when TypeScript finds an import or an export.\nIn some basic cases, you might need to write out export {} as some boilerplate to make sure of this.
Top level await may not work in all environments where you might expect at this point.\nCurrently, you can only use top level await when the target compiler option is es2017 or above, and module is esnext or system.\nSupport within several environments and bundlers may be limited or may require enabling experimental support.
For more information on our implementation, you can check out the original pull request.
\nes2020 for target and moduleTypeScript 3.8 supports es2020 as an option for module and target.\nThis will preserve newer ECMAScript 2020 features like optional chaining, nullish coalescing, export * as ns, and dynamic import(...) syntax.\nIt also means bigint literals now have a stable target below esnext.
TypeScript 3.8 supports JavaScript files by turning on the allowJs flag, and also supports type-checking those JavaScript files via the checkJs option or by adding a // @ts-check comment to the top of your .js files.
Because JavaScript files don’t have dedicated syntax for type-checking, TypeScript leverages JSDoc.\nTypeScript 3.8 understands a few new JSDoc tags for properties.
\nFirst are the accessibility modifiers: @public, @private, and @protected.\nThese tags work exactly like public, private, and protected respectively work in TypeScript.
\njs// @ts-check\n\nclass Foo {\n constructor() {\n /** @private */\n this.stuff = 100;\n }\n\n printStuff() {\n console.log(this.stuff);\n }\n}\n\nnew Foo().stuff;\n// ~~~~~\n// error! Property 'stuff' is private and only accessible within class 'Foo'.
@public is always implied and can be left off, but means that a property can be reached from anywhere.@private means that a property can only be used within the containing class.@protected means that a property can only be used within the containing class, and all derived subclasses, but not on dissimilar instances of the containing class.Next, we’ve also added the @readonly modifier to ensure that a property is only ever written to during initialization.
\njs// @ts-check\n\nclass Foo {\n constructor() {\n /** @readonly */\n this.stuff = 100;\n }\n\n writeToStuff() {\n this.stuff = 200;\n // ~~~~~\n // Cannot assign to 'stuff' because it is a read-only property.\n }\n}\n\nnew Foo().stuff++;\n// ~~~~~\n// Cannot assign to 'stuff' because it is a read-only property.
watchOptionsTypeScript 3.8 ships a new strategy for watching directories, which is crucial for efficiently picking up changes to node_modules.
For some context, on operating systems like Linux, TypeScript installs directory watchers (as opposed to file watchers) on node_modules and many of its subdirectories to detect changes in dependencies.\nThis is because the number of available file watchers is often eclipsed by the of files in node_modules, whereas there are way fewer directories to track.
Older versions of TypeScript would immediately install directory watchers on folders, and at startup that would be fine; however, during an npm install, a lot of activity will take place within node_modules and that can overwhelm TypeScript, often slowing editor sessions to a crawl.\nTo prevent this, TypeScript 3.8 waits slightly before installing directory watchers to give these highly volatile directories some time to stabilize.
Because every project might work better under different strategies, and this new approach might not work well for your workflows, TypeScript 3.8 introduces a new watchOptions field in tsconfig.json and jsconfig.json which allows users to tell the compiler/language service which watching strategies should be used to keep track of files and directories.
\njson{\n // Some typical compiler options\n compilerOptions: {\n target: \"es2020\",\n moduleResolution: \"node\"\n // ...\n },\n\n // NEW: Options for file/directory watching\n watchOptions: {\n // Use native file system events for files and directories\n watchFile: \"useFsEvents\",\n watchDirectory: \"useFsEvents\",\n\n // Poll files for updates more frequently\n // when they're updated a lot.\n fallbackPolling: \"dynamicPriority\"\n }\n}
watchOptions contains 4 new options that can be configured:
watchFile: the strategy for how individual files are watched. This can be set to
fixedPollingInterval: Check every file for changes several times a second at a fixed interval.priorityPollingInterval: Check every file for changes several times a second, but use heuristics to check certain types of files less frequently than others.dynamicPriorityPolling: Use a dynamic queue where less-frequently modified files will be checked less often.useFsEvents (the default): Attempt to use the operating system/file system’s native events for file changes.useFsEventsOnParentDirectory: Attempt to use the operating system/file system’s native events to listen for changes on a file’s containing directories. This can use fewer file watchers, but might be less accurate.watchDirectory: the strategy for how entire directory trees are watched under systems that lack recursive file-watching functionality. This can be set to:
fixedPollingInterval: Check every directory for changes several times a second at a fixed interval.dynamicPriorityPolling: Use a dynamic queue where less-frequently modified directories will be checked less often.useFsEvents (the default): Attempt to use the operating system/file system’s native events for directory changes.fallbackPolling: when using file system events, this option specifies the polling strategy that gets used when the system runs out of native file watchers and/or doesn’t support native file watchers. This can be set to
fixedPollingInterval: (See above.)priorityPollingInterval: (See above.)dynamicPriorityPolling: (See above.)synchronousWatchDirectory: Disable deferred watching on directories. Deferred watching is useful when lots of file changes might occur at once (e.g. a change in node_modules from running npm install), but you might want to disable it with this flag for some less-common setups.For more information on these changes, head over to GitHub to see the pull request to read more.
\nTypeScript 3.8 introduces a new compiler option called assumeChangesOnlyAffectDirectDependencies.\nWhen this option is enabled, TypeScript will avoid rechecking/rebuilding all truly possibly-affected files, and only recheck/rebuild files that have changed as well as files that directly import them.
For example, consider a file fileD.ts that imports fileC.ts that imports fileB.ts that imports fileA.ts as follows:
fileA.ts <- fileB.ts <- fileC.ts <- fileD.ts\nIn --watch mode, a change in fileA.ts would typically mean that TypeScript would need to at least re-check fileB.ts, fileC.ts, and fileD.ts.\nUnder assumeChangesOnlyAffectDirectDependencies, a change in fileA.ts means that only fileA.ts and fileB.ts need to be re-checked.
In a codebase like Visual Studio Code, this reduced rebuild times for changes in certain files from about 14 seconds to about 1 second.\nWhile we don’t necessarily recommend this option for all codebases, you might be interested if you have an extremely large codebase and are willing to defer full project errors until later (e.g. a dedicated build via a tsconfig.fullbuild.json or in CI).
For more details, you can see the original pull request.
","headings":[{"value":"Type-Only Imports and Export","depth":2},{"value":"ECMAScript Private Fields","depth":2},{"value":"Which should I use?","depth":3},{"value":" export * as ns Syntax","depth":2},{"value":" Top-Level await","depth":2},{"value":"es2020 for target and module","depth":2},{"value":"JSDoc Property Modifiers","depth":2},{"value":"Better Directory Watching on Linux and watchOptions","depth":2},{"value":"“Fast and Loose” Incremental Checking","depth":2}],"frontmatter":{"permalink":"/docs/handbook/release-notes/typescript-3-8.html","title":"TypeScript 3.8"}}},"pageContext":{"slug":"/docs/handbook/release-notes/typescript-3-8.html","isOldHandbook":true}}}