From [email protected] Wed Jan 6 21:00:52 1993
Path: uunet!bounce-back
From: [email protected] (Greg Morrisett)
Newsgroups: news.announce.newgroups,news.groups,comp.lang.functional,comp.lang.misc,alt.lang.ml,comp.compilers
Subject: RFD: comp.lang.ml
Followup-To: news.groups
Date: 6 Jan 1993 19:34:06 -0500
Organization: School of Computer Science, Carnegie Mellon
Lines: 58
Sender: [email protected]
Approved: [email protected]
Message-ID: <[email protected]>
NNTP-Posting-Host: rodan.uu.net
Xref: uunet news.announce.newgroups:3081 news.groups:63948 comp.lang.functional:2489 comp.lang.misc:12707 alt.lang.ml:114 comp.compilers:4504
First Call, Request for Discussion: comp.lang.ml
PROPOSAL: This is a request for discussion on creation of an unmoderated
newsgroup on the topic of the ML family of programming languages. The
suggested name is comp.lang.ml.
ML is a family of advanced programming languages with functional
control structures, strict semantics, a strict polymorphic type
system, and parametrized modules. It includes Standard ML, Lazy ML,
CAML, CAML Light, and various research languages. Implementations are
available on many platforms, including PCs, mainframes, most models of
workstation, multi-processors and supercomputers. ML has many
thousands of users, is taught at many universities (and is the first
programming language taught at some).
Topics for discussion would include (but are not limited to):
* general ML enquiries or discussion
* general interpretation of the definition of Standard ML
* applications and use of ML
* announcements of general interest (e.g. compiler releases)
* discussion of semantics including sematics of extensions based on ML
* discussion about library structure and content
* tool development
* comparison/contrast with other languages."
There is currently a group for ML in the alt hierarchy, alt.lang.ml.
This has the disadvantages of any alt group: narrow distribution
(especially outside the US, where much ML development goes on) and
fast expiration. Some discussion of ML has gone on in
comp.lang.functional and in comp.lang.misc. An ML-specific newsgroup
would concentrate these postings and provide a focus for people
seeking information about or discussion of the language.
There is also a moderated worldwide mailing list for Standard ML users
maintained at Carnegie Mellon University. We believe there are now
several thousand readers of this list. Currently several messages pass
through the list each week. We do not propose the abandonment of the
list, but an unmoderated newsgroup would take most of the traffic from
the list, simplifying the moderation task, and would provide a new
forum for questions general to the family of ML languages (not just
Standard ML). Submissions to the mailing list will be forwarded to the
newsgroup. The mailing list moderator may also wish to periodically
select articles from the newsgroup to forward to the mailing list.
The mailing list has also provided us with a FAQ list, which can
readily be made into a weekly and monthly posting to the newsgroup.
Comments and suggestions regarding comp.lang.ml should be posted to
news.groups, or mailed to [email protected]. Please indicate in
any e-mail message if you'd like it forwarded into news.groups.
-Greg Morrisett
Carnegie Mellon University
--
-Greg Morrisett
Moderator, SML-LIST
Requests: [email protected]
Submissions: [email protected]
From [email protected] Tue Feb 23 23:39:23 1993
Path: uunet!bounce-back
From: [email protected] (Greg Morrisett)
Newsgroups: news.announce.newgroups,news.groups,comp.lang.functional,comp.lang.misc,comp.lang.scheme,alt.lang.ml
Subject: CFV: comp.lang.ml moderated
Followup-To: poster
Date: 23 Feb 1993 14:31:15 -0500
Organization: School of Computer Science, Carnegie Mellon
Lines: 169
Sender: [email protected]
Approved: [email protected]
Message-ID: <[email protected]>
NNTP-Posting-Host: rodan.uu.net
Xref: uunet news.announce.newgroups:3270 news.groups:67293 comp.lang.functional:2643 comp.lang.misc:12910 comp.lang.scheme:6307 alt.lang.ml:129
Following the required discussion period, in which consensus appears to
have been reached, this is the first call for votes for the creation of
comp.lang.ml. This note contains information about the proposed group
and voting instructions. Please read the entire post before responding. In
particular, please read the "How to Vote" section before responding.
1st CALL FOR VOTES
Proposed Newsgroup: comp.lang.ml
------------------
Type: Moderated
----
Moderator: Greg Morrisett, Carnegie Mellon, [email protected]
--------- (submission address to be announced.)
Description: Discussion about the family of ML languages including
----------- but not limited to Standard ML, CAML, Caml-light, and
Lazy ML.
Charter:
-------
Comp.lang.ml is a moderated newsgroup exclusively for discussion
of ML. ML is a family of advanced programming languages with [usually]
functional control structures, strict semantics, a strict polymorphic type
system, and parametrized modules. It includes Standard ML, Lazy ML,
CAML, CAML Light, and various research languages. Implementations are
available on many platforms, including PCs, mainframes, most models of
workstation, multi-processors and supercomputers. ML has many
thousands of users, is taught at many universities (and is the first
programming language taught at some).
Topics for discussion would include (but are not limited to):
* general ML enquiries or discussion
* general interpretation of the definition of Standard ML
* applications and use of ML
* announcements of general interest (e.g. compiler releases)
* discussion of semantics including sematics of extensions based on ML
* discussion about library structure and content
* tool development
* comparison/contrast with other languages
* implementation issues, techniques and algorithms including extensions
based on ML
Moderation Guidelines:
----------------------
The moderator will maintain and post weekly and monthly frequently
asked questions (FAQ) lists. Moderation will be done according to
the following guidelines:
1. An article that has no relevance to ML will be rejected by the
moderator. However, the moderator will attempt to tell the
poster a more appropriate place for the article.
2. An article might be rejected if the poster asks a question that
is answered by the FAQ lists. However, the moderator will forward
the relevant portion(s) of the FAQ answers to the poster.
3. The moderator reserves the right to trim down quotations of
previous articles and to reject articles consisting essentially
of quotations.
4. The moderator reserves the right to send a "poorly" written article
back to the poster, requesting that it be re-written.
5. All other articles will be forwarded by the moderator.
6. The moderator might add his/her own comments at the end of an
article, such as [See the Commentary, pp.123-125] or
[This question has been asked several times in the past, and
never got an answer.]
Moderator Changes:
------------------
Guidelines for the removal or change of a moderator are as follows:
1. An RFD on the removal of the moderator must be posted to
news.announce.newgroups, news.groups, and comp.lang.ml.
with the follow-ups sent to news.groups.
2. Should there be a consensus that a vote is appropriate, a
CFV will be issued by a third party, to last not less than
two weeks and not more than 30 days. This ballot will include
the following options:
a. Should the moderator be removed? (Y/N)
b. The new moderator should be: (names)
3. If more than 2/3 of the voters agree that the moderator should
be removed, and there are no more than 100 no votes, then the
top name in section b becomes the new moderator. Each ballot
can contain a vote for one and only one new moderator.
Justification:
-------------
There is currently a group for ML in the alt hierarchy, alt.lang.ml.
This has the disadvantages of any alt group: narrow distribution
(especially outside the US, where much ML development goes on) and
fast expiration. Some discussion of ML has gone on in
comp.lang.functional and in comp.lang.misc. An ML-specific newsgroup
would concentrate these postings and provide a focus for people
seeking information about or discussion of the language.
There is also a moderated worldwide mailing list for Standard ML users
maintained at Carnegie Mellon University and a mailing list for CAML
users maintained at INRIA. There are now several thousand readers of
these lists. Currently several messages pass through these lists
each week. We do not propose the abandoment of these lists, but a
moderated newsgroup would take most of the traffic from each of these
lists and would provide a new forum for questions general to the
family of ML languages (not just SML or CAML).
People who cannot or do not want to read the newsgroup, can subscribe
to the SML-LIST. As maintainer of the list, I will cross-post messages
from the newsgroup to the mailing list and vice-versa.
We have chosen "comp.lang.ml" as a name, patterned after other newsgroups
that discuss programming languages, such as "comp.lang.scheme". We have
chosen the ".ml" suffix to remind people that the newsgroup is open
to all dialects of ML. While some readers might mistakenly assume
".ml" stands for "machine language" or "machine learning", the moderator
will prevent irrelevant posts from reaching readers and the FAQ lists
will clear up any confusion.
Voting Period:
-------------
Votes will be taken from 08:00:00 EST, February 23, 1993
until 23:59:59 EST, March 20, 1993.
How to Vote:
-----------
To vote "Yes", send mail to "[email protected]".
To vote "No", send mail to "[email protected]".
Votes sent to these addresses are differentiated by mailing address
_only_; message contents and subject lines are ignored since the
votes are processed by an automated script.
If your mailer cannot handle one of these addresses, send your
vote to "[email protected]" making sure to clearly specify whether
you vote for or against the proposed newsgroup. Use the following
format in your message body:
"I vote [Yes/No] for comp.lang.ml."
If your message is ambiguous, it will not be counted (though I will
attempt to return your message to you, asking for an unambiguous vote.)
Your vote will be acknowledged by email.
Reminder of Voting Rules:
-------------------------
- One vote per person. If you vote more than once, only the most
recent vote will be counted.
- Votes must be mailed to one of the above addresses. No proxy
voting, forwarding, etc. Posted votes (to any newsgroup or
mailing list) will not be counted.
- I will not be able to discuss the vote results until after the
poll closes, so please do not ask how the vote is going.
- Votes received outside of the voting period will be ignored.
Thanks and remember that your vote counts!
--
-Greg Morrisett
Carnegie Mellon Univ.
[email protected]
From [email protected] Mon Mar 29 20:40:22 1993
Path: uunet!bounce-back
From: [email protected] (Greg Morrisett)
Newsgroups: news.announce.newgroups,news.groups,comp.lang.functional,comp.lang.misc,comp.lang.scheme,alt.lang.ml
Subject: RESULT: comp.lang.ml passes 424:8
Followup-To: news.groups
Date: 26 Mar 1993 11:07:44 -0500
Organization: School of Computer Science, Carnegie Mellon
Lines: 478
Sender: [email protected]
Approved: [email protected]
Message-ID: <[email protected]>
NNTP-Posting-Host: rodan.uu.net
Xref: uunet news.announce.newgroups:3385 news.groups:68544 comp.lang.functional:2889 comp.lang.misc:13117 comp.lang.scheme:6595 alt.lang.ml:148
The voting period has ended for the proposed moderated newsgroup,
comp.lang.ml. The vote tally was 424 yes votes to 8 no votes, which
is sufficient for newsgroup creation. Details regarding the vote
appear below.
RESULTS:
In order for a newsgroup to be created, at least 2/3 of the votes must
be YES, and there must be at least 100 more YES votes than NO votes.
Total number of valid votes received: 432
Number of valid YES votes received: 424
Number of valid NO votes received: 8
YES-NO vote difference: 416 (> 100)
YES vote percentage: 98.1% (> 66.7%)
FOLLOWUP:
The newsgroup will not be created immediately. The Usenet group creation
guidelines call for a 5-day waiting period after this post appears on
news.announce.newgroups, to give the Net community a chance to correct
any errors in the voter list or the voting procedure. Please inform
me ([email protected]) if there are any irregularities you see that
I missed.
If there are no serious objections which would invalidate the vote or
the results, the group will be created.
The submission address will be: [email protected]
The contact address will be: [email protected]
The group will follow the charter posted on the Call for Votes. If
you need a copy of the charter, write to me at the contact address
above or to [email protected].
LIST OF VOTERS:
Email addresses of those who voted "No" for comp.lang.ml:
---------------------------------------------------------
[email protected] (Dave Carr)
[email protected] (John Duncan)
Lord Yak Da Hairy
[email protected] (Richard H. Miller)
Roland Kaltefleiter
[email protected] (Steve Rogers)
Stephen Lau
[email protected] (Stephen C. Trier)
Email addresses of those who voted "Yes" for comp.lang.ml:
----------------------------------------------------------
A.M.Douglas
[email protected]
Claus Assmann
(Claude Diderich)
Carl L. Gay
Don Goodeve
Eric A. Anderson
James Power, Dublin City University <[email protected]>
John B. Plevyak
John H. Reppy
Juan C. Gonzalez Moreno
Ralf Treinen
Rett Bull, Pomona College
Richard A. O'Keefe
Richard T. Saunders
Robin B. Gowin
Russ, VMS Eng, dtn 824-3256, ms=EDO/13 26-Feb-1993 1123
Stephen Adams
T.Kurt Bond, MPL Corporation, 304/472-9520
Victor S. Miller
- * Grim Reaper * -
Adam T. Dingle
Adrian Howard
Alan M Levi
Alexander Horz
[email protected]
Andrew Armstrong
Andrew Gordon
[email protected]
[email protected]
Andy Latto
Anthony Shipman
[email protected]
B.J. 03-Mar-1993 1609
Basile STARYNKEVITCH
Benoit Caillaud
Bent Thomsen
Bernard Berthomieu
Brian Boutel
Brian Howard
Brian J Sheldon
[email protected]
Chandra S Danam
Charlie Krasic -- Buck
[email protected]
Chetana Nagendra
Chris M P Reade
Christian Lengauer
[email protected] (Christine Paulin)
Christoph Mussenbrock
Christopher Owens
Colin Macleod
[email protected] (Damien Doligez)
Daniel Bourget
[email protected]
Dave Aspinall
Dave Berry
Dave Mason
David Barker-Plummer
David Connelly
David Neto
David Reeve Sward
[email protected]
[email protected]
Dinesh Katiyar
Dipankar Gupta
Dirk Zabel
[email protected] (Dirk Dussart)
Drew Dean
[email protected]
[email protected]
Ensop Cho
Eric Madelaine
Evelyn Arroyo
[email protected]
Flemming Nielson
Francis Dupont
Francois Barthelemy
Francois MASDUPUY
Francois Rouaix
Frank Pfenning
Frank Wilde
Fritz Knabe
[email protected]
[email protected]
Gabriel Stolzenberg
Gerard Huet
[email protected]
Henrik Reif Andersen (EMP)
Hermano Moura
Hugh Glaser
[email protected]
In-Myung Chung
Jacob Gore
James Cowie
James Larus
Jason L Tibbitts III
Jason Trenouth
Jim Sasaki
Jon Thackray
Jonas Wallgren
Juergen Buntrock
Juergen Christoffel
Julian Seward (DRL PhD)
Kai Keinanen
Karst Koymans
Kestutis Urbaitis
Kevin Waugh
[email protected]
Knut Omang
Konrad Slind
Konstantin Laufer
La Monte H Yarroll
Lab. - konto Nadg-11
Lawrence C Paulson
Lennart Augustsson
Lone Leth Thomsen
Ludwin Fuchs
MIchael Caro
Magnus Olsson
Mahesh V Tripunitara
Marc PANTEL
Maria-Virginia Aponte
Mark Humphreys
Mark Priestley
Mark Reinhold
[email protected]
Markus Kiser
[email protected] (Mats Svensson)
Matthew Arcus
Matthew Fuchs
Matti Jokinen
Michael Benjamin
Michael Jampel
Michael Pope
Michael Quinn
[email protected] (Michel Mauny)
Mikael Pettersson
Mike Coleman
Mike Crawley
Mike Elliott
Mike Johnson
Mirek Benes
Mirko Dziadzka
Monin Jean-Francois laa-slc-evp
Mrinal Baruah
NJOSEPHY%[email protected]
Naoki HAMADA
[email protected]
Nick Haines
Nick Levine
Nick Thompson
Nicol C So
Nicole Rostaing
Oliver Schoett
[email protected] (Olof Johansson)
Peter Bailey
Peter Baumann
Peter Golubtsov
Peter Sestoft
Philip Santas
Pierre Lescanne
Pierre Weis
Pieter Immelman
Purandar Bhaduri - Grad student
Rachel Harrison
Rajini I Balay
Ramon Brena
Randall Holmes
Randy Crawford
Renaud Marlet
Richard Boulton
Richard Brooksby
Robert John Duncan
Robert Stabl
[email protected]
Rodney Topor
Roger Knott
Sandy Nicholson
Sanjiva Prasad
Sara Kalvala
Scott L. Burson
Scott Schwartz
[email protected]
Shigeru Watari
Simon Nichols
Simon Wallis
[email protected] (Simon Pearce - Sun CSIR )
Stephan Albert Missura
Stephane Dalmas
Stephen Colwill
Stephen Tweedie
Stephen Weeks
Sudin Bhat
Taj Khattra
[email protected]
Ted Lemon
Therese Hardin
Thomas Eberhardt
Thomas Hallgren
Thomas Johnsson
Thomas Pressburger
Thomas Wang
[email protected]
Tom Gordon
Tore Urnes
[email protected]
Tsung-Min Kuo
Urban Boquist
Valerie Menissier-Morain
Valery Trifonov
Vance Morrison
Vasco Vasconcelos
Wags Man
William Pippin
Wolfgang Gehrke
Xavier Leroy
Y Cymro
Young-il Choo
Zheng Zhang
Zheng Zhang
Zhong Shao
[email protected]
[email protected] (William E. Aitken)
[email protected]
[email protected]
[email protected]
[email protected] (Tony Jones)
[email protected] (Kulbir S. Arora)
[email protected] (Asgeir Eiriksson)
[email protected] (Bard Bloom)
[email protected]
[email protected] (Andrew Beers)
[email protected] (Jef Bell)
[email protected] (George Beshers)
[email protected] (Bharat Jayaraman)
[email protected] (Bhaskar DasGupta)
[email protected]
[email protected] (Brian Koehler)
[email protected]
[email protected] (Bryan O'Sullivan)
brian
[email protected] (Olaf Burkart)
[email protected] (Jim Caldwell)
[email protected] (Peter Canning)
[email protected]
[email protected] (Pierre CASTERAN)
[email protected] (The Technicolour Throw-up)
[email protected] (Charles Lindsey)
[email protected] (Steven Shann($m))
[email protected]
[email protected] (Tyng-Ruey Chuang)
[email protected]
[email protected] (Cormac Flanagan)
[email protected]
[email protected]
[email protected] (Regis Cridlig)
[email protected] (Cristian Mata)
[email protected]
[email protected] (Brook Conner)
[email protected] (Dave MacQueen)
[email protected] (Dave Cooper)
[email protected] (Ralph M. Deal)
[email protected] (Dr. Richard Kieburtz)
[email protected]
[email protected] (Darrell Schiebel)
[email protected]
[email protected] (Dan Teodosiu)
[email protected]
[email protected] (Einar Wolfgang Karlsen)
[email protected] (L. Fallot)
[email protected] (Leo Fegaras)
foli%[email protected] (Flavio Moreira de Oliveira)
[email protected] (David Fox)
[email protected] (Fernando Pina Caball)
[email protected] (Francisco Valverde Albacete)
[email protected]
[email protected] (fai to leung)
[email protected] (Ganesh C. Gopalakrishnan)
[email protected]
[email protected]
[email protected] (Gerald Baumgartner)
[email protected]
[email protected] (Lal George)
[email protected] (Gregory G. Woodbury)
[email protected] (Gerhard Koschorreck)
[email protected] (Glenn S. Goldstein)
[email protected] (Benjamin Goldberg)
[email protected] (G.P. Procida)
[email protected]
[email protected] (Florent Guillaume)
[email protected]
[email protected] (Guhan Viswanathan)
[email protected] (Kelly Hall)
[email protected]
[email protected] (Henry Cejtin)
[email protected]
[email protected]
[email protected] (Jim Bennett)
[email protected] (James Grandy)
[email protected] (Jeffrey David Cohen)
[email protected] (James da Silva)
[email protected] (Jeremy Fitzhardinge)
[email protected] (J. Eric Townsend)
[email protected] (John E. Howland)
[email protected] (Beeblebrox)
[email protected] (Johannes Waldmann)
[email protected] (Johannes 5 Joemann)
[email protected]
[email protected] (John Aldwinckle)
[email protected] (John Ophel)
[email protected]
[email protected] (Rainer Joswig)
[email protected] (John Glauert)
[email protected]
[email protected] (John O'Leary)
[email protected] (A.J. Kfoury)
[email protected]
[email protected]
[email protected]
[email protected] (Ksheerabdhi Krishna)
[email protected] (Lee Li-Jen Chen)
[email protected] (Gary Leavens)
[email protected]
[email protected] (Michel Lemaitre)
[email protected]
[email protected] (Bouchard Lorne-H)
[email protected] (Mark H. Linderman)
[email protected]
[email protected] (Lyman S. Taylor)
[email protected]
[email protected]
[email protected] (Bob Buckley)
[email protected] (Mark D. Aagaard)
[email protected] (Martin Erwig)
[email protected]
[email protected] (Mark Atwood)
[email protected] (Miriam Leeser)
[email protected]
[email protected]
[email protected] (Mark-Jason Dominus)
[email protected] (Michael Lewis)
[email protected] (Mike Mc Gaughey)
[email protected] (Mike Moore)
[email protected] (Matt Morgan)
[email protected]
[email protected] (Manfred Paul)
[email protected] (Michael Sperber)
[email protected] (Mark Kennedy)
[email protected] (David Muir Sharnoff)
[email protected] (Sourav Mukherjee)
[email protected] (Nazareth Karjian)
[email protected] (Juergen Nickelsen)
[email protected]
[email protected] (Nikos P. Pitsianis)
[email protected] (Norman Ramsey)
[email protected]
[email protected] (Thorsten Ohl)
[email protected] (Atsushi Ohori)
[email protected] (Kurt Olender)
[email protected] (Bill Owens)
[email protected] (Patrick Logan)
[email protected]
[email protected] (Na Choon Piaw)
[email protected]
[email protected] (Priyadarshan Kolte)
pop%[email protected]
[email protected] (Peter Su)
[email protected]
r_n_bosworth
[email protected]
[email protected] (Rance Cleaveland)
[email protected] (Robert Cooper)
[email protected] (Roy Dyckhoff)
[email protected] (reffay)
[email protected]
[email protected] (Rene G. Rodriguez)
[email protected] (Renganathan Sundararajan)
[email protected] (Rene' LALEMENT)
[email protected]
[email protected] (Robert S. Thau)
[email protected] (Rich Thomson)
[email protected] (Sanjeev Y. Dharap)
[email protected] (Satish Thatte)
[email protected] (Soren Christensen)
[email protected]
[email protected] (Shail Aditya)
[email protected] (Ken Slonneger)
[email protected]
[email protected] (Michael Sperber)
[email protected]
[email protected] (Shriram Krishnamurthi)
[email protected]
[email protected] (Chris StJohn)
[email protected] (Scott Stoller)
[email protected] (Rob Strom)
[email protected]
[email protected]
[email protected] (Tatu M{nnist|)
[email protected] (Hendrik Tews)
[email protected] (Tom Fukushima)
[email protected] (Peter Thiemann)
[email protected] (Thomas Puls)
[email protected]
[email protected] (Thomas M. Breuel)
[email protected]
[email protected] (Tore Bratvold)
[email protected] (Chung-Shin Tsai)
[email protected] (Ted "Theodore" W. Leung)
[email protected] (Thomas Yan)
[email protected] (William Graham)
vandi%[email protected] (Vanderlei Moraes Rodrigues)
[email protected] (Mark van de Voort)
[email protected] (Tim Wahls)
[email protected] (David Wald)
[email protected] (Ralph W. Wallace)
[email protected] (Mitchell Wand)
[email protected] (Wayne Smith)
[email protected] (Bob Weems)
[email protected]
[email protected] (Ward K. Harold)
[email protected] (Glen Worstell)
[email protected] (Andrew Wright)
--
-Greg Morrisett
Carnegie Mellon Univ.
[email protected]