Здравствуйте, FR, Вы писали:
FR>А такое выражается хоть в каком-то строго статически типизированном языке,
FR>без применения средств макропрограммирования, только типами?
FR>Хотелось бы посмотреть пример, и как можно использовать.
const f:(a:any)=>any = (a:string) => 5
Используй как хочешь
