Придумалось вот следующее предложение по упрощению синтаксиса лямбда-выражений. Кто что скажет

по этому поводу?


1. Наряду с записью вида

x -> expr(x)

предлагается допустить более короткую эквивалентную запись

expr(.)

где точка обозначает позицию переменной в выражении, при этом эту точку иногда будет требоваться
заключать в дополнителные круглые скобки. Напимер, если

expr(x) = a*x + b

то тогда соответсвующее лямбда-выражение должно будет иметь вид

a*(.) + b

2. Наряду с записью вида

x -> expr(x,...,x)

опеределяющую функцию одной переменной, предлагается допускать также более короткую эквивалентную запись

expr(.,...,.)

где вместо многоточия предполагается конкретное число точек, разделенных запятыми.

Например, если определена некоторая функция f(x,y,z) 3-х переменных, то запись

f(x) = f(.,y,.)(x)

определяла бы функцию одной переменной.

Принятие этого предложения позволило бы, в частности, сделать более удобным использование broadcast.

Например, пусть определены некоторые переменные x, z, и итерируемый объект (например, вектор) u
тогда вместо

(v -> f(x,v,z)).(u)

можно будет писать просто

f(x,.,z).(u)

а вместо

(x -> f(x,y,x)).(u)

- писать

f(.,y,.).(u)

Кроме того, например,

f(., y, g(.)).(u)

в предлагаемых обозначениях означало бы то же самое, что и

(x -> f(x,y,g(x))).(u)

3. Предлагается также допускать использование точек с нижними числовыми индексами, для обозначения позиций
разных переменных (предполагается, что значения индексов произвольны, важно лишь, чтобы разным переменным
соответствовали бы разные индекся). Тогда, если определена некоторая функция нескольких переменных, например,
f(x,y,z,u), то наряду с определениями замыканий

(x,y) -> f(x,y,z,x)

(x,z) -> f(x,y,z,x)

определяющих функции меньшего числа переменных (2-х в данном случае), можно было бы использовать
эквивалентные им определения вида

f(.₁,.₂,z,.₁)

f(.₁,y,.₃,.₁)

4. Каррирование.

Предлагается наряду с нижними индексами у точек, обозначающих позиции переменнных, допустить также использование верхних индексов.
Тогда, для каррирования функции, вместо того, чтобы, например, писать

x -> y -> z -> f(x,y,z)

можно будет условиться писать просто

f(.¹, .², .³)

так, чтобы f(.¹, .², .³)(X)(Y)(Z) означало бы то же самое, что и (x -> y -> z -> f(x,y,z))(X)(Y)(Z)
где X, Y, Z - некоторые конкретные значения.

Извиняюсь за смайлик. Это не потому, что предложение плохое, а потому что уже столько копий по этому поводу сломали.... Последнее, что я пользовал был Underscores.jl, но возможно что-то ещё люди придумали.

Долго пытался понять, копий чего сломали)

Такая идея обсуждалась на гитхабе, но обсуждение заглохло: https://github.com/JuliaLang/julia/pull/24990