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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,beb0b7471c6440e3
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-23 01:02:37 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!trev!newsfeed.esat.net!news.heanet.ie!Colin_Paul_Gloster
From: Colin_Paul_Gloster@ACM.org (Colin Paul Gloster)
Newsgroups: comp.lang.ada
Subject: Re: 'Cyclone', a safer C--reinventing the wheel
Date: 23 Nov 2001 09:19:51 GMT
Organization: Ye 'Ol Disorganized NNTPCache groupie
Message-ID: <slrn9vs44s.n2m.Colin_Paul_Gloster@camac.dcu.ie>
References: <3BFA4095.8325D016@earthlink.net>
 <ACvK7.794$6W6.229507@news2-win.server.ntlworld.com>
 <3BFA8AE3.48AE4F21@sparc01.ftw.rsc.raytheon.com>
 <v7ppvt4ctj2vigfgpdk7k9oemmdricip15@4ax.com>
 <slrn9vprfi.440.randhol+abuse@kiuk0156.chembio.ntnu.no>
Reply-To: Colin_Paul_Gloster@ACM.org
NNTP-Posting-Host: ns1-ext.dcu.ie
X-Trace: kenraki.heanet.ie 1006507191 12269 136.206.1.1 (23 Nov 2001 09:19:51
 GMT)
X-Complaints-To: news@kenraki.heanet.ie
NNTP-Posting-Date: 23 Nov 2001 09:19:51 GMT
User-Agent: slrn/0.9.7.0 (SunOS)
Cache-Post-Path: pike!unknown@camac.dcu.ie
X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/)
Xref: archiver1.google.com comp.lang.ada:16897
Date: 2001-11-23T09:19:51+00:00
List-Id: <comp.lang.ada>

In article news:slrn9vprfi.440.randhol+abuse@kiuk0156.chembio.ntnu.no
Preben Randhol wrote:
"On Thu, 22 Nov 2001 22:46:02 +1100, IsraelRT wrote:
> 
> Actually the post was by an ignorant and intelelctually lazy idiot who
> had not bothered to find out for himself just what Cyclone consists of
> http://www.cs.cornell.edu/talc/overview.html

What is the connection between Cyclone and Talc?"

>From HTTP://WWW.CS.Cornell.edu/talc/related.html :
"Luke Hornof and Trevor Jim have a system for doing
run-time code generation in TAL. Check out Cyclone for details."

>From the out of date http://www.cis.upenn.edu/~cyclone/ which
has TAL listed under a related projects heading of "Certifying
Compilation":
"Cyclone was developed in collaboration with Greg Morrisett and the TAL
project at Cornell".

(Current website is http://www.research.att.com/projects/cyclone/ .)

This still does not account for the characterizations in
news:v7ppvt4ctj2vigfgpdk7k9oemmdricip15@4ax.com by
IsraelRT <israelrt@optushome.com.au> . I request that that person
sends a response.