TP
а я спрашиваю про реальные случаи, которые работают так как это «примерно представляется»
ибо в моём представлении, как только начнёшь это делать, то типизация потребуется по всей цепочке сопрягаемых элементов (в контексте статической compile time типизации)
Я понимаю о чем вы: типа если у нас есть функция, у которой типизированный параметр, то вызывающая функция тоже должна быть типизирована итд итп)
Это как бы так, но не совсем)