Представьте, что есть три функции, все они принимают и возвращают аргументы одного и того же типа.
Обычно мы можем записать это как fun3(fun2(fun1(args))
, это может означать, что функция последовательности действует на параметр по порядку, которому нравится одна разновидность "map" функций высшего порядка.
Вы знаете, в системе Mathematica мы можем записать это как fun3@fun2@fun1@args
.
Теперь вопрос в том, можем ли мы интегрировать fun3@fun2@fun1 как еще одно развлечение без изменения их определения, поэтому fun(args)
можно заменить fun3(fun2(fun1(args))
, это выглядит более элегантно и лаконично.