What is “type '{}'”?

Question

In TypeScript, what exactly is type \'{}\' and how does it relate to other built-in types?

For example, the last line of the following example gives

Answer 1

You need to have your call function like this:

function call<T>(fn: NoArgsFn<T>): T {
    return fn();
}

In your original call function you had 2 generic types which you did not pass when calling the function and the compiler failed to infer what types they are.

---

Edit

Type {} is an object literal (as far as I'm aware), and so you can face the same error like this:

var o = {};
var n: number = o; // Error: Type '{}' is not assignable to type 'number'

I'm not exactly sure why the compiler inferred that the function returns {} in your example.

Answer 2

type {}

Consider the object type { id: number, name: string }, which represents a 2-field object. Legal values of this type include { id: 1, name: "Foo" } and { id: 2, name: "Bar" }.

The type object {} represents a 0-field object. The only legal value of this type is an empty object: {}.

So the value { id: 1, name: "Foo" } is of type { id: number, name: string }, and the value {} (i.e. an empty object) is of type {}.

The error

The error seems to be a bug in the TypeScript compiler (I submitted an issue here). It fails to infer the type arguments in the call to call. You can work around this by explicitly specifying the type arguments:

let the_answer: number = call<number, NoArgsFn<number>>(get_the_answer);

But it's simpler and more straightforward to use a single type argument instead, as @NitzanTomer suggested:

function call<T>(fn: NoArgsFn<T>): T {
  return fn();
}

EDIT: I issue I submitted was closed as a duplicate of #7234 which is to be fixed before the release of TypeScript 2.0.

Answer 3

As far as I know, {} casts directly to a hash map like usage. You can only use keyed properties, versus the dot notation.

var o:{} = {}

should be equivalent to

var o:{[key:string]:any} = {}

So

o.x = 5; //fails

But

o['x'] = 5; //succeeds