[TYPES] stricter moderation...?

Tim Sweeney Tim.Sweeney at epicgames.com
Thu Dec 22 00:01:23 EST 2005

I'd love to see a types-discuss list with more frequent discussion,
perhaps along the lines of the Haskell-cafe mailing list.  I've posted
several questions here and have been very impressed with the insightful
replies (and grateful for them!) -- but am hesitant to post more often
given that each message potentially distracts the great minds in type


-----Original Message-----
From: types-list-bounces at lists.seas.upenn.edu
[mailto:types-list-bounces at lists.seas.upenn.edu] On Behalf Of Thorsten
Sent: Wednesday, December 21, 2005 12:10 PM
To: sumii at ecei.tohoku.ac.jp
Cc: types at cis.upenn.edu
Subject: Re: [TYPES] stricter moderation...?

[The Types Forum,

Dear Eijiro,

I see your point but the costs in implementing it may be higher than 
the benefits, since the exact distinction between on- and off-topic is
highly controversial and hence it is better for the moderator to be

One option would be to split the list in two: one for discussions 
(types-discuss) and one for announcements (types-announce) and types 
would be the merge of the two but people could opt out of either 
sublist. In this case the decision for the moderator is easy - 
announcements always go to types-announce.


Eijiro Sumii wrote:
> [The Types Forum,
> Dear all,
> I am afraid this might be a somewhat controversial suggestion, but may
> I propose the TYPES list be moderated a little more strictly?  I am
> seeing more and more messages that are not _directly_ and _explicitly_
> related to types (or logics).  They are "too many" to just ignore (and
> yet the list is too useful to quit:-).  Of course, this means more
> work for Stephanie and I am not sure if others agree - so everything
> depends on how people think.  Any ideas...?
> Best regards,
> --
> Eijiro Sumii (http://www.kb.ecei.tohoku.ac.jp/~sumii/)
> Graduate School of Information Sciences, Tohoku University

Dr. Thorsten Altenkirch		   phone : (+44) (0)115 84 66516
Lecturer			   http://www.cs.nott.ac.uk/~txa/
School of Computer Science & IT	   University of Nottingham

This message has been checked for viruses but the contents of an
may still contain software viruses, which could damage your computer
you are advised to perform your own checks. Email communications with
University of Nottingham may be monitored as permitted by UK

More information about the Types-list mailing list