From mboxrd@z Thu Jan 1 00:00:00 1970 Message-Id: <4BC861F8020000CC00026A88@wlgw07.wlu.ca> Date: Fri, 16 Apr 2010 13:11:20 -0400 From: "Karljurgen Feuerherm" To: "'Fans of the OS Plan 9 from Bell Labs'" <9fans@9fans.net> References: <20100416115756.GA1107@polynum.com> <4BC836D2020000CC000269E3@wlgw07.wlu.ca> <4BC855DF020000CC00026A46@wlgw07.wlu.ca><4BC855DF020000CC00026A46@wlgw07.wlu.ca> <004001cadd84$7254c4a0$56fe4de0$@gmail.com> In-Reply-To: <004001cadd84$7254c4a0$56fe4de0$@gmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="=__Part5973D728.0__=" Subject: Re: [9fans] TeX: hurrah! Topicbox-Message-UUID: 0480d454-ead6-11e9-9d60-3106f5b1d025 This is a MIME message. If you are reading this text, you may want to consider changing to a mail reader or gateway that understands how to properly handle MIME multipart messages. --=__Part5973D728.0__= Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable This doesn't make much sense to me. Object-orientation in itself is simply = another level of data abstraction. And for the rest, I think "provability" = is more theoretical than practical, other than the most trivial programmes.= =20 I'm beginning to get the impression (or perhaps more accurately am = increasingly getting the impression) that the plan9 community is reactionar= y rather than progressive... not a good characteristic if one is trying to = make advances in comparison with one's predecessors... =20 K >>> "Patrick Kelly" kameo76890@gmail.com> 16/04/2010 12:47:03 pm >> Object-Orientation reduces static provability. May be I'm crazy, but I = like it when you can prove that a program is only going to do what it was = told to do. --=__Part5973D728.0__= Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Content-Description: HTML

This doesn't make much sense to me. Object-orientation in itself is = simply another level of data abstraction. And for the rest, I think = "provability" is more theoretical than practical, other than the most = trivial programmes.

I'm beginning to get the impression (or perhaps more accurately am = increasingly getting the impression) that the plan9 community is reactionar= y rather than progressive... not a good characteristic if one is trying to = make advances in comparison with one's predecessors...

K

>>> "Patrick Kelly" 16/04/2010 12:47:03 pm >>">kameo76890@gmail.com> 16/04/2010 = 12:47:03 pm >>

Object-Orientation reduces static = provability. May be I'm crazy, but I like it when you can prove that a = program is only going to do what it was told to do.

--=__Part5973D728.0__=--