Исправление red75prim, (текущая версия) :
А почему вы для других видов не предлагаете вводить такое соответствие?
Потому я определил такой такой интерфейс. Исходя из текущего состояния языка. Будет поддержка конвертации списка аргументов в тупл, будет выглядеть как обычный вызов.
f: a, ((b, c), d) -> e
Блин, ну вы хоть один раз можете написать правильно? Полностью механическая трансляция. Берём первый тип, пишем «(первый тип,», берём второй тип, дописываем «(второй тип,», как доходим до конца дописываем «(последний тип, ()» и закрываем все скобки.
f: a -> b -> c -> d -> e транслируется в f: (a, (b, (c, (d, ())))) -> e.
f: (a, b) -> c -> d транслируется в f: ((a, b), (c, ())) -> d.
пока что нету вариадиков. Цирк.
Вроде больше на детский сад похоже. «Смотри, код то же самое делает» «Нет, это не вариадики, хочу вариадики».
Есть несколько итераторов, возвращающих разные типы. Передаем их в функцию, получаем итератор, возвращающий тупл, содержащий эти типы.
Форма в которой итераторы в функцию передаются не нравится? Ну, о вкусах не спорят. Стирания типов там никакого нет, все типы из итераторов на входе, будут в тупле на выходе. «Это динамическая семантика» - можно применить к любому коду.
Исходная версия red75prim, :
А почему вы для других видов не предлагаете вводить такое соответствие?
Потому я определил такой такой интерфейс. Исходя из текущего состояния языка. Будет поддержка конвертации списка аргументов в тупл, будет выглядеть как обычный вызов.
f: a, ((b, c), d) -> e
Блин, ну вы хоть один раз можете написать правильно? Полностью механическая трансляция. Берём первый тип, пишем «(первый тип,», берём второй тип, дописываем «(второй тип,», как доходим до конца дописываем «(последний тип, ()» и закрываем все скобки.
f: a -> b -> c -> d -> e транслируется в f: (a, (b, (c, (d, ())))) -> e.
f: (a, b) -> c -> d транслируется в f: ((a, b), (c, ())) -> d.
пока что нету вариадиков. Цирк.
Вроде больше на детский сад похоже. «Смотри, код то же самое делает» «Нет, это не вариадики, хочу вариадики».
Есть несколько итераторов, возвращающих разные типы. Передаем его в функцию, получаем итератор, возвращающий тупл, содержащий эти типы.
Форма в которой итераторы в функцию передаются не нравится? Ну, о вкусах не спорят. Стирания типов там никакого нет, все типы из итераторов на входе, будут в тупле на выходе. «Это динамическая семантика» - можно применить к любому коду.