TypeScriptの関数の型について

Question

下記のコードに関して、2つ質問があります。
① FGのfの型に関してはmessageを引数としてvoidを返す関数が定義されているのにも関わらず、変数fgに定義されている関数fは() => voidで引数がない。 なぜ、(message: string) => nullと書いていないのに、コンパイルエラーにならないのか？

② void型はundefinedを許容しているが、nullは許容していない。しかし、fgで定義されている関数fはnullを返している。なぜ、コンパイルエラーにならないのか？

export type FG = {
  f: (message: string) => void;
};

const fg: FG = {
  f: () => null,
};

Answer 1

なぜ、(message: string) => nullと書いていないのに、コンパイルエラーにならないのか？

JavaScriptでは、宣言した引数より余分に引数を渡しても、特に問題ないという仕様になっています。TypeScriptでもそれを受け継いで、引数の少ない関数を、引数の多い関数の型で扱えるようになっています。

しかし、fgで定義されている関数fはnullを返している。なぜ、コンパイルエラーにならないのか？

関数の返り値としてvoidを指定した場合、「呼び出す側は返り値を使わない」という意味として解釈されます。結果、何を返す関数でも矛盾しない（何を返しても受け取った側で使わないから問題ない）、ということになります。