ΑZ
И зачем это вообще надо? Как эти телодвижения улучшают корректность программы с точки зрения системы типов?
Вот например(это псевдокод) у меня есть такая программа:
Вот эти все "я хочу" вполне выводятся в компил-тайме без взяких именованных интерфейсов, тайпклассов и прочего обслуживания компилятора.
Вот например(это псевдокод) у меня есть такая программа:
var foo = {a: 100, b: 200.0}; // я хочу чтобы он мне вывел тут что foo типы {a: int, b: float}
function bar(param: {a: int}) {
}
// я хочу, чтобы тут он понял, что я передаю объект, соответствующий запрошенному интерфейсу.
bar(foo)
Вот эти все "я хочу" вполне выводятся в компил-тайме без взяких именованных интерфейсов, тайпклассов и прочего обслуживания компилятора.
Ок, давай я такой вопрос задам: как в твоем чудо-коде не читая тело foo понять, что она ожидает объект с интовым полем
a?