[TYPES] stricter moderation...?

[Tim Sweeney]

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
theory.

-Tim

-----Original Message-----
From: types-list-bounces at lists.seas.upenn.edu
[mailto:types-list-bounces at lists.seas.upenn.edu] On Behalf Of Thorsten
Altenkirch
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,
http://lists.seas.upenn.edu/mailman/listinfo/types-list]

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
liberal.

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.

Cheers,
Thorsten

Eijiro Sumii wrote:
> [The Types Forum,
http://lists.seas.upenn.edu/mailman/listinfo/types-list]
> 
> 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
attachment
may still contain software viruses, which could damage your computer
system:
you are advised to perform your own checks. Email communications with
the
University of Nottingham may be monitored as permitted by UK
legislation.