- Haskell-Cafe - Haskell.org

Writing a counter function
by Shlomi Fish 01 Jul '02

01 Jul '02

I'm trying to write a counter function that would return a tuple whose first element is the current value and whose second element is a new counter. The following line: counter n = (n,(counter (n+1))) Generates the following error on Hugs and a similar one with ghci: ERROR "counter.hs":6 - Type error in function binding *** Term : counter *** Type : a -> (a,b) *** Does not match : a -> b *** Because : unification would give infinite type Is there any way to do it? I tried using data, type and newtype and none of them worked. Regards, Shlomi Fish ---------------------------------------------------------------------- Shlomi Fish shlomif(a)vipe.technion.ac.il Home Page: http://t2.technion.ac.il/~shlomif/ Home E-mail: shlomif(a)iglu.org.il He who re-invents the wheel, understands much better how a wheel works.

11 20

Defining instances of superclasses
by Zdenek Dvorak 01 Jul '02

01 Jul '02

Hello. I've got the following problem: I have class Structure, that says that its members have some internal parts that can be read from/written to Strings: >data StrItem a=forall b c.(Show b,Parse c)=>StrItem String (a->b) (a->c->a) > >class Structure a where > strName::a->String > strEmpty::a > strItems::[StrItem a] Now I would like to use it to create instances of Show and Parse (and perhaps others (for input/output from various formats, ...)). The approaches I have tried: 1) >instance Structure a => Show a where > showsPrec _ w = > showsStruct (strName w) (map showsPair strItems) > where > showsPair (StrItem fName fGet _)=(fName,shows $ fGet w) This is nice, but it only works in ghc with allowed overlapping and undecidable instances. It may not seem too important, when I use existential types anyway, but existential types are supported by at least one more implementation (hugs) and they seem to me to be a well defined extension that has good chances to become part of standard Haskell later; handling of overlapping and undecidable instances in ghc seems quite too much ad-hoc and experimental for me. 2) >newtype Str a=Str a >instance Structure a => Show (Str a) where > showsPrec _ (Str w) = > showsStruct (strName w) (map showsPair strItems) > where > showsPair (StrItem fName fGet _)=(fName,shows $ fGet w) This seems to be a standard way how to do it. The problem is, that I don't get Show instance for a, but for isomorphic type Str a; this is a bit annoying when I want to use it; also I may no longer use deriving Show on types containing such structure. Is there some better way how to do this? Zdenek Dvorak _________________________________________________________________ Send and receive Hotmail on your mobile device: http://mobile.msn.com

1 0

Greencard-Canada-Aupair
by Greencard 28 Jun '02

28 Jun '02

1 0

Biz Kurduk Ordan Biliyoruz
by �leti... 22 Jun '02

22 Jun '02

1 0

��ֻҪ80Ԫ��Ż�!!!!
by ��ȷ� 22 Jun '02

22 Jun '02

�𾴵Ŀͻ�� ã��˾��רҵ��ṩ�̡��Żݵļ۸񼰸��ȶ��Ӯ��˹��ͻ��Ŀ϶�� 80Ԫ �� 300Ԫ 200M(��HTML)�͹��ֻ��150Ԫ 60M(asp,access)��ֻ��236Ԫ 200M(asp,access)��ֻ��336Ԫ ��......��http://www.ondns.com ��ȫ��Żݶ�ࡣ ��QQ��1761020 MAIL��web@ondns.com��ȡ��۸�� ˳ף ��w�� æ�д��б�Ǹ��粻��յ��ʼ��ţ�help(a)ondns.com ============================================ �ͻ�רԱ��Ф�� 绰��0592-5557491��5557492 QQ:1761020 ��棺0592-5557491 http://www.ondns.com mail:web@ondns.com ============================================ ʹ�ü��ʼ�Ⱥ��ͨ��ʼ��ֱ��Է��䣬�ٶȾ��һ�� ַ��http://www.lovexin.com��ѵĳ��¡�� ---------------------------------------------------- INFORMATION This message has been sent using a trial-run version of the TSmtpRelayServer Delphi Component. ----------------------------------------------------

1 0

Question about GUM
by Changming Ma 21 Jun '02

21 Jun '02

Hi there, I'm getting confused of the run-time system behavior of GUM. When I ran a quicksort program in GUM with profiling flag, I got different "task" distributions in the PS file generated everytime, e.g., the peak of task number may be 19 at the first time and 48 at the second. While it's quite reasonable that the clock cycles vary dramatically, it's somewhat strange to me that the task distributions are so different. Any hints? I do appreaciate it. BTW, seems the program does not stop if the input list has more than 350 elements, althought it works fine otherwise. Will it get better if I use an SMP system? Thanks in advance. PS: I'm using GUM-4.06, PVM3, RH LINUX6.2 on a single processor system. Program and RTS flags quicksort +RTS -qP -sstderr grs2gr *quicksort.???.gr > quicksort.gr gr2ps -o quicksort.ps quicksort.gr --source code module Main(main) where import System(getArgs) import Parallel forceList :: [a] -> () forceList [] = () forceList (x:xs) = x `seq` forceList xs quicksortF::[Int]->[Int] quicksortF [] = [] quicksortF [x] = [x] quicksortF (x:xs) = (forceList losort) `par` (forceList hisort) `par` losort ++ (x:hisort) where losort = quicksortF [y|y <- xs, y < x] hisort = quicksortF [y|y <- xs, y >= x] args_to_IntList :: [String] -> [Int] args_to_IntList a = if length a < 1 then error "Parallel Quick Sort: no enough args \n" else map read a main = putStr ("get " ++ (show (quicksortF l))++"\n") l = [ 658986,123141,737929,681645,329651, ... 925104]

1 0

% 6,95
by finans400 19 Jun '02

19 Jun '02

1 0

Data Tracing in GPH
by Ma Changming 17 Jun '02

17 Jun '02

Hi there, Does anyone know how to trace the GPH program to see the data processed at specific processors? I'm using gum-4.06, PVM3, RedHat Linux6.2. When I execute the following QuickSort program, I want to make sure what happens with different CPUs, i.e., how the data are partitioned between processors? Is there any debugging tools to trace the data? Thanks in advance. Changming Ma PS: QuickSort module Main(main) where import System(getArgs) import Parallel forceList :: [a] -> () forceList [] = () forceList (x:xs) = x `seq` forceList xs quicksortF::[Int]->[Int] quicksortF [] = [] quicksortF [x] = [x] quicksortF (x:xs) = (forceList losort) `par` (forceList hisort) `par` losort ++ (x:hisort) where losort = quicksortF [y|y <- xs, y < x] hisort = quicksortF [y|y <- xs, y >= x] args_to_IntList :: [String] -> [Int] args_to_IntList a = if length a < 1 then error "Parallel Quick Sort: no enough args \n" else map read a main = getArgs >>= \ a -> let l = args_to_IntList a in putStr ("get " ++ (show (quicksortF l))++"\n") __________________________________________________ Do You Yahoo!? Yahoo! - Official partner of 2002 FIFA World Cup http://fifaworldcup.yahoo.com

2 1

reversing a list
by Matthias 15 Jun '02

15 Jun '02

Hi there, I thought i can reverse a list with reverse a list easily with the reverse function in order to achieve following: I wanted to check for a certain suffix (then reversed a prefix) and substitute that. So i did -- let dstfile = case tmpfile of -- ('a':'s':'p':'.':rest) -> rest ++ ".psx" -- anything -> anything ++ ".psx" Guess what: I did not work. dstfile was reversed (tmpfile ++ ".psx"). i guess this deals with lazy evalutation, but would be glad about some definit ideas. Matthias

1 2

Say�n haskell-cafe ,
by abdyesilkart.com 13 Jun '02

13 Jun '02

1 0