Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages

Path	csiph.com!usenet.pasdenom.info!news.albasani.net!newsfeed.freenet.ag!news2.euro.net!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path	<dreamingforward@gmail.com>
X-Original-To	python-list@python.org
Delivered-To	python-list@mail.python.org
X-Spam-Status	OK 0.026
X-Spam-Evidence	'H': 0.95; 'S': 0.00; 'subject:: [': 0.04; 'argument': 0.05; 'compiler': 0.07; 'transform': 0.07; 'arguments': 0.09; 'differing': 0.09; 'logic': 0.09; 'translate': 0.10; 'cc:addr:python-list': 0.11; 'i': 0.16; 'boolean': 0.16; 'cc:name:python list': 0.16; 'distinct': 0.16; 'messy': 0.16; 'real.': 0.16; 'saying.': 0.16; 'subject: \n ': 0.16; 'subject:OOP': 0.16; 'subject:object': 0.16; 'subject:possible': 0.16; 'subject:programming': 0.16; 'subject:type': 0.16; 'do,': 0.16; 'wrote:': 0.18; 'trying': 0.19; 'thu,': 0.19; 'subject:] ': 0.20; 'foundation': 0.20; 'programming': 0.22; 'community.': 0.22; 'saying': 0.22; 'separate': 0.22; 'cc:addr:python.org': 0.22; 'affects': 0.24; 'convenient': 0.24; 'exists': 0.24; 'mathematical': 0.24; 'stick': 0.24; 'cc:no real name:20': 0.24; 'purposes': 0.26; 'subject:/': 0.26; 'header:In-Reply-To:1': 0.27; 'point': 0.28; "doesn't": 0.30; 'cc:22': 0.30; 'message- id:@mail.gmail.com': 0.30; "i'm": 0.30; 'easier': 0.31; 'symbolic': 0.31; 'another': 0.32; 'quite': 0.32; 'proceed': 0.33; 'problem': 0.35; 'basic': 0.35; "can't": 0.35; 'common': 0.35; 'problem.': 0.35; 'anybody': 0.35; 'no,': 0.35; 'point.': 0.35; 'but': 0.35; 'received:google.com': 0.35; 'really': 0.36; 'possible': 0.36; 'two': 0.37; 'jason': 0.38; 'others.': 0.38; 'issue': 0.38; 'pm,': 0.38; 'anything': 0.39; 'called': 0.40; 'how': 0.40; 'skip:u 10': 0.60; 'ground': 0.60; 'problems.': 0.60; 'solve': 0.60; 'numbers': 0.61; 'digital': 0.61; 'back': 0.62; 'show': 0.63; 'choose': 0.64; 'subject:The': 0.64; 'provide': 0.64; 'different': 0.65; 'to:addr:gmail.com': 0.65; 'within': 0.65; 'natural': 0.68; 'yes': 0.68; 'business': 0.70; 'wish': 0.70; 'computers': 0.72; 'physical': 0.72; 'theoretical': 0.74; 'betraying': 0.84; 'complex,': 0.84; 'dominant': 0.84; 'interchange': 0.84; 'literature': 0.84; 'promptly': 0.84; 'calculus': 0.91; 'care,': 0.91; 'differences': 0.93; '2013': 0.98
DKIM-Signature	v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=gcNisYc7eOR/Vx8YxhYUC1vTVURE0d/BQUCPjVc7f3w=; b=VVzqLZ4v8KChKGOISWy/Yjop39qf5XUb7C6Dhey8QFxIrmT+zIgcKs/zy3GG7GK4Ro PoamZEG+6f1yii9Iixb0fQAocQzrjVLUMCANXyXdaUY9HraiRDLW0mlcGAKGTFaAIndC 6h+7g/t6RcsUoefoa9HK51qyur76M59fHIRR1CLr5YbhfdICCx0NVMe8LeVkGNc+Dbaf EBY/iLx/UlRzdT9k9rjafFuQ5XhcehTautHnDPDj7oko2dO17aPjXnVq0JSLmv35W3mE XknZmIcfBNwYtnFjhkPXXnYT/T+ZyT4ZVCFOoNm0pxxiDo8SgVmD7yccjEe0cDVmtJtv sK+Q==
MIME-Version	1.0
X-Received	by 10.180.73.134 with SMTP id l6mr45660467wiv.4.1366437743219; Fri, 19 Apr 2013 23:02:23 -0700 (PDT)
In-Reply-To	<CAEG9JZB2wju-tLO9_LRtz_arYrgEY7zMStTY-NCwjw=b1rSKfg@mail.gmail.com>
References	<CAMjeLr_7A-NRtec=K_ZsjXA_oJHnD6+vpttz4Ma0vtDRbb+o2w@mail.gmail.com> <CAOvMSvXy=iJhUtMfncv-RE3HQw+7DJO-M1-TaeAFFhnDe9mpUA@mail.gmail.com> <BLU173-W31425FA225FA31B42E5B91CDCC0@phx.gbl> <CAMjeLr8ritHa58aRrTssDeZAATRKcqE5bqwUgEiJf8j=Nfv_WA@mail.gmail.com> <CAEG9JZB2wju-tLO9_LRtz_arYrgEY7zMStTY-NCwjw=b1rSKfg@mail.gmail.com>
Date	Fri, 19 Apr 2013 23:02:22 -0700
Subject	Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
From	Mark Janssen <dreamingforward@gmail.com>
To	Jason Wilkins <jason.a.wilkins@gmail.com>
Content-Type	text/plain; charset=ISO-8859-1
Cc	Types List <types-list@lists.seas.upenn.edu>, Python List <python-list@python.org>, moezadel@live.com
X-BeenThere	python-list@python.org
X-Mailman-Version	2.1.15
Precedence	list
List-Id	General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe	<http://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive	<http://mail.python.org/pipermail/python-list/>
List-Post	<mailto:python-list@python.org>
List-Help	<mailto:python-list-request@python.org?subject=help>
List-Subscribe	<http://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups	comp.lang.python
Message-ID	<mailman.848.1366437750.3114.python-list@python.org> (permalink)
Lines	47
NNTP-Posting-Host	2001:888:2000:d::a6
X-Trace	1366437750 news.xs4all.nl 2171 [2001:888:2000:d::a6]:43474
X-Complaints-To	abuse@xs4all.nl
Xref	csiph.com comp.lang.python:43948

Show key headers only | View raw

On Thu, Apr 18, 2013 at 11:31 PM, Jason Wilkins
<jason.a.wilkins@gmail.com> wrote:
> I don't quite think I understand what you are saying.  Are you saying that
> mathematical models are not a good foundation for computer science because
> computers are really made out of electronic gates?

No, I'm really trying to point out that models based on Digital Logic
vs. models based on Symbolic Logic are completely different -- they
have different basiis.  They are both types of "Maths", and that you
can interchange them as a demonstration doesn't actually help the
practical issue of keeping the two domains separate -- they have
differing logics.  It's like the domain of Natural numbers vs. the
Complex, or perhaps the Natural and the Real.  Yes you can translate
back and forth, but they are for all practical purposes distinct and
can't be mixed.

> All I need to do is show that my model reduces to some basic physical
> implementation (with perhaps some allowances for infinity) and then I can
> promptly forget about that messy business and proceed to use my clean
> mathematical model.

If that's all you want to do, you can stick with Boolean Logic.

> The reason any model of computation exists is that it is easier to think
> about a problem in some terms than in others.  By showing how to transform
> one model to another you make it possible to choose exactly how you wish to
> solve a problem.

Yes, and I'm attempting to provide an argument that the
(historically?) dominant model of symbolic calculus is misinforming
the practical domain of working out differences and arguments within
my own domain of the programming community.

Unfortunately, my inexperience with the literature is actually
betraying the validity of my point.

> The reason we do not work directly in what are called "von Neumann machines"
> is that they are not convenient for all kinds of problems.  However we can
> build a compiler to translate anything to anything else so we I don't see
> why anybody would care.

I'm trying to say that *I* care, because I can't seem to find the
common ground that affects 1000's of people in the applied C.S. domain
with the 1000's of people in the theoretical C.S. domain.

MarkJ
Tacoma

Back to comp.lang.python | Previous | Next | Find similar | Unroll thread

Thread

Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Mark Janssen <dreamingforward@gmail.com> - 2013-04-19 23:02 -0700

csiph-web