Re: Harmful spammers

2001-10-10 Thread Ketil Malde
jefu <[EMAIL PROTECTED]> writes: > 2) Every time you get spam, locate all the hosts it came through >in the header. Check both hostnames and ip addresses as one >of the common spammer techniques is to give a different hostname >than the ip address maps to. Note that spammers add

Re: Namespaces

2001-10-10 Thread Hal Daume III
On Wed, 10 Oct 2001, Johan Nordlander wrote: > Using the new hirarchical module namespace soon to be supported > by both Hugs and GHC: > > Set the search path to ~/projects and import A.M, B.N, etc. > > The only additional requirement here is that your module M in A > must be renamed A.M, and

Re: Namespaces

2001-10-10 Thread Johan Nordlander
On Wednesday, October 10, 2001, at 12:29 PM, Hal Daume III wrote: > So, barring this, I'm curious how other people handle this issue. > > I have multiple projects. Call them A, B, C. They are in directories: > ~/projects/A > ~/projects/B > ~/projects/C > repsectively. > > Say I'm creatin

Re: Namespaces (was Re: GUI Library Task Force)

2001-10-10 Thread John Meacham
On Wed, Oct 10, 2001 at 03:29:03PM -0400, Hal Daume III wrote: > So, barring this, I'm curious how other people handle this issue. > > I have multiple projects. Call them A, B, C. They are in directories: > ~/projects/A > ~/projects/B > ~/projects/C > repsectively. > > Say I'm creating a

Re: Monomorphism, monomorphism...

2001-10-10 Thread Ashley Yakeley
At 2001-10-10 03:59, Marcin 'Qrczak' Kowalczyk wrote: >We need some type T such that it's possible to define a family of >functions for arbitrary choices of A: >upA :: A -> T >downA :: T -> Maybe A >satisfying downA (upA a) = Just a. We want to choose the type for T >before deciding the

Re: Harmful spammers

2001-10-10 Thread jefu
There are a couple things to do that can at least cut down on spam. 1) Make sure that your mail gateway, or (in this case) the mailing list host is not an open relay site. Check http://www.mail-abuse.net/ and especially http://www.mail-abuse.net/rss/ for more information.

Re: Haskell and principal types

2001-10-10 Thread Karl-Filip Faxen
Oops! I said THIH has problems with type synonyms. That is completely wrong. I meant type SIGNATURES and nothing else. Sorry for the confusion. /kff ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

Re: Namespaces (was Re: GUI Library Task Force)

2001-10-10 Thread Hal Daume III
So, barring this, I'm curious how other people handle this issue. I have multiple projects. Call them A, B, C. They are in directories: ~/projects/A ~/projects/B ~/projects/C repsectively. Say I'm creating a new project, D, in ~/projects/D that uses code that I've written in packages A,

Re: Monomorphism, monomorphism...

2001-10-10 Thread Carl R. Witty
"Marcin 'Qrczak' Kowalczyk" <[EMAIL PROTECTED]> writes: > 09 Oct 2001 13:55:04 -0700, Carl R. Witty <[EMAIL PROTECTED]> pisze: > > > The TREX paper from Mark Jones and Benedict Gaster (I hope I > > have the names right) had both extensible records and extensible > > variants (extensible variants

Re: Haskell and principal types

2001-10-10 Thread Olaf Chitil
Hi Karl-Filip, > (Mark Jones's THIH algorithm, as > well as other algorithms built on W, fails to type some programs > containing type synonyms). Are you thinking of the following kind of problem? type T a = Bool b :: Eq a => T a b = True x = b Gives in Hugs: Type checking ERROR "Test

Re: Namespaces (was Re: GUI Library Task Force)

2001-10-10 Thread Mark Carroll
On Wed, 10 Oct 2001, Hal Daume III wrote: (snip) > least) is that the Java compiler knows how to interpret the "."s and > will use them to navigate directory structure. (snip) Yes, that's certainly an interesting idea. I'd like to fall short of mandating anything about location of source files in

Namespaces (was Re: GUI Library Task Force)

2001-10-10 Thread Hal Daume III
I think one important aspect of Java's java.foo.bar style has been overlooked: the semantics. sure, syntactivally, java.foo.bar and java_foo_bar; they're basically the same. the big issue (to me, at least) is that the Java compiler knows how to interpret the "."s and will use them to navigate di

Re: Haskell and principal types

2001-10-10 Thread Karl-Filip Faxen
Hello again! John Hughes suggested that Haskell should have two forms of binding, one with call-by-name (does not preserve sharing) semantics and polymorphism and overloading and monomorphic with call-by-need (preserves sharing). The question is; would this restore principal types in general?

Re: Unicode support

2001-10-10 Thread Marcin 'Qrczak' Kowalczyk
Tue, 9 Oct 2001 14:59:09 -0700, John Meacham <[EMAIL PROTECTED]> pisze: > I think a cannonical way to get at iconvs ('man 3 iconv' for info.) > functionality in one of the standard librarys would be great. perhaps > I will have a go at it. even if the underlying platform does not have > iconv the

Re: Monomorphism, monomorphism...

2001-10-10 Thread Marcin 'Qrczak' Kowalczyk
09 Oct 2001 13:55:04 -0700, Carl R. Witty <[EMAIL PROTECTED]> pisze: > The TREX paper from Mark Jones and Benedict Gaster (I hope I > have the names right) had both extensible records and extensible > variants (extensible variants being what you would need to implement > downcasts), I don't thin

Harmful spammers

2001-10-10 Thread Jerzy Karczmarczuk
Sorry for the pollution. Is there a way to kill the guys from: @bid4placement.com ? They managed already 3 times to block my mailer with their HTML, via Haskell list. Jerzy Karczmarczuk Caen, France ___ Haskell mailing list [EMAIL PROTECTED] http:/