Interface Shape Carries Meaning

A function that moves a point needs coordinates. A controller needs state, a target, and measured input. A circuit exposes data, clocks, enables, and configuration. The roles among those values define the problem as much as the calculation does.

Tuples and product types can package many arguments into one formal object. Currying can transform a multi-argument function into a chain of single-argument functions. Both techniques preserve the underlying shape; good notation should reveal it rather than make learners recover it later.

Multiple Inputs Make Abstraction Concrete

Named inputs tell a caller which value acts as source, destination, coordinate, gain, limit, predicate, clock, or configuration. Structured outputs can return a result together with state, error, derivative, provenance, or a next action.

That explicit structure makes computation easier to compose and test. It also connects elementary arithmetic directly to multivariable calculus, partial differential equations, tensor algebra, data models, and software interfaces.

Reform the First Lesson

Children already understand actions with several participants and several results. Education can name those relationships early, use visual grouping to keep them clear, and let programming tools handle notation that once made generality expensive to teach.

Start with inputs, outputs, and roles. The single-argument function then becomes one elegant case inside a richer and more intuitive theory of abstraction.