- Haskell-Cafe - Haskell.org

categorical prelude
by Christopher Milton 28 Nov '01

28 Nov '01

I have a copy of the paper by Erik Meijer and Luc Duponcheel, "On the expressive power of Combinator Classes", but I can't seem to find a copy of the prelude file anywhere. Has anyone still got a copy anywhere? I look to hearing from you. ===== Christopher M. Milton cmiltonperl(a)yahoo.com Phone 719/380-7665 Colorado Springs, CO __________________________________________________ Do You Yahoo!? Yahoo! GeoCities - quick and easy web site hosting, just $8.95/month. http://geocities.yahoo.com/ps/info1

1 0

RE: Asynchronous Exceptions
by Simon Marlow 27 Nov '01

27 Nov '01

> On Fri, Nov 23, 2001 at 09:38:35AM -0000, Simon Marlow wrote: > > > [...] > > > However, I agree that sometimes you really want to be able > to do this, > > so perhaps we need another form of 'block' which doesn't allow *any* > > exceptions to be delivered, for those times when you know > that the time > > spent waiting in an interruptible operation is going to be bounded. > > But even things like putStr can block for an unbounded amount of > time. E.g. stdout is a pipe and the reader just doesn't read it for > n hours (n unknown), etc. Sure, which is why we don't allow the programmer to make these non-interruptible. But there are other ways to shoot yourself in the foot: you can go into an infinite loop inside a block, for example. I think there are certain cases where you want to break the rules slightly, and force a particular interruptible operation to be non-interruptible, so that you can guarantee a particular sequence will always run to completion. Sometimes there's just no way to get where you're going otherwise. In the example above, the programmer might know that the pipe is always going to be read within a certain time. You could spin instead of blocking in many cases: for MVars we have the non-blocking tryTakeMVar and tryPutMVar, but for IO we only have hInputReady which works if you're the only thread using that particular Handle, otherwise there's a race window between calling hInputReady and actually doing the IO. So suppose the programmer is going to use the non-blocking versions of these primitives and poll the resource instead of waiting for it. We might as well provide non-interruptible blocking operations (or a non-interruptible version of 'block') and save ourselves some CPU cycles. The onus is on the programmer to ensure that the sequence can't block indefinitely. Cheers, Simon

1 0

i can't see the solution
by Fwd 25 Nov '01

25 Nov '01

it's an .lhs file > data Alumno = A { dni :: Integer, nombre :: String,nota::Float } > shf :: Alumno -> String > shf alum = show (dni alum) ++ nombre alum ++ show (nota alum ) i don't wanna use this sentence: deriving Show i wanna use "my show function" but ... Here is the problem !! > instance Show a => Show (Alumno a) where > show x = shf x Thanks .

1 0

Re: Why no exceptions in Haskell?
by Marcin 'Qrczak' Kowalczyk 23 Nov '01

23 Nov '01

Fri, 23 Nov 2001 07:12:10 +1100, Fergus Henderson <fjh(a)cs.mu.oz.au> pisze: > ... and the main reason why Haskell 98 didn't incorporate this is because, > well, 98 was before 99 ;-). In order for exceptions to be practical, one should be able to throw other types than the builtin IOError which roughly corresponds to errno in C. In GHC Dynamic is used for this. IMHO exceptions should not be standarized without such capability. I don't like Dynamic much but no other solution has been designed for Haskell. Maybe some kind of extensible datatypes would be better, preferably not limited to exceptions. It has other problems though, for example how to define functions like (==) for extensible datatypes? A static type system sometimes do get in the way! Python people have some right in saying this. (But IMHO they are wrong in saying that very small amount of errors is catched by static typing.) -- __("< Marcin Kowalczyk * qrczak(a)knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ QRCZAK

1 0

VIRUS ALERT Read this first. (Was Fwd: Re some MP3s here hehe ;-) )
by Theodore Norvell 23 Nov '01

23 Nov '01

The message entitled Fwd: Re some MP3s here hehe ;-) not only doesn't belong on the list, but also contains a virus. Happy Haskelling, Theodore Norvell

1 0

Fw: Re: some mp3s here hehe ;-)
by daan＠cs.uu.nl 22 Nov '01

22 Nov '01

1 0

Why no exceptions in Haskell?
by Michael Marte 22 Nov '01

22 Nov '01

Hello *, I am just curious: Why does Haskell not provide exceptions a la SML? Why does only the IO monad allow for exceptions? Michael

4 3

Haskell and ASN.1
by Dmitry Astapov 21 Nov '01

21 Nov '01

Two keywords mentioned in 'Subject' - does it ring the bell for someone? Any usefull links? I'm interested in something like Erlang's "asn1" compiler or snacc/C++ -- that is, I'm looking for translator from ASN.1 layout into native Haskell data type, along with I/O functions. Seems like pretty easy thing to write myself, though, but I dont want to reinvent the wheel, if there is any. -- Dmitry Astapov //ADEpt E-mail: adept(a)umc.com.ua GPG KeyID/fprint: F5D7639D/CA36 E6C4 815D 434D 0498 2B08 7867 4860 F5D7 639D

2 2

Re: Haskell and ASN.1
by Steinitz, Dominic J 19 Nov '01

19 Nov '01

I have done some work on this with colleagues at Kingston University. Nothing automatic though. There is a translation scheme but you have to define an encode and decode function for each ASN.1 type. I assume you want to use to BER and all that is handled for you. I'm tied up at the moment but I'll try and send you something by the end of the week. I don't think parsing ASN.1 is trivial but if you were thinking of doing an automatic translator I'd be very interested. Dominic. adept(a)umc.com.ua on 19/11/2001 08:55:00 To: haskell-cafe cc: bcc: Dominic Steinitz Subject: Haskell and ASN.1 Two keywords mentioned in 'Subject' - does it ring the bell for someone? Any usefull links? I'm interested in something like Erlang's "asn1" compiler or snacc/C++ -- that is, I'm looking for translator from ASN.1 layout into native Haskell data type, along with I/O functions. Seems like pretty easy thing to write myself, though, but I dont want to reinvent the wheel, if there is any. -- Dmitry Astapov //ADEpt E-mail: adept(a)umc.com.ua GPG KeyID/fprint: F5D7639D/CA36 E6C4 815D 434D 0498 2B08 7867 4860 F5D7 639D _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ------------------------------------------------------------------------------------------------- To receive our special fares directly by email, register at http://www.britishairways.com/registration

1 0

(no subject)
by Ciaran Dunn 16 Nov '01

16 Nov '01

__________________________________________________________________ Get your free Australian email account at http://www.start.com.au

1 0