Re: Ideas for World Hierarchy Example
Date: Sat, 13 Jan 2007 13:31:55 GMT
Message-ID: <fb5qh.424$1x.5287_at_ursa-nb00s0.nbnet.nb.ca>
Marshall wrote:
I don't know why she would find those questions interesting. After all,
> On Jan 12, 10:32 am, "dawn" <dawnwolth..._at_gmail.com> wrote:
>
>>Marshall wrote:
>>
>>
>>>Consider some other approach to data management, or
>>>even general computation. What are its primitive operators?
>>>Is the set provably minimal, or is there some redundancy?
>>>What algebraic properties do they have? What useful theorems
>>>can we derive from these properties? What is the computational
>>>power? It is the same as first order logic, untyped lambda
>>>calculus, what? What is the computational power of the type
>>>system? What interesting theorems can it prove about
>>>source code? What is the concurrency model? How does it
>>>compare to shared-state concurrency, or transaction isolation,
>>>or message passing concurrency? What is the constraint
>>>system like? How does it integrate with the type system?
>>>What constraints can be proven statically?
>>
>>>These questions are interesting.
>>
>>The questions I really find interesting are: How long did it take to
>>write that software application? How many developers were required?
>>How much experience did developers need and how much training? How
>>long does it take to maintain the software in various ways? How long
>>does it take to write another using and extending the same database?
>>How much additional time does it take to make the software sing for the
>>end-user compared to what is easiest to do that works, but isn't great?
>
> How are those questions working out for you? Have they been productive?