Во всех других строго типизированных языках, которые я видел, определения типов предшествуют значению. Я хотел бы следовать тому же шаблону в TypeScript, заставляя определение переменной иметь полное определение типа, предшествующее =.
Полагаю, я перепробовал все возможные конфигурации typedef и no-inferrable-types, но не могу заставить линтера разрешить этот пример по своему усмотрению:
const f: (x: number) => number = (x) => x * x; // should be valid
const g = (x: number): number => x * x; // should be invalid
const n = 3; // should be valid