> Hungarian notation presents type information at the point of use, as opposed to declaration. > I must ask: are you really arguing that identifiers need not

> Hungarian notation presents type information at the point of use, as opposed to declaration. > I must ask: are you really arguing that identifiers need not give any hint as to what they are bound to? Because that idea is kinda problematic. seanmcdirmid's live programming environment makes heavy use of a "gutter" between code lines to display things like possible values of variables and errors, I could see adding terse inferred type information there too, without the programmer having to type any of it or go through the error-prone process of updating it when it changes. I'm guessing the hard part would be identifying exactly what type information the developer cares about, heavy anonymous type inference can result in very verbose type specifications with lots of noise. http://research.microsoft.com/en-us/people/smcdirm/liveprogramming.aspx?iedz00 http://research.microsoft.com/en-us/people/smcdirm/liveprogr...