Statically expanded DWIM

[Francois-Rene Rideau <address@hidden>]

Have some systems (maybe the original DWIM?) ever implemented
a statically resolved DWIM feature?
The idea is that the programmer would enter statements
in a lax dialect of the language,
and the DWIM feature would automatically translate them
into unambiguous strictly typed expressions,
that are what is actually stored in the source file
(and displayed on screen after the programmer hits the "enter" key).
In interactive mode, code that have triggered any "non-trivial" DWIM
transformations would require confirmation before being evaluated.

It seems to me that such system would bring the best of DWIM,
without the fear of its biting you while you're looking away.

[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
[  TUNES project for a Free Reflective Computing System  | http://tunes.org  ]
Paralysis through analysis.