Ralf Hemmecke <[EMAIL PROTECTED]> writes: | > I think I've said my preference, which I will reproduce in case it | > was lost in the Atlantic Ocean: | > My view on scoping is that | > b: Integer := 1 | > b: Float := 2.3 | > in the same scope should be an error. | | But why?
Because *I* find it simpler to read (and write) programs when I don't have to constantly apply a yoyo algorithm to decide which types the same variable has in the same expresion, in the same scope. That is *my opinion*, not a universal fact universally superior to any other scheme. | Try imagine that there is someone on the other side of the | Atlantic Ocean who wants to find out about *your* reason behind your | opinion? I'm imagining very well, that is why I strive to state *opinion* as personal preference (I hope I would not be subpoenaed into rationally explaining my colors and taste in terms of universal truths). I believe it would be wrong to assume that I had a cold rational universally held superior reason to prefer one resolution over another, and I'm trying to keep it to myself. That would be offensive. | If you don't want to share your knowledge, then tell me and I will ask | no more. I have sincere hopes that sentences decorated my `my view', `I think', `in my opinion' are interpreted as *simple opinions*, NOT statement of facts or knowledge or universal truths -- on the other side of the Atlantic Ocean. I also hope that when people don't express their personal opinions as simple universal facts, it is assumed they are being polite as opposed to not sharing their knowledge. I must confess that your message reads to me as unpleasant offense. -- Gaby ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
