- Haskell-Cafe - Haskell.org

Re: [Haskell-cafe] Why no IO transformer monad?
by Keean Schupke 20 Dec '04

20 Dec '04

Perhaps you would care to explain this then? class Runnable m n where run :: m -> n class (Monad m,Monad (t m)) => MonadT t m where up :: m a -> t m a down :: t m a -> m a instance (Monad m,MonadT t m,Monad (t m)) => Runnable (t m a) (m a) where run = down Or perhaps look at the type of the state transformer monad: newtype StateT st m a = ST { runST :: st -> m (st,a) } To me it is quite clear that the return type runST returns "m (st,a)" where m is the _base_ monad so lifting IO through the state-transformer gives: StateT st IO a and applying runST to this type gives: IO (st a)... Keean. Udo Stenzel wrote: >Keean Schupke <k.schupke(a)imperial.ac.uk> schrieb am 20.12.04 12:13:08: > > >>I thought you would get the following if you have a transformer 'M': >> >> runM :: M IO a -> IO a >> >> > >That's what I thought, too. But it's the other way 'round. >Well, I can't comment on _why_ it's so counter-intuitive, but I'm pretty >sure, the outermost transformer appears innermost in the final type. >It all makes sense somehow, you just have to remember that >transformer types are somehow written backwards. > > >Udo. >__________________________________________________________ >Mit WEB.DE FreePhone mit hoechster Qualitaet ab 0 Ct./Min. >weltweit telefonieren! http://freephone.web.de/?mc=021201 > > >

1 0

Re: [Haskell-cafe] Why no IO transformer monad?
by Udo Stenzel 20 Dec '04

20 Dec '04

Keean Schupke <k.schupke(a)imperial.ac.uk> schrieb am 20.12.04 10:25:36: > > What about: > > runIOT :: Monad m => IOT m a -> IO (m a) I have a gut feeling that this is unimplementable. However, IO (m a) is what you get using the transformer version of m over IO. Udo. __________________________________________________________ Mit WEB.DE FreePhone mit hoechster Qualitaet ab 0 Ct./Min. weltweit telefonieren! http://freephone.web.de/?mc=021201

2 1

Re: [Haskell-cafe] Why no IO transformer monad?
by Udo Stenzel 20 Dec '04

20 Dec '04

Henning Sato von Rosen <henning.von.rosen(a)gmail.com> schrieb am 18.12.04 18:31:11: > For each basic monad there seems to be a corresponding transformer, > e.g. 'StateT' for 'State' and so on. To be useful every transformer has a "run" method of some kind. For a hypothetical IO transformer it would look like runIOT :: Monad m => IOT m a -> m a ...which is basically the same as unsafePerformIO and defeats the purpose of having an IO Monad at all. If you want to retain the IO-type in the result, then you don't need IOT at all, layering any transformer on top of IO is exactly what's needed. Udo. __________________________________________________________ Mit WEB.DE FreePhone mit hoechster Qualitaet ab 0 Ct./Min. weltweit telefonieren! http://freephone.web.de/?mc=021201

2 1

FFI woes!
by Sebastian Sylvan 20 Dec '04

20 Dec '04

Hi! I've been trying to use the C library FMOD in Haskell for about an hour now. The first test was the simple FSOUND_Init(int,int,uint) function which I got working by doing the following: foreign import ccall "fmod.h FSOUND_Init" fsound_Init :: CInt -> CInt -> CUInt -> IO CChar Which appeared to work just fine (the call went through, and I got sensible return values). Then I wanted to play some music so I tried to bring in the function FMUSIC_LoadSong which has the following C prototype (copy-pasted from the API): FMUSIC_MODULE * F_API FMUSIC_LoadSong( const char *name ); By doing this in Haskell: data MusicModule = MusicModule foreign import ccall "fmod.h FMUSIC_LoadSong" fmusic_LoadSong :: CString -> IO ForeignPtr MusicModule) I assume that this is how the ForeignPtr is meant to be used (with a dummy data type). Now if I compile this (under windows) with: ghc -fglasgow-exts --make FMODTest.hs -o test.exe -Llib -Iincludes -lfmod I get the following error: ./FMOD.hs:9: Unacceptable result type in foreign declaration: IO (ForeignPtr MusicModule) When checking declaration: foreign import ccall safe "static fmod.h &FMUSIC_LoadSong" fmusic_LoadSo ng :: Ptr CChar -> IO (ForeignPtr MusicModule) That's not a very helpful error message! Any ideas? /S -- Sebastian Sylvan +46(0)736-818655 UIN: 44640862

7 32

Why no IO transformer monad?
by Henning Sato von Rosen 20 Dec '04

20 Dec '04

Hi all! For each basic monad there seems to be a corresponding transformer, e.g. 'StateT' for 'State' and so on. I guess the reason lies in the fact that if there were an IO Transformer monad, one might run it and get the 'Universe' out of the IO monad. But, I am working on understanding IO magic, on a much more concrete level, so I am am looking for a really good explanation of the above. (And the IO monad in general.) Thanks! /Henning

3 2

code example
by armin langhofer 20 Dec '04

20 Dec '04

hi all i'm going to write an exam in haskell tomorrow (monday) and i therefore i have to understand what this does: repeat_until::(a->Bool)->(a->a)->a->a repeat_until crit change x |crit x = x --zufrieden |otherwise = repeat_until crit change (change x) --weiter fix::(Float->Float)->Float->Float fix f = repeat_until pred f where pred x = (abs(f x -x) <= 0.01) square::Float->Float square x = x*x this is the use: ================ Prelude> :l e:\haskell\burstall.hs Main> fix square 0.01 0.01 (56 reductions, 80 cells) Main> fix square 0.1 0.01 (92 reductions, 128 cells) Main> fix square 1 1.0 (54 reductions, 77 cells) Main> Main> it seems that i dont have a clue how it works. maybe some of you could explain it to me that i can pass the exam tomorrow, thanx and best regards, armin. -- armin langhofer snail: fischer von erlachstr. 29 snail: a-5020 salzburg phone: +43 699 11648495 email: office(a)langhofer.at gnupg: http://langhofer.at/pubkey.txt

2 1

Seeking comments on this IO proposal
by John Goerzen 17 Dec '04

17 Dec '04

Hello, One of my favorite features from Python is its notion of "file-like objects". For those of you unfamiliar with Python, here's a quick backgrounder: anything can present a file-like interface. It could be a file, socket, an interface to a gzip/gunzip processor, character set codecs, in-memory buffers, etc. File-like objects are used in Python for everything from gzip files to certain network data. The memory buffers are great for unit testing. As I've started working on some gzip stuff in Haskell, I've developed a prototype for a similar concept in Haskell. One of my main goals is to keep is as compatible with standard Haskell as I possibly can. To that end, a Handle is still acceptable as a parameter to any of the functions I'm proposing. My proposal is here: http://www.complete.org/~jgoerzen/t/MissingH.IO.HVIO.html I'm aware that others have been working on IO proposals; specifically, Simon Marlow's here: http://www.haskell.org/~simonmar/io/System.IO.html I'm especially interested in their feedback on my proposal, and I'm wondering: * Do you think HVIO has merit? * Would I be better advised to try to implement some existing ideas instead? * Are there any other implementations of these things that are ready to use? (With code) One note: I'm trying to keep the interface and behavior as identical to the normal System.IO interface as possible. So I'm still using Strings, raising the same exceptions, etc. In fact, the Handle instance of these classes looks like: instance Handle HVIOReader vGetChar = hGetChar ... -- John

6 7

Question regarding theis mailing list and Google Groups
by Arjun Guha 16 Dec '04

16 Dec '04

Does anybody out there use Google Groups Beta to post to the `fa.haskell' group? I am directly subscribed to the email list, however I was trying some new things and it seemed like `fa.haskell' was vaguely related to the Haskell Café list. However, my post has not shown up on Haskell Café. Does anyone here know what's going on? I posted the following code to the `Haskell problem please help' thread: > rotations:: [a] -> [[a]] > rotations xs = rotate (xs ++ xs) len where > len = length xs > rotate _ 0 = [] > rotate ys n = (take len ys):(rotate (tail ys) (n - 1)) Did anyone receive this? -Arjun

1 0

Re: Haskell problem please help
by Christian Maeder 16 Dec '04

16 Dec '04

N.B. if you want a faster answer such questions are best posted to haskell-cafe(a)haskell.org My answer: I asume that your function all_rotations somehow needs to be called recursively for the rest of the input list xs. Cheers Christian imranazad wrote: > Hi, > > im not very good with haskell, i barely know the basics, my coursework > requires me to genereate a vigenere square....... > well anyway at the moment im trying to define a functin all_rotations > which for any list returns the list of all its rotations, so far i've made > an attempt but it only rotates once....any ideas? i dont want the complete > solution just help thats all, much appreciated. > > all_rotations :: [a] -> [[a]] > all_rotations [] = [] > all_rotations (x:xs) = reverse (x:xs) : [] >

4 3

Re: [Haskell-cafe] FFI woes!
by Udo Stenzel 16 Dec '04

16 Dec '04

Robert Dockins <robdockins(a)fastmail.fm> schrieb am 16.12.04 14:56:49: > This is exactly the guarantee you _don't_ have. The only guarantee you > have is that it _won't_ be run if the Ptr _is_ being referenced. >From the GHC library documentation: newForeignPtr :: FinalizerPtr a -> Ptr a -> IO (ForeignPtr a) [...] The only guarantee is that the finaliser runs before the program terminates. So it seems, finalization *is* guaranteed, just not promptness of finalization. > My concern is that this approach is a little too non-deterministic. > Because playing sound involves HW resources, [...] If I understand correctly, the OP is dealing with library resources (mainly memory) while the library is managing the hardware ressources. Udo. __________________________________________________________ Mit WEB.DE FreePhone mit hoechster Qualitaet ab 0 Ct./Min. weltweit telefonieren! http://freephone.web.de/?mc=021201

3 2