Gabriel Sechan wrote: > ---------------------------------------- > >> Gabriel Sechan wrote: >> >>> Every variable has a role. However, that role is mapped back into a type, >>> or a set of types. >>> >> Not with ad-hoc polymorphism. >> >> > Sure it is. Just a very large set. > It's not large (in fact it may be quite small). It's *undefined*. With something like Eiffel you might try to define it with a rules based approach, but even that is often a distraction and fails to let you focus on just naming your variable and moving on.
--Chris -- KPLUG-LPSG@kernel-panic.org http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
