- Haskell-Cafe - Haskell.org

Indentation-sensitive Parsec components?
by Graham Klyne 25 Mar '04

25 Mar '04

I'm wondering if anyone has implemented any indentation-sensitive parser components that can be used with Parsec. I'm thinking of components along these lines: [[ blockStart :: Parser () -> Parser Block blockSep :: Block -> Parser () -> Parser () blockEnd :: Block -> Parser () -> Parser () ]] which might be used (somewhat self-referentially) like this: [[ doSequence :: Parser () doSequence = do { symbol "do" ; b <- blockStart (symbol "{") ; e1 <- expression ; es <- many ( do { blockSep b (symbol ";") ; expression } ; blockEnd b (symbol "}") ; dostuff (s1:ss) } ]] The intent is that blockStart would look for the separator component, and if not present would determine the appropriate indentation level from the input character stream. The other components would match or fail according to the way that the corresponding blockStart was matched. #g ------------ Graham Klyne For email: http://www.ninebynine.org/#Contact

1 0

HToolkit HSQL on Windows/GHC
by Clive Brettingham-Moore 25 Mar '04

25 Mar '04

I realise that this is a little technical for this list, but I thought that I'd check here before starting on the hard-core lists. Is there an easy way to build the HToolkit HSQL library for GHC (6.0.1 when I tried, 6.2.1 now) on windows (particularly MySQL/Windows XP, but I wont say no to postgres, ODBC & sqlite)? I assume people have tired and succeded, but I got lost [I think] in the nasty place between the unix/cygwin libraries in GHC and the Windows focus of the compiled MySQL client library. Since haskell is mainly a hobby for me, and I don't have a lot of free time I haven't dug very deep, but not being able to interface my two of my favourite constructs (functional programming and relational databases) is getting to me. So any takers? C

1 0

Implementing C program in Haskell
by Alex Gontcharov 24 Mar '04

24 Mar '04

Hi, Is anyone bored and wants to rewrite a small C program in Haskell?:) http://users.tpg.com.au/galutva/jap.c I am new to Haskell and it'd take me sometime to do it all myself. Thanks

2 1

Where's the error in this snippet of code?
by Alex Gontcharov 24 Mar '04

24 Mar '04

Ignore the layout I can't find the error, running it gives parse error during compile on pStack, it is not very descriptive and I don't what is wrong. --Stack for the digits for numbers, a modulo b digStack :: Integer->Integer->[Integer] digStack a b | a == 0 = [] | otherwise = (mod a b):(digStack (div a b) b) --Takes a list of remainders and pStack :: [Integer] -> Integer -> [Integer] pStack [] _ = [] pStack (x:xs) a = digStack x a ++ pStack xs I think I will never like Haskell :-)

4 3

Re: [Haskell-cafe] Where's the error in this snippet of code?
by Duncan Coutts 24 Mar '04

24 Mar '04

On Wed, 2004-03-24 at 18:00, Alex Gontcharov wrote: > I don't want to hide it within the function, I need the functions > to have file scope. Oh, ok. I assumed from the indentation (you see layout matters!) that it was a nested function. Haskell (like Python) is layout sensitive, the indentation makes a difference. All function definitions in the same scope have to line up in the same column. So for global/file scope functions they should not be indented at all. So the problem with your example was that your second function was indented. Write: globalFunc1 = ... globalFunc2 = ... and not: globalFunc1 = ... globalFunc2 = ... > So, If you want to call a function from another function b I have to > nest it using where? No, only if you want it nested rather than whole file scope. Duncan

1 0

RE: [Haskell-cafe] loop in C , recursion in haskell
by Simon Marlow 24 Mar '04

24 Mar '04

> On Thu, Mar 25, 2004 at 01:38:44AM +1100, Alex Gontcharov wrote: > > Hi, > > > > I am new to haskell and would look to write a function equivalent > > to the following loop in C > > > > int value = 500000; > > int part_stack[4]; > > int *part_ptr = part_stack; > > for (; value; value /= 10000) > > *part_ptr++ = value % 10000; > > part_stack :: [Int] > part_stack = [0,50] > > Note that I've performed a memoization optimization--this > makes the code both smaller, faster and easier to read! :P Ignore David, he's pulling your leg. Here's the proper translation: do alloca $ \value -> do poke value (500000::Int) allocaArray 4 $ \part_stack -> do alloca $ \part_ptr -> do poke part_ptr part_stack let loop = do val <- peek value if val == 0 then return () else do p <- peek part_ptr poke p (val `rem` 10000) poke part_ptr (p `plusPtr` 1) poke value (val `quot` 10000) loop loop Cheers, Simon

2 1

loop in C , recursion in haskell
by Alex Gontcharov 24 Mar '04

24 Mar '04

Hi, I am new to haskell and would look to write a function equivalent to the following loop in C int value = 500000; int part_stack[4]; int *part_ptr = part_stack; for (; value; value /= 10000) *part_ptr++ = value % 10000; Thanks

3 2

Re: [Haskell-cafe] What are Kind errors and how do you fix them?
by MR K P SCHUPKE 24 Mar '04

24 Mar '04

Erm... okay my mistake thats not the problem... although it is to with state... When decaring a monad the return type is included in the class definition (it is a constructor class) This means the return value MUST be the last parameter to the type, so you need: type ReverseType a string = (string ->(string,a)) data Reverse string a = Reverse (ReverseType a string) instance Monad (Reverse s) where return x = Reverse (\text -> (text,x)) (Reverse p) >>= k = Reverse p3 where p3 s0 = p2 s1 where (Reverse p2) = k a (s1,a)=p s0 I was confused by the unusual format for bind... I would wtite this: instance Monad (Reverse s) where return x = Reverse $ \s -> (s,x) (Reverse p) >>= k = Reverse $ \s -> case p s of (s',a) -> (\(Reverse r) -> r) (k a) s' or even better define the data type as: data Reverse string a = Reverse { runReverse :: ReverseType a string } instance Monad (Reverse s) where return x = Reverse $ \s -> (s,x) (Reverse p) >>= k = Reverse $ \s -> case p s of (s',a) -> runReverse (k a) s' Regards, Keean.

1 0

Re: [Haskell-cafe] What are Kind errors and how do you fix them?
by MR K P SCHUPKE 24 Mar '04

24 Mar '04

I dont understand what you are trying to do: type ReverseType a string = (string ->(string,a)) takes a string an returns a string and another value (looks like the state monad with state=String. data Reverse a string = Reverse (ReverseType a string) this just declares a type wrapper... why have both of the above, you only need: data Reverse a s = Reverse (s -> (s,a)) NOw for your class definition: return x = Reverse (\text -> (text,x)) this is the standard return from a state monad. (Reverse p) >>= k = Reverse p3 where p3 s0 = p2 s1 where (Reverse p2) = k a (s1,a)=p s0 the second parameter (k) needs the state passed as well after unwrapping like: p2 = (\(Reverse x) -> x) (k a) s1 Regards, Keean.

1 0

Re: [Haskell-cafe] class Runnable vs fromJust (was Re: haskell idiom for reversible computations)
by MR K P SCHUPKE 23 Mar '04

23 Mar '04

The problem with Runnable is that it is not ewasily implementable for all monads... So purists rather than implement it for some don't implement it at all. Here's some examples: class Runnable x y where run :: x -> y instance Runnable (m a) (m a) where run = id instance Runnable (s -> m a) (s -> m a) where run = id instance (Monad m,Monad n,MonadT t m,Runnable (m a) (n a)) => Runnable (t m a) (n a) where run = run . down instance (Monad m,MonadT t m,Monad (t m)) => Runnable (t m a) (m a) where run = down These declare runnable for monad-transformers for which "down" is definable down is the functional opposite of lift (or "up" as it is sometimes called) The state monad transformer needs an instance of Runnable if you want to pass a value in: instance (MonadState st (StateT st m),Monad m,Monad n,Runnable (st -> m s) (st -> n s)) => Runnable (StateT st m s) (st -> n s) where run = run . (\(ST m) s -> do (_,a) <- m s return a) instance (MonadState st (StateT st m),Monad m) => Runnable (StateT st m s) (st -> m s) where run = \(ST m) s -> do (_,a) <- m s return a Whereas defining Runnable for the continuation-monad-transformer is quite a challenge: instance (MonadT (ContT r) m,Runnable ((r -> m r) -> m r) ((r -> n r) -> n r)) => Runnable (ContT r m r) ((r -> n r) -> n r) where run = run . (\(CT m) kappa -> m kappa) instance MonadT (ContT r) m => Runnable (ContT r m r) ((r -> m r) -> m r) where run = (\(CT m) kappa -> m kappa) Have Fun. Keean.

1 0