---------------------------------------- > Date: Mon, 7 Jan 2008 01:37:42 -0800 > From: [EMAIL PROTECTED] > To: kplug-lpsg@kernel-panic.org > Subject: Re: Introducing Cobra > > On Mon, Jan 07, 2008 at 03:26:04AM -0600, Gabriel Sechan wrote: > >> You can't get rid of types, they're inherent in the universe- all data >> has a type. All you can do is not tell me wht it is. > > What about a function to manipulate a list? The code implementing the list > does't care what specifically the type of the list is, just that the list > entirely has objects of the same type.
Then the type is list. Did you read the part of my argument where I differentiated between types (or roles) and language types? It still has a type/role, even if the type/role covers a set of language types. > > This is the problem that type polymorphism, or generics solve. (Templates > try to solve it, but don't.) > Templates solve a subset of it. There's basicly 4 types of polymorphism. Templates solve one. Inheretence another. C++ doesn't support the other two. Thats by design. I have my issues with template syntax and a few features, but lets be fair to them. > These are important issues to consider, though. What the programmer > considers valuable information is what she or he will focus on. A > programmer focusing on type produces very different code than one focusing > on say logic, or flow, or structure. > Probably. It might be interesting- what do you think the difference are like between them? I might need arguing material tomorrow night too :) Gabe _________________________________________________________________ Get the power of Windows + Web with the new Windows Live. http://www.windowslive.com?ocid=TXT_TAGHM_Wave2_powerofwindows_012008 -- KPLUG-LPSG@kernel-panic.org http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
