Sean Kelly Wrote: > If the problem is simply one of explaining typed variables to someone with a maths background, that's somewhat of a different problem. Err... I meant "rebindable variables," thought I've never actually met a maths person who had trouble grasping that aspect of imperative languages.