[Grace-core] Learnable Programming

[Marco Servetto]

But he never takes the obvious next step, which is to fix the
language, so that the program says

ellipseAtX(65)y(50)height(60)width(60)

Or  """ellipse( x=65  y=50  height=60  width=60 )""" that also show
how the order of arguments is not relevant for the function itself, or
just to not be too much "grace" oriented
Indeed all this "research field" is about visualizing and annotating
current programming languages,
to show both the meaning of the starting code and both the behaviour at runtime

Is there any research for a language where that would have no need for
annotation at all?

>From a formal point of view I can  not avoid thinking about small step
reduction: a language designed in such a way that small step reduction
is easy to follow for a programmer, and where a tool simply showing
small step reduction can be good enough for learning.