From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,c406e0c4a6eb74ed X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.wirehub.nl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail From: Wojtek Narczynski Newsgroups: comp.lang.ada Subject: Re: Formal and informal type systems? Date: Wed, 29 Sep 2004 12:23:45 +0200 Organization: tp.internet - http://www.tpi.pl/ Message-ID: References: <49dc98cf.0408110556.18ae7df@posting.google.com> <413e2fbd$0$30586$626a14ce@news.free.fr> NNTP-Posting-Host: avk219.neoplus.adsl.tpnet.pl Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: nemesis.news.tpi.pl 1096453630 27687 83.27.44.219 (29 Sep 2004 10:27:10 GMT) X-Complaints-To: usenet@tpi.pl NNTP-Posting-Date: Wed, 29 Sep 2004 10:27:10 +0000 (UTC) User-Agent: Pan/0.14.2 (This is not a psychotic episode. It's a cleansing moment of clarity.) Xref: g2news1.google.com comp.lang.ada:4370 Date: 2004-09-29T12:23:45+02:00 List-Id: > Could you be a little clearer about this? I don't understand your > point as stated. Certainly there is no mandate to use a "function as > argument" in any general sense. Sure, functions are a data type in > Common Lisp, but that is not anything about the structural/conceptual > level of the type system. Come on. "Functions are data type", yet it has nothing to do with a type system? I don't think we can reach total agreement on this offtopic thread though :-) Regards, Wojtek