March 2004 - Haskell-Cafe

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

asking for a favor
by garroyo＠dsic.upv.es 23 Mar '04

23 Mar '04

Hi, Does someone has the Haskell XML Toolbox, lets say working in Windows environment?. I have tried install them in Hugs 98 for Windows but there are Hexadecimal characters escape out of range. One choice, I know, is go to LINUX. I am working in CNC programming and I am in the begining of the a research. Thanks in advace. Gustavo. ------------------------------------------------- This mail sent through IMP: http://horde.org/imp/

1 0

haskell idiom for reversible computations
by S. Alexander Jacobson 23 Mar '04

23 Mar '04

If I am writing a rener/parser for e.g. HTTP Requests and Responses, I would like to be able to guarantee that the parser really is the inverse of the generator. I assume that if I define a pair of computations as reversible then I can put those computations in some monad such that I can do: parse = inverse generate and parse2 = inverse do {generate;generate2} Actually, I assume this is an arrow rather than a monad because a render is a computation that takes a value and produces a value rather than simply a computation that produces a value. Whether its an arrow or not, I also assume this problem is sufficiently common that there is a well worked out idiom for this such that I don't have to hand-code and prove inverse functions for all my data structures. I just don't know what it is. -Alex- _________________________________________________________________ S. Alexander Jacobson mailto:me@alexjacobson.com tel:917-770-6565 http://alexjacobson.com

1 1

Seen in ACM technews...
by Graham Klyne 22 Mar '04

22 Mar '04

[[ # "Learning Functional Programming Through Multimedia" Slashdot (03/16/04); Jones, Isaac Haskell is a purely functional programming language and the book, "The Haskell School of Expression: Learning Functional Programming Through Multimedia," is a great introduction to the platform now being used for cutting-edge programming language research. The Haskell community is still rather small, but working on tremendously innovative research such as the meta-programming environment Template Haskell implemented by the Glasgow Haskell Compiler, while Haskell can also be extended with Embedded Domain-Specific Languages for Web authoring, parsing, and controlling humanoid robots without changing the language itself. Paul Hudak's book prepares the reader to begin writing tools or participate in ongoing programming language research. Haskell prepares readers for new developments such as the arrows concept used by the Yale Haskell group; Yale-developed Yampa, a "Functional Reactive Programming" framework, shares concepts with the animation described in "The Haskell School of Expression." The book is written in a tutorial style with alternating conceptual and application chapters. The provided code examples may be insufficient for those who want to jump ahead, but the Web site provides fill-in code. Readers completing the examples given in the book will also need the "November 2002" version of the Hugs interpreter and the User's Guide. "The Haskell School of Expression" eases programmers who are unfamiliar with functional programming into complex components such as recursion; falling back on non-functional style is not allowed with Haskell. The book also tackles the difficult issue of monads by getting readers to use them very early on and explaining the concepts behind them later in the book. Although there is a lot of drawing and music involved in "The Haskell School of Expression," the author includes mathematical background such as the algebraic reasoning for shapes and music, as well as a chapter on proof by induction. Click Here to View Full Article http://books.slashdot.org/books/04/03/12/221232.shtml?tid=126&tid=156&tid=1… ]] -- http://www.acm.org/technews/articles/2004-6/0322m.html#item12 ------------ Graham Klyne For email: http://www.ninebynine.org/#Contact

1 0

????Pattern match(es) are overlapped???
by S. Alexander Jacobson 22 Mar '04

22 Mar '04

I am implementing HTTP and I have something like: newtype Method = Method String getMethod = Method "GET" putMethod = Method "PUT" [...] doMeth getMethod = ... doMeth putMethod = ... GHC gives me a patter matches are overlapped warning. And when I run, I discover that pattern matching is not actually happening. getMethod is always executed even though the method passed is putMethod.... What am I doing wrong? -Alex- _________________________________________________________________ S. Alexander Jacobson mailto:me@alexjacobson.com tel:917-770-6565 http://alexjacobson.com

4 4

Dividing integers?
by Matias Hernandez 18 Mar '04

18 Mar '04

Hello there! Although you might not believe it since I'm going to ask a very very very basic question, I have been using Haskell for educational purposes for a couple semesters now. Nevertheless, I don't think I have ever worked with non-Int number types! :) I don't understand why I get this error. I mean, apparently "/" is not defined for integers but I don't know how to "cast" the result of the length function into a Double... Prelude> (length [1,2]) / 3 <interactive>:1: No instance for (Fractional Int) arising from use of `/' at <interactive>:1 In the definition of `it': it = (length [1, 2]) / 3 Besides, a simple integer division works: Prelude> 2 / 3 0.6666666666666666 But I would guess that's because '2' and '3' are parsed as Floats because they are used in a divide function. Any help will be appreciated! Best regards, - Matías

5 4